Wolfgang Faber

Cited by

	All	Since 2016
Citations	5961	1708
h-index	37	19
i10-index	78	37

400

200

100

300

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202125 52 86 134 188 239 282 361 355 261 295 399 328 393 345 344 340 300 351 334 276 104

Public access

View all

15 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Thomas EiterVienna University of TechnologyVerified email at kr.tuwien.ac.at
Mario AlvianoAssociate Professor, University of CalabriaVerified email at mat.unical.it
Simona PerriDepartment of Mathematics, University of Calabria, ItalyVerified email at mat.unical.it
Francesco RiccaAssociate professor of computer science, University of CalabriaVerified email at mat.unical.it
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Verified email at wu.ac.at
Francesco CalimeriAssociate Professor of Computer Science, University of Calabria (UNICAL), ItalyVerified email at unical.it
Gianluigi GrecoUniversity of Calabria, Full Professor of Computer ScienceVerified email at mat.unical.it
Giovambattista IanniProfessor of Computer Science, Università della CalabriaVerified email at unical.it
Giuseppe IelpaUniversity of CalabriaVerified email at mat.unical.it
Francesco ScarcelloProfessor of Computer ScienceVerified email at unical.it
Michael FinkChief Scientific Officer, Deutsches MedizinrechenzentrumVerified email at kr.tuwien.ac.at
Marco MarateaUniversity of GenovaVerified email at dibris.unige.it
Carmine DodaroResearcher, University of CalabriaVerified email at mat.unical.it
Giorgio TerracinaProfessor of Computer Science, Universita' della Calabria, ItalyVerified email at mat.unical.it
Domenico LemboSapienza Università di RomaVerified email at diag.uniroma1.it
Christoph KochProfessor of Computer Science, EPFLVerified email at epfl.ch
Esra ErdemSabanci UniversityVerified email at sabanciuniv.edu
Martin GebserUniversity of Klagenfurt / Graz University of TechnologyVerified email at aau.at

Wolfgang Faber

Alpen-Adria-Universität Klagenfurt

Verified email at aau.at - Homepage

Artificial Intelligence Logic Programming Nonmonotonic Reasoning Planning Diagnosis


Title Sort by citations Sort by year Sort by 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	1447	2006
Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000	296*	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	271	2004
Semantics and complexity of recursive aggregates in answer set programming W Faber, G Pfeifer, N Leone Artificial Intelligence 175 (1), 278-298, 2011	238	2011
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	169	2003
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	129	2003
The diagnosis frontend of the dlv system T Eiter, W Faber, N Leone, G Pfeifer AI Communications 12 (1‐2), 99-111, 1999	127	1999
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	126	2005
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	125	2004
ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012	122	2012
Disjunctive logic programs with inheritance F Buccafurri, W Faber, N Leone Theory and Practice of Logic Programming 2 (3), 293-321, 2002	109	2002
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	107	2013
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	103	2008
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	99	2000
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	88	2003
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	82	2011
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	77	2010
Tiresias: the database oracle for how-to queries A Meliou, D Suciu Proceedings of the 2012 ACM SIGMOD International Conference on Management of …, 2012	72	2012
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	71	2003
Pushing goal derivation in DLP computations W Faber, N Leone, G Pfeifer 5th International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999	69	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors