Wolfgang Faber
Alpen-Adria-Universität Klagenfurt
H-index: 38
Europe-Austria
Top articles of Wolfgang Faber
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL | arXiv e-prints | Haya Majid Qureshi Wolfgang Faber | 2024/2 |
An efficient solver for ASP (Q) | Theory and Practice of Logic Programming | Wolfgang Faber Giuseppe Mazzotta Francesco Ricca | 2023/7 |
Evaluating epistemic logic programs via answer set programming with quantifiers | Proceedings of the AAAI Conference on Artificial Intelligence | Wolfgang Faber Michael Morak | 2023/6/26 |
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL | Haya Majid Qureshi Faber Wolfgang | 2023/1/8 | |
Aggregate semantics for propositional answer set programs | Theory and Practice of Logic Programming | Mario Alviano Wolfgang Faber Martin Gebser | 2023/1 |
Thirty years of epistemic specifications | Theory and Practice of Logic Programming | Jorge Fandinno Wolfgang Faber Michael Gelfond | 2022/11 |
Determining action reversibility in STRIPS using answer set programming with quantifiers | Wolfgang Faber Michael Morak Lukáš Chrpa | 2022/1/7 | |
Enhancing ASP (Q) evaluation | Wolfgang Faber Giuseppe Mazzotta Francesco Ricca | 2022 | |
Curriculum vitae et studiorum | Mathematical Physics | Emilio NM Cirillo | 2013 |
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings | Wolfgang Faber Gerhard Friedrich Martin Gebser Michael Morak | 2021/5/12 | |
An Evaluation of Meta-reasoning over OWL 2 QL | Haya Majid Qureshi Wolfgang Faber | 2021/12/2 | |
Paracoherent answer set computation | Artificial Intelligence | Giovanni Amendola Carmine Dodaro Wolfgang Faber Francesco Ricca | 2021/10/1 |
Universal and uniform action reversibility | Lukáš Chrpa Wolfgang Faber Michael Morak | 2021/9/30 | |
Österreichische AI Strategie aus Sicht der Wissenschaft | OCG Journal | Bernhard Moser Georg Dorffner Thomas Eiter Wolfgang Faber Günther Klambauer | 2020 |
An introduction to answer set programming and some of its extensions | Reasoning Web. Declarative Artificial Intelligence: 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures 16 | Wolfgang Faber | 2020 |
Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. | Wolfgang Faber Michael Morak | 2020 | |
Supporting Metamodeling in Ontologies Using Rules. | Haya Majid Qureshi Wolfgang Faber | 2020 | |
On the reversibility of actions in planning | Michael Morak Lukas Chrpa Wolfgang Faber Daniel Fišer | 2020/7/9 | |
ASP-Core-2 input language format | Theory and Practice of Logic Programming | Francesco Calimeri Wolfgang Faber Martin Gebser Giovambattista Ianni Roland Kaminski | 2020/3 |