دنبال کردن
Wolfgang Faber
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
16102006
Declarative problem-solving using the DLV system‏
T Eiter, W Faber, N Leone, G Pfeifer‏
Logic-based artificial intelligence, 79-103, 2000‏
324*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‏
3052004
Semantics and complexity of recursive aggregates in answer set programming‏
W Faber, G Pfeifer, N Leone‏
Artificial Intelligence 175 (1), 278-298, 2011‏
3042011
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‏
2482020
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‏
1862003
ASP-Core-2: Input language format‏
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...‏
ASP Standardization Working Group, 2012‏
1482012
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‏
1452003
The diagnosis frontend of the dlv system‏
T Eiter, W Faber, N Leone, G Pfeifer‏
AI Communications 12 (1‐2), 99-111, 1999‏
1361999
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‏
1342004
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‏
1322005
WASP: A native ASP solver based on constraint learning‏
M Alviano, C Dodaro, W Faber, N Leone, F Ricca‏
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013‏
1302013
Disjunctive logic programs with inheritance‏
F Buccafurri, W Faber, N Leone‏
Theory and Practice of Logic Programming 2 (3), 293-321, 2002‏
1212002
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‏
1202008
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‏
1082000
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‏
922003
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‏
912011
The disjunctive datalog system DLV‏
M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina‏
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK …, 2011‏
902011
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‏
822002
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming‏
T Eiter, W Faber, N Leone, G Pfeifer‏
Theory and Practice of Logic Programming 3 (4-5), 463-498, 2003‏
792003
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20