Wolfgang Faber

Wolfgang Faber

Alpen Adria Universität Klagenfurt - Klagenfurt / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 915445
University of Klagenfurt
person_outline Wolfgang Faber's MOST POPULAR ARTICLES
1-) The DLV system for knowledge representation and reasoningN Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F ScarcelloACM Transactions on Computational Logic (TOCL) 7 (3), 499-562, 200615022006
2-) Declarative problem-solving using the DLV systemT Eiter, W Faber, N Leone, G PfeiferLogic-based artificial intelligence, 79-103, 2000310*2000
3-) Recursive aggregates in disjunctive logic programs: Semantics and complexityW Faber, N Leone, G Pfeifer9th European Conference on Logics in Artificial Intelligence, JELIA 2004 …, 20043052004
4-) Semantics and complexity of recursive aggregates in answer set programmingW Faber, G Pfeifer, N LeoneArtificial Intelligence 175 (1), 278-298, 20113042011
5-) ASP-Core-2 input language formatF Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...Theory and Practice of Logic Programming 20 (2), 294-309, 20202482020