Wolfgang Faber Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

other persons with the same name:

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone: Introduction to the special issue on the 25th annual GULP conference. TPLP 13(2): 147-148 (2013)
i14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber: Translating NP-SPEC into ASP. CoRR abs/1301.1385 (2013)
2012
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets for disjunctive Datalog programs. Artif. Intell. 187: 156-192 (2012)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna: Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. TPLP 12(4-5): 701-718 (2012)
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian: Privacy Preservation Using Multi-context Systems and Default Logic. Correct Reasoning 2012: 195-210
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Simona Perri: The Intelligent Grounder of DLV. Correct Reasoning 2012: 247-264
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran: Strong Equivalence of Qualitative Optimization Problems. KR 2012
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber: A Polynomial Reduction from ASPDA to ASP. RR 2012: 213-216
i13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets for Disjunctive Datalog Programs. CoRR abs/1204.6346 (2012)
i12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna: Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues. CoRR abs/1210.2316 (2012)
i11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Stefan Woltran: Complexity of super-coherence problems in ASP. CoRR abs/1212.5895 (2012)
2011
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Gerald Pfeifer, Nicola Leone: Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1): 278-298 (2011)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber: Dynamic Magic Sets and super-coherent answer set programs. AI Commun. 24(2): 125-145 (2011)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca: Look-back Techniques for ASP Programs with Aggregates. Fundam. Inform. 107(4): 379-413 (2011)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. (JAIR) 42: 487-527 (2011)
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Stefan Woltran: Manifold Answer-Set Programs and Their Applications. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 44-63
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni: The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC 2011: 99-113
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Stefan Woltran: Complexity of Super-Coherence Problems in Answer Set Programming. CILC 2011: 131-145
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri: The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR 2011: 388-403
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James P. Delgrande, Wolfgang Faber (Eds.): Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Lecture Notes in Computer Science 6645, Springer 2011, isbn 978-3-642-20894-2
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning Under Action Costs. CoRR abs/1106.5257 (2011)
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran: Strong Equivalence of Qualitative Optimization Problems. CoRR abs/1112.0791 (2011)
2010
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Nicola Leone: Disjunctive ASP with functions: Decidable queries and effective computation. TPLP 10(4-6): 497-512 (2010)
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa: Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. AAAI 2010
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina: The Disjunctive Datalog System DLV. Datalog 2010: 282-301
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone (Eds.): Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR Workshop Proceedings 598, CEUR-WS.org 2010
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber, Nicola Leone: Disjunctive ASP with Functions: Decidable Queries and Effective Computation. CoRR abs/1007.4028 (2010)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Alviano, Wolfgang Faber: Dynamic Magic Sets for Super-Consistent Answer Set Programs. CoRR abs/1011.4377 (2010)
2009
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annamaria Bria, Wolfgang Faber, Nicola Leone: Normal Form Nested Programs. Fundam. Inform. 96(3): 271-295 (2009)
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Stefan Woltran: Manifold Answer-Set Programs for Meta-reasoning. LPNMR 2009: 115-128
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annamaria Bria, Wolfgang Faber, Nicola Leone: nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. LPNMR 2009: 477-482
2008
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone: Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms 63(1-3): 70-89 (2008)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Esra Erdem, Wolfgang Faber: Undoing the effects of action sequences. J. Applied Logic 6(3): 380-415 (2008)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa: Design and implementation of aggregate functions in the DLV system. TPLP 8(5-6): 545-580 (2008)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets for Data Integration. AAAI 2008: 1528-1531
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Wolfgang Faber: The DLV Project: A Tour from Theory and Research to Applications and Market. ICLP 2008: 53-68
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annamaria Bria, Wolfgang Faber, Nicola Leone: Normal Form Nested Programs. JELIA 2008: 76-88
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Hans Tompits, Stefan Woltran: Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. KR 2008: 433-443
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Francesco Ricca: Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering 2008
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa: Design and Implementation of Aggregate Functions in the DLV System. CoRR abs/0802.3137 (2008)
2007
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran: Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2-4): 123-165 (2007)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca: On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko: A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Fundam. Inform. 79(1-2): 25-69 (2007)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and their application to data integration. J. Comput. Syst. Sci. 73(4): 584-609 (2007)
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Esra Erdem, Wolfgang Faber: On Reversing Actions: Algorithms and Complexity. IJCAI 2007: 336-341
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone: On the Complexity of Answer Set Programming with Aggregates. LPNMR 2007: 97-109
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca: Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122
2006
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Ricca, Wolfgang Faber, Nicola Leone: A backjumping technique for Disjunctive Logic Programming. AI Commun. 19(2): 155-172 (2006)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Kathrin Konczak: Strong order equivalence. Ann. Math. Artif. Intell. 47(1-2): 43-78 (2006)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone: Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Inform. 71(2-3): 183-214 (2006)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006)
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber: Decomposition of Nonmonotone Aggregates in Answer Set Programming. WLP 2006: 164-171
2005
j7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Francesco Ricca: Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale 2(3): 21-28 (2005)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and Their Application to Data Integration. ICDT 2005: 306-320
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Kathrin Konczak: Strong Equivalence for Logic Programs with Preferences. IJCAI 2005: 430-435
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Francesco Ricca: Heuristics for Hard ASP Programs. IJCAI 2005: 1562-1563
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian: The Relationship Between Reasoning About Privacy and Default Logics. LPAR 2005: 637-650
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber: Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. LPNMR 2005: 40-52
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Francesco Ricca: Solving Hard ASP Programs Efficiently. LPNMR 2005: 240-252
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Patrick Traxler: Testing Strong Equivalence of Datalog Programs - Implementation and Examples. LPNMR 2005: 437-441
c27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and their Application to Data Integration. SEBD 2005: 47-54
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco: Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
2004
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5(2): 206-263 (2004)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP 2004: 371-385
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004: 200-212
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer: New DLV Features for Data Integration. JELIA 2004: 698-701
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR 2004: 377-387
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV with Aggregates. LPNMR 2004: 326-330
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Esra Erdem, Wolfgang Faber: Plan reversals for recovery in execution monitoring. NMR 2004: 147-154
2003
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning, II: The DLVK system. Artif. Intell. 144(1-2): 157-211 (2003)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning Under Action Costs. J. Artif. Intell. Res. (JAIR) 19: 25-71 (2003)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3(4-5): 463-498 (2003)
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Cumbo, Wolfgang Faber, Gianluigi Greco: Improving Query Optimization for Disjunctive Datalog. APPIA-GULP-PRODE 2003: 252-262
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in DLV. Answer Set Programming 2003
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming 2003
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI 2003: 847-852
2002
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. TPLP 2(3): 293-321 (2002)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning under Action Costs. JELIA 2002: 186-197
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres: The DLV System. JELIA 2002: 537-540
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: The DLVK Planning System: Progress Report. JELIA 2002: 541-544
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Pruning operators for answer set programming systems. NMR 2002: 200-209
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV System for Knowledge Representation and Reasoning. CoRR cs.AI/0211004 (2002)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. CoRR cs.LO/0201013 (2002)
2001
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming 2001
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV. LPNMR 2001: 424-428
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: System Description: The DLVK Planning System. LPNMR 2001: 429-433
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski (Eds.): Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Lecture Notes in Computer Science 2173, Springer 2001, isbn 3-540-42593-4
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. CoRR cs.AI/0112006 (2001)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. CoRR cs.LO/0105036 (2001)
2000
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Planning under Incomplete Knowledge. Computational Logic 2000: 807-821
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer: DLV - A System for Declarative Problem Solving. CoRR cs.AI/0003036 (2000)
1999
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999)
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. ICLP 1999: 79-93
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Pushing Goal Derivation in DLP Computations. LPNMR 1999: 177-191
1997
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997: 0-

Coauthor Index

1Mario Alviano
[i14] [j26] [j25] [i13] [i12] [i11] [j23] [j21] [c51] [c50] [c49] [j20] [c47] [i8] [i7]
2Annamaria Bria
[c49] [j19] [c45] [c42]
3Francesco Buccafurri
[j2] [i2] [c3]
4Francesco Calimeri
[j21] [c49] [j9] [c35] [c22] [c13] [c11]
5Gelsomina Catalano
[c49]
6Manuela Citrigno
[c22]
7Simona Citrigno
[c1]
8Susanna Cozza
[c49]
9Chiara Cumbo
[c24] [c22] [c18]
10James P. Delgrande
[e3]
11Tina Dell'Armi
[j16] [i6] [c20] [c17] [c15] [c13] [c7]
12Jürgen Dix
[c56] [c32]
13Carmine Dodaro
[c51]
14Thomas Eiter
[i10] [c48] [j17] [j15] [j13] [c40] [j8] [c29] [c28] [c26] [c25] [j6] [c21] [c19] [j5] [j4] [j3] [c16] [c14] [c13] [c12] [i5] [i4] [c10] [c6] [e1] [i3] [c5] [c4] [i1] [j1] [c1]
15Esra Erdem
[j17] [j13] [c40] [c19]
16Onofrio Febbraro
[c49]
17Michael Fink
[j15] [c29] [c26] [c25] [c21] [c16]
18Georg Gottlob
[j8] [c29] [c26] [c25] [c13] [i5] [c1]
19Luigi Granata
[c29]
20Gianluigi Greco
[j26] [i13] [c44] [j12] [c36] [c29] [c27] [c26] [c25] [c24] [c18]
21Giovambattista Ianni
[c49] [c29] [c25] [c13]
22Giuseppe Ielpa
[j16] [i6] [c20] [c17] [c15] [c13] [c7]
23Edyta Kalka
[c29] [c25]
24Christoph Koch
[c13] [c7] [i1] [c1]
25Kathrin Konczak
[j10] [c34]
26Domenico Lembo
[c29] [c25]
27Maurizio Lenzerini
[c29] [c25]
28Nicola Leone
[j27] [j26] [j25] [c55] [i13] [i12] [j24] [j22] [j21] [c51] [c49] [i10] [j20] [c47] [e2] [i8] [j19] [c45] [j18] [j16] [c44] [c43] [c42] [p1] [i6] [j14] [j12] [c39] [c38] [j11] [j9] [j8] [j7] [c36] [c35] [c33] [c29] [c27] [c26] [c25] [j6] [c24] [c23] [c22] [c20] [j5] [j4] [j3] [c17] [c15] [j2] [c14] [c13] [c12] [c11] [i5] [i4] [c10] [c9] [c8] [c7] [c6] [i3] [i2] [c5] [c4] [i1] [j1] [c3] [c2] [c1]
29Vincenzino Lio
[c29] [c25]
30Marco Manna
[j25] [i12] [c49]
31Marco Maratea
[j22] [j18] [c38]
32Alessandra Martello
[c49]
33Cristinel Mateis
[c1]
34Mushthofa Mushthofa
[c48]
35Bartosz Nowicki
[c29] [c25]
36Claudio Panetta
[c49]
37Simona Perri
[c55] [j21] [c49] [c47] [j8] [c35] [c22] [c20] [c13] [i5] [c7]
38Gerald Pfeifer
[j24] [i10] [c47] [j16] [i6] [j14] [j9] [j8] [j6] [c23] [c22] [c21] [c20] [j5] [j4] [j3] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [i5] [i4] [c10] [c9] [c8] [c7] [c6] [i3] [c5] [c4] [i1] [j1] [c2] [c1]
39Axel Polleres
[i10] [j6] [j5] [j4] [c14] [c13] [c12] [c6] [i3] [c5] [c4]
40Kristian Reale
[c49]
41Francesco Ricca
[j22] [c51] [c49] [j18] [p1] [j14] [c38] [j11] [j7] [c33] [c30]
42Riccardo Rosati
[c29] [c25]
43Marco Ruzzi
[c29] [c25]
44Maria Carmela Santoro
[c49]
45Francesco Scarcello
[j8] [i5] [c1]
46Ján Senko
[j13]
47Marco Sirianni
[c51] [c49]
48Witold Staniszkis
[c29] [c25]
49V. S. Subrahmanian
[c56] [c32]
50Giorgio Terracina
[c49] [c47] [c29] [c25]
51Hans Tompits
[c41]
52Patrick Traxler
[c28]
53Miroslaw Truszczynski
[c54] [i9] [e1]
54Pierfrancesco Veltri
[c49]
55Stefan Woltran
[c54] [i11] [c52] [c50] [i9] [c46] [c41] [j15] [c21] [c16]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 26 05:29:46 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page