Andrea Formisano - Concepedia

Author

Andrea Formisano

Also Known As

A. Formisano, ANDREA FORMISANO, Andrea Formisano, Andrea. Formisano, Formisano A., Formisano Andrea, Formisano Andrea., Formisano, A., Formisano, Andrea

134

Publications

737

Citations

H-Index

Concepts

All Affiliations

University of Perugia University of L'Aquila University of Udine New Mexico State University Sapienza University of Rome

About

Andrea Formisano is an author at University of Perugia specializing in automated reasoning, engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	12	244
2	Computer Science	10	12	244
3	Computer Engineering	2	2	67
4	Business	1	1	36
5	Language Studies	1	1	25

Andrea Formisano

Publications

329

Citations

H-Index

Page 1

	Year	Citations
CUD@SAT: SAT solving on GPUs Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Journal of Experimental & Theoretical Artificial Intelligence EngineeringGpu BenchmarkingGpu-style ParallelismComputer ArchitectureHardware Systems	2014	45
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems Agostino Dovier, Andrea Formisano, Enrico Pontelli Journal of Experimental & Theoretical Artificial Intelligence Mathematical ProgrammingEngineeringComputational ComplexityProgramming SolutionsLogic Programming	2009	42
Modeling preferences and conditional preferences on resource consumption and production in ASP Stefania Costantini, Andrea Formisano Journal of Algorithms Resource ConstraintEconomicsResource ConsumptionConditional PreferencesBusiness	2009	36
Answer Set Programming with Resources Stefania Costantini, Andrea Formisano Journal of Logic and Computation Artificial IntelligenceEngineeringSoftware SystemsSemanticsLogic Programming	2009	25
Extending and Implementing RASP Stefania Costantini, Andrea Formisano, Davide Petturiti Fundamenta Informaticae Artificial IntelligenceEngineeringAdvanced ComputingComputer ArchitectureSoftware Engineering	2010	22
Multivalued action languages with constraints in CLP(FD) Agostino Dovier, Andrea Formisano, Enrico Pontelli Theory and Practice of Logic Programming Mathematical ProgrammingArtificial IntelligencePlanning TheoryEngineeringConstraint Satisfaction	2010	18
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems Andrea Formisano, Eugenio G. Omodeo, Ewa Orłowska Theorem Proving with Analytic Tableaux and Related Methods EngineeringAutomated ReasoningRelational TranslationModal LogicVerification	2005	16
An efficient relational deductive system for propositional non-classical logics Andrea Formisano, Marianna Nicolosi Asmundo Journal of Applied Non-Classical Logics Non-classical LogicEngineeringRelational FrameworkProlog ImplementationAutomated Reasoning	2006	15
Layered map reasoning Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Electronic Notes in Theoretical Computer Science	2001	14
Goals and Benchmarks for Automated Map Reasoning Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Journal of Symbolic Computation CartographyGeospatial MappingEngineeringAutomated ReasoningAutomated Map Reasoning	2000	14

Page 1