Follow
Wolfgang Faber
Title
Cited by
Cited by
Year
The DLV system for knowledge representation and reasoning
N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello
ACM Transactions on Computational Logic (TOCL) 7 (3), 499-562, 2006
14892006
Declarative problem-solving using the DLV system
T Eiter, W Faber, N Leone, G Pfeifer
Logic-based artificial intelligence, 79-103, 2000
306*2000
Recursive aggregates in disjunctive logic programs: Semantics and complexity
W Faber, N Leone, G Pfeifer
9th European Conference on Logics in Artificial Intelligence, JELIA 2004 …, 2004
2742004
Semantics and complexity of recursive aggregates in answer set programming
W Faber, G Pfeifer, N Leone
Artificial Intelligence 175 (1), 278-298, 2011
2502011
A logic programming approach to knowledge-state planning, II: The DLVK system
T Eiter, W Faber, N Leone, G Pfeifer, A Polleres
Artificial Intelligence 144 (1-2), 157-211, 2003
1762003
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1572012
A logic programming approach to knowledge-state planning: Semantics and complexity
T Eiter, W Faber, N Leone, G Pfeifer, A Polleres
ACM Transactions on Computational Logic (TOCL) 5 (2), 206-263, 2004
1352004
Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV
T Dell Armi, W Faber, G Ielpa, N Leone, G Pfeifer
18th International Joint Conference on Artificial Intelligence (IJCAI 2003 …, 2003
1322003
The INFOMIX system for advanced integration of incomplete and inconsistent data
N Leone, G Greco, G Ianni, V Lio, G Terracina, T Eiter, W Faber, M Fink, ...
Proceedings of the 2005 ACM SIGMOD international conference on Management of …, 2005
1262005
The diagnosis frontend of the dlv system
T Eiter, W Faber, N Leone, G Pfeifer
AI Communications 12 (1‐2), 99-111, 1999
1261999
WASP: A native ASP solver based on constraint learning
M Alviano, C Dodaro, W Faber, N Leone, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2013
1162013
Disjunctive logic programs with inheritance
F Buccafurri, W Faber, N Leone
Theory and Practice of Logic Programming 2 (3), 293-321, 2002
1142002
Design and implementation of aggregate functions in the DLV system
W Faber, G Pfeifer, N Leone, T Dell'Armi, G Ielpa
Theory and Practice of Logic Programming 8 (5-6), 545-580, 2008
1072008
Planning under incomplete knowledge
T Eiter, W Faber, N Leone, G Pfeifer, A Polleres
First International Conference on Computational Logic, CL 2000, 807-821, 2000
1072000
Answer set planning under action costs
T Eiter, W Faber, N Leone, G Pfeifer, A Polleres
J. Artif. Intell. Res. (JAIR) 19, 25-71, 2003
902003
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
Theory and Practice of Logic Programming 20 (2), 294-309, 2020
852020
The third answer set programming competition: Preliminary report of the system competition track
F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ...
11th International Conference on Logic Programming and Nonmonotonic …, 2011
832011
The disjunctive datalog system DLV
M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina
International Datalog 2.0 Workshop, 282-301, 2010
792010
The DLV system
N Leone, G Pfeifer, W Faber, F Calimeri, T Dell’Armi, T Eiter, G Gottlob, ...
8th European Conference on Artificial Intelligence, JELIA 2002, 537-540, 2002
742002
The dlv system: Model generator and application frontends
S Citrigno, T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, ...
Proceedings of the 12th Workshop on Logic Programming, 128-137, 1997
711997
The system can't perform the operation now. Try again later.
Articles 1–20