| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets for Disjunctive Datalog Programs  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber |
Dynamic Magic Sets and super-coherent answer set programs. |
AI Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
Look-back Techniques for ASP Programs with Aggregates. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
Strong Equivalence of Qualitative Optimization Problems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning Under Action Costs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gerald Pfeifer, Nicola Leone |
Semantics and complexity of recursive aggregates in answer set programming. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Wolfgang Faber (eds.) |
Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Stefan Woltran |
Manifold Answer-Set Programs and Their Applications. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber |
Dynamic Magic Sets for Super-Consistent Answer Set Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber, Nicola Leone |
Disjunctive ASP with Functions: Decidable Queries and Effective Computation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber, Nicola Leone |
Disjunctive ASP with functions: Decidable queries and effective computation. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina |
The Disjunctive Datalog System DLV. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa |
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Annamaria Bria, Wolfgang Faber, Nicola Leone |
Normal Form Nested Programs. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annamaria Bria, Wolfgang Faber, Nicola Leone |
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Stefan Woltran |
Manifold Answer-Set Programs for Meta-reasoning. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone |
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Wolfgang Faber |
Undoing the effects of action sequences. |
J. Applied Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa |
Design and Implementation of Aggregate Functions in the DLV System |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa |
Design and implementation of aggregate functions in the DLV system. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Francesco Ricca |
Answer Set Programming. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Wolfgang Faber |
The DLV Project: A Tour from Theory and Research to Applications and Market. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Annamaria Bria, Wolfgang Faber, Nicola Leone |
Normal Form Nested Programs. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Hans Tompits, Stefan Woltran |
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets for Data Integration. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko |
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets and their application to data integration. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca |
On look-ahead heuristics in disjunctive logic programming. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20 |
| 1 | Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran |
Complexity results for answer set programming with bounded predicate arities and implications. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68Q17 |
| 1 | Thomas Eiter, Esra Erdem, Wolfgang Faber |
On Reversing Actions: Algorithms and Complexity. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone |
On the Complexity of Answer Set Programming with Aggregates. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
Experimenting with Look-Back Heuristics for Hard ASP Programs. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ricca, Wolfgang Faber, Nicola Leone |
A backjumping technique for Disjunctive Logic Programming. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone |
Pruning Operators for Disjunctive Logic Programming Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets |
| 1 | Wolfgang Faber, Kathrin Konczak |
Strong order equivalence. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30, 68T15 |
| 1 | Wolfgang Faber |
Decomposition of Nonmonotone Aggregates in Answer Set Programming. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Francesco Ricca |
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. |
Intelligenza Artificiale |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Kathrin Konczak |
Strong Equivalence for Logic Programs with Preferences. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Francesco Ricca |
Heuristics for Hard ASP Programs. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
Declarative and Computational Properties of Logic Programs with Aggregates. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian |
The Relationship Between Reasoning About Privacy and Default Logics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets and their Application to Data Integration. |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco |
Boosting Information Integration: The INFOMIX System. |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Francesco Ricca |
Solving Hard ASP Programs Efficiently. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber |
Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Patrick Traxler |
Testing Strong Equivalence of Datalog Programs - Implementation and Examples. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets and Their Application to Data Integration. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets |
| 1 | Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Enhancing the Magic-Set Method for Disjunctive Datalog Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
New DLV Features for Data Integration. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
System Description: DLV with Aggregates. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Wolfgang Faber |
Plan reversals for recovery in execution monitoring. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning Under Action Costs. |
J. Artif. Intell. Res. (JAIR) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
A logic programming approach to knowledge-state planning, II: The DLVK system. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Computing preferred answer sets by meta-interpretation in answer set programming. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Chiara Cumbo, Wolfgang Faber, Gianluigi Greco |
Improving Query Optimization for Disjunctive Datalog. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer |
Aggregate Functions in DLV. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello |
The DLV System for Knowledge Representation and Reasoning |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Francesco Buccafurri, Wolfgang Faber, Nicola Leone |
Disjunctive Logic Programs with Inheritance. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning under Action Costs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
The DLVK Planning System: Progress Report. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Pruning operators for answer set programming systems. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Francesco Buccafurri, Wolfgang Faber, Nicola Leone |
Disjunctive Logic Programs with Inheritance |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Experimenting with Heuristics for Answer Set Programming. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski (eds.) |
Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings |
LPNMR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer |
System Description: DLV. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Optimizing the Computation of Heuristics for Answer Set Programming Systems. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
System Description: The DLVK Planning System. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer |
DLV - A System for Declarative Problem Solving |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Using the dlv System for Planning and Diagnostic Reasoning. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Planning under Incomplete Knowledge. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
The Diagnosis Frontend of the dlv System. |
AI Commun. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Francesco Buccafurri, Wolfgang Faber, Nicola Leone |
Disjunctive Logic Programs with Inheritance. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Pushing Goal Derivation in DLP Computations. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
Algorithms, Heuristics, Disjunctive Logic Programming |
| 1 | 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")