The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gerald Pfeifer" ( http://dblp.L3S.de/Authors/Gerald_Pfeifer )

URL (Homepage):  http://www.dbai.tuwien.ac.at/~pfeifer/  Author page on DBLP  Author page in RDF  Community of Gerald Pfeifer in ASPL-2

Publication years (Num. hits)
1997-2001 (17) 2002-2004 (21) 2006-2011 (8)
Publication types (Num. hits)
article(17) inproceedings(28) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 12 keywords

Results
Found 47 publication records. Showing 46 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone Semantics and complexity of recursive aggregates in answer set programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Answer Set Planning Under Action Costs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina The Disjunctive Datalog System DLV. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa Design and Implementation of Aggregate Functions in the DLV System Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa Design and implementation of aggregate functions in the DLV system. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Francesco Ricca On look-ahead heuristics in disjunctive logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello The DLV system for knowledge representation and reasoning. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
1Francesco Calimeri, Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone Pruning Operators for Disjunctive Logic Programming Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres A logic programming approach to knowledge-state planning: Semantics and complexity. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets
1Gerald Pfeifer Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer System Description: DLV with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer New DLV Features for Data Integration. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Gerald Pfeifer, Stefan Woltran Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Vincenzino Lio, Gerald Pfeifer Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV. Search on Bibsonomy SEBD The full citation details ... 2004 DBLP  BibTeX  RDF
1Christoph Koch 0001, Nicola Leone, Gerald Pfeifer Enhancing disjunctive logic programming systems by SAT checkers. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres A logic programming approach to knowledge-state planning, II: The DLVK system. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Answer Set Planning Under Action Costs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Computing preferred answer sets by meta-interpretation in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Gerald Pfeifer Solving Hard Disjunctive Logic Programs Faster (Sometimes). Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Gerald Pfeifer, Stefan Woltran Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer Aggregate Functions in DLV. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello The DLV System for Knowledge Representation and Reasoning Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Answer Set Planning under Action Costs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres The DLVK Planning System: Progress Report. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch 0001, Simona Perri, Axel Polleres The DLV System. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Pruning operators for answer set programming systems. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Christoph Koch 0001, Nicola Leone, Simona Perri, Gerald Pfeifer System Description: DLV. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres System Description: The DLVK Planning System. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Optimizing the Computation of Heuristics for Answer Set Programming Systems. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Experimenting with Heuristics for Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Christoph Koch 0001, Nicola Leone, Gerald Pfeifer DLV - A System for Declarative Problem Solving Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Using the dlv System for Planning and Diagnostic Reasoning. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Planning under Incomplete Knowledge. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer The Diagnosis Frontend of the dlv System. Search on Bibsonomy AI Commun. The full citation details ... 1999 DBLP  BibTeX  RDF
1Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.) Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Pushing Goal Derivation in DLP Computations. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Algorithms, Heuristics, Disjunctive Logic Programming
1Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello Progress Report on the Disjunctive Deductive Database System dlv. Search on Bibsonomy FQAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello The KR System dlv: Progress Report, Comparisons and Benchmarks. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello A Deductive System for Non-Monotonic Reasoning. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Simona Citrigno, Thomas Eiter, Wolfgang Faber 0001, Georg Gottlob, Christoph Koch 0001, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello The dlv System: Model Generator and Advanced Frontends (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello The Architecture of a Disjunctive Deductive Database System. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license