Gerald Pfeifer - Concepedia

Author

Gerald Pfeifer

University of Calabria

Also Known As

G. Pfeifer, GERALD PFEIFER, Gerald Pfeifer, Pfeifer, Gerald

Publications

3.4K

Citations

H-Index

Concepts

All Affiliations

University of Calabria TU Wien

About

Gerald Pfeifer is an author at University of Calabria specializing in automated reasoning, engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	2K
2	Computer Science	10	10	1.8K
3	Language Studies	3	3	1.3K
4	Management	1	1	51
5	Computer Engineering	1	1	11

Gerald Pfeifer

Publications

2.4K

Citations

H-Index

Page 1

	Year	Citations
The DLV system for knowledge representation and reasoning Nicola Leone, Gerald Pfeifer, Wolfgang Faber, ACM Transactions on Computational Logic EngineeringKnowledge-based ReasoningSemanticsLogic ProgrammingNon-monotonic Logic	2006	1.2K
Semantics and complexity of recursive aggregates in answer set programming Wolfgang Faber, Gerald Pfeifer, Nicola Leone Artificial Intelligence Declarative ProgrammingEngineeringAutomated ReasoningAnswer Set ProgrammingWell-founded Semantics	2010	238
The KR system dlv: progress report, comparisons and benchmarks Thomas Eiter, Nicola Leone, Cristinel Mateis,	1998	210
A logic programming approach to knowledge-state planning, II: The system Thomas Eiter, Wolfgang Faber, Nicola Leone, Artificial Intelligence Applied LogicKnowledge RepresentationEngineeringLogic Programming ApproachAutomated Reasoning	2003	116
Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV Tina Dell’Armi, Wolfgang Faber, Giuseppe Ielpa, International Joint Conference on Artificial Intelligence Applied LogicEngineeringWell-founded SemanticsComputational ComplexityDisjunctive Programming	2003	97
The Diagnosis Frontend of the dlv system Thomas Eiter, Wolfgang Faber, Nicola Leone,	1999	88
DLV - A System for Declarative Problem Solving Thomas Eiter, Wolfgang Faber, Christoph Koch, ArXiv.org Artificial IntelligenceEngineeringVerificationDeclarative ProblemFormal Verification	2000	86
Design and implementation of aggregate functions in the DLV system Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Theory and Practice of Logic Programming Mathematical ProgrammingExpressive FormalismEngineeringData AggregationHigh Expressiveness	2008	80
Computing preferred answer sets by meta-interpretation in Answer Set Programming Thomas Eiter, Wolfgang Faber, Nicola Leone, Theory and Practice of Logic Programming EngineeringWell-founded SemanticsPreferred AnswerSemanticsFormal Verification	2003	56
Answer Set Planning Under Action Costs Thomas Eiter, Wolfgang Faber, Nicola Leone, Journal of Artificial Intelligence Research Mathematical ProgrammingArtificial IntelligenceEngineeringLanguage KcTask Planning	2003	51

Page 1