引用次数
引用: 6,620
H-指数: 38
I10-指数 : 82
出版物: 244
The dlv System: Model Generator and Advanced Frontends (system description)
Cristinel Mateis , Thomas Eiter , Francesco Scarcello , Simona Citrigno
WLP 0
11
1997
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.
Wolfgang Faber , Francesco Ricca , Nicola Leone
Intelligenza Artificiale 2 21 -28
5
2005
Query answering over disjunctive datalog with existential quantifiers
Mario Alviano , Wolfgang Faber , Marco Manna , Nicola Leone
SEBD 393 -400
2013
Using the dlv System for Planning and Diagnostic Reasoning.
Thomas Eiter , Gerald Pfeifer , Axel Polleres , Nicola Leone
WLP 125 -134
7
2000
Improving Query Optimization for Disjunctive Datalog.
Chiara Cumbo , Wolfgang Faber , Gianluigi Greco
appia-gulp-prode 252 -262
7
2003
Boosting Information Integration: The INFOMIX System
Witold Staniszkis , Thomas Eiter , Vincenzino Lio , Georg Gottlob
13th Italian Symposium on Advanced Database Systems, SEBD 2005 55 -66
14
2005
Disjunctive datalog with strong and weak constraints: Representational and computational issues
Wolfgang Faber
6
1998
Abstract preference frameworks: a unifying perspective on separability and strong equivalence
Stefan Woltran , Mirosław Truszczyński , Wolfgang Faber
national conference on artificial intelligence 297 -303
2
2013
Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings
James P Delgrande , Wolfgang Faber
Springer
2011
Stable model semantics of abstract dialectical frameworks revisited: a logic programming perspective
Mario Alviano , Wolfgang Faber
international conference on artificial intelligence 2684 -2690
15
2015
A backjumping technique for disjunctive logic programming
Wolfgang Faber , Francesco Ricca , Nicola Leone
Ai Communications 19 ( 2) 155 -172
25
2006
Strong equivalence for logic programs with preferences
Kathrin Konczak , Wolfgang Faber
international joint conference on artificial intelligence 430 -435
7
2005
Space efficient evaluation of ASP programs with bounded predicate arities
Mushthofa Mushthofa , Thomas Eiter , Wolfgang Faber
national conference on artificial intelligence 303 -308
4
2010
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
Thomas Eiter , Gerald Pfeifer , Wolfgang Faber , Nicola Leone
Answer Set Programming
9
2001
Complexity of model checking and bounded predicate arities for non-ground answer set programming
Stefan Woltran , Thomas Eiter , Gerald Pfeifer , Wolfgang Faber
principles of knowledge representation and reasoning 377 -387
14
2004
The Diagnosis Frontend of the dlv system
Thomas Eiter , Gerald Pfeifer , Wolfgang Faber , Nicola Leone
Ai Communications 12 ( 1) 99 -111
85
1999
What should an ASP solver output? : a multiple position paper
Marco Maratea , Roman Schindlauer , Martin Brain , Wolfgang Faber
Software Engineering for Answer Set Programming: SEA'07: First International Workshop 26 -37
2
2007
Pruning Operators for Disjunctive Logic Programming Systems
Francesco Calimeri , Wolfgang Faber , Nicola Leone , Gerald Pfeifer
Fundamenta Informaticae 71 ( 2) 183 -214
20
2006
Efficient Instantiation of Disjunctive Databases
Gerald Pfeifer , Wolfgang Faber , Simona Perri , Nicola Leone
2
2001
DIAGNOSING PLAN EXECUTION DISCREPANCIES IN A LOGIC-BASED ACTION FRAMEWORK
Thomas Eiter , Wolfgang Faber , Esra Erdem
4
2004
Nicola Leone Thomas Eiter Francesco Ricca Mario Alviano Simona Perri Georg Gottlob Axel Polleres Francesco Calimeri Giovambattista Ianni Gianluigi Greco Francesco Scarcello Giuseppe Ielpa Marco Maratea Michael Fink Domenico Lembo Carmine Dodaro Christoph Koch Martin Gebser Giorgio Terracina Torsten Schaub