Publications

Jakub Med, Lukáš Chrpa, Michael Morak, Wolfgang Faber: Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, AAAI Press, 34, Menlo Park (CA), 2024, S. 369 - 377.

Haya Majid Qureshi, Wolfgang Faber: Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. Theory and Practice of Logic Programming, Cambridge University Press, 24, Cambridge, 2024, S. 368 - 393.

Wolfgang Faber: Solving Argumentation Problems Using Answer Set Programming with Quantifiers:Preliminary Report. Workshop Proceedings of the 40th International Conference on Logic Programming {(ICLP-WS} 2024) co-located with the 40th International Conference on Logic Programming {(ICLP} 2024), CEUR-Workshop Proceedings, 3799, 2024, S. 1 - 13.

Joaquín Arias, Sotirios Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Wyner: Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, . 3437, 2023,

Wolfgang Faber, GIUSEPPE MAZZOTTA, Francesco Ricca: An Efficient Solver for ASP(Q). Theory and Practice of Logic Programming, Cambridge University Press, 23, Cambridge, 2023, S. 948 - 964.

Wolfgang Faber, Michael Morak: Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI Press, Menlo Park (CA), 2023,

Wolfgang Faber, Mazzotta Giuseppe, Ricca Francesco: Enhancing ASP(Q) evaluation. CEUR-WS, CEUR Workshop Proceedings (CEUR-WS.org), 3537, Aachen, 2023, S. 38 - 46.

Haya Majid Qureshi, Wolfgang Faber: Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. Practical Aspects of Declarative Languages, Springer Nature Switzerland AG, 13880, 2023, S. 216 - 231.

Wolfgang Faber, Michael Morak: Evaluating Epistemic Logic Programs via Answer SetProgramming with Quantifiers. Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022, 3281, 2022, S. 78 - 89.

Haya Majid Qureshi, Wolfgang Faber: Meta-reasoning over OWL 2 QL using Datalog. Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022), 3203, 2022, S. 181 - 187.

Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022). RWTH Aachen, 3193, Aachen, 2022,

Wolfgang Faber, Michael Morak, Lukáš Chrpa: Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers . Proceedings 38th International Conference on Logic Programming , Open Publishing Association, 364, Australia, 2022, S. 156 - 158.

Mario Alviano, Wolfgang Faber, Martin Gebser: Aggregate Semantics for Propositional Answer Set Programs. Theory and Practice of Logic Programming, Cambridge University Press, 23, Cambridge, 2022, S. 157 - 194.

Wolfgang Faber, Michael Morak, Lukáš Chrpa: Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. Practical Aspects of Declarative Languages, Springer Nature Switzerland AG, 13165, 2022, S. 42 - 56.

Jorge Fandinno, Wolfgang Faber, MICHAEL GELFOND: Thirty years of Epistemic Specifications. Theory and Practice of Logic Programming, Cambridge University Press, 22, Cambridge, 2021, S. 1043 - 1083.

Lukáš Chrpa, Wolfgang Faber, Michael Morak: Universal and Uniform Action Reversibility. KR2021 - Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, S. 651 - 655.

Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca: Paracoherent answer set computation. Artificial Intelligence, Elsevier, 299, 2021,

Wolfgang Faber, Michael Morak, Lukáš Chrpa: Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Theory and Practice of Logic Programming, Cambridge University Press, 21, Cambridge, 2021, S. 646 - 662.

Wolfgang Faber, Michael Morak, Lukáš Chrpa: Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. ICLP 2021, 2108.05428, 2021,

Haya Majid Qureshi, Wolfgang Faber: An Evaluation of Meta-reasoning over OWL 2 QL. Rules and Reasoning, Springer Verlag GmbH, 12851, Berlin, Heidelberg, New York, 2021, S. 218 - 233.

Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak: Logics in Artificial Intelligence. Lecture Notes in Computer Science, 12678, 2021,

Wolfgang Faber: Reversibility of Actions and Plans. Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020, CEUR Workshop Proceedings (CEUR-WS.org), 2710, Aachen, 2020, S. 1 - 1.

Wolfgang Faber: An Introduction to Answer Set Programming and Some of Its Extensions. Springer International Publishing, Springer Verlag GmbH, 12258, Berlin, Heidelberg, New York, 2020, S. 149 - 185.

Lukáš Chrpa, Wolfgang Faber, Michael Morak, Daniel Fišer: Determining Action Reversibility in STRIPS Using Answer Set Programming. ICLP20WS 2020, 2678, 2020,

Wolfgang Faber, Michael Morak: Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. ICLP20WS 2020, 2678, 2020,

Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, Jessica Zangari: International Conference on Logic Programming 2020 Workshop Proceedings (ICLP20WS). CEUR Workshop Proceedings (CEUR-WS.org), 2678, Aachen, 2020,

Michael Morak, Lukáš Chrpa, Wolfgang Faber, Daniel Fišer: On the Reversibility of Actions in Planning. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, IJCAI Inc., Menlo Park (CA), 2020, S. 652 - 661.

Haya Majid Qureshi, Wolfgang Faber: Supporting Metamodeling in Ontologies UsingRules. Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020, 2020, S. 95 - 102.

Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub: ASP-Core-2 Input Language Format. Theory and Practice of Logic Programming, Cambridge University Press, Cambridge, 2020,

Wolfgang Faber, Michael Morak, Stefan Woltran: On Uniform Equivalence of Epistemic Logic Programs. Theory and Practice of Logic Programming, 35th Int'l. Conference on Logic Programming (ICLP 2019) Special Issue, Cambridge University Press, 19, Cambridge, 2019, S. 826 - 840.

Wolfgang Faber: Die Maschine als Experte für besondere Jobs. Der Standard, Standard Verlagsgesellschaft m.b.H., Wien, 2019, S. 12 - 12.

Wolfgang Faber: Maschine soll Veränderung einbeziehen. Kleine Zeitung, Mediaprint Zeitungs- und Zeitschriftenverlag GmbH & Co KG, Wien, 2019,

Wolfgang Faber, Michael Morak, Stefan Woltran: Strong Equivalence for Epistemic Logic Programs Made Easy. 33rd AAAI Conference on Artificial Intelligence (AAAI-19), AAAI Press, Menlo Park (CA), 2019, S. 2809 - 2816.

Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca: Algorithm Selection for Paracoherent Answer Set Computation. Proceedings of the 16th European Conference on Logics in Artificial Intelligence, Springer Verlag GmbH, 11468, Berlin, Heidelberg, New York, 2019, S. 479 - 489.

Mario Alviano, Wolfgang Faber: Chain Answer Sets for Logic Programs with Generalized Atoms. Proceedings of the 16th European Conference on Logics in Artificial Intelligence, Springer Verlag GmbH, 11468, Berlin, Heidelberg, New York, 2019, S. 462 - 478.

Wolfgang Faber, Michael Morak, Stefan Woltran: Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract. Proceedings 35th International Conference on Logic Programming (Technica Communications), {ICLP} 2019 Technical Communications, 306, 2019, S. 365 - 366.

Tomáš Škeřík, Lukáš Chrpa, Wolfgang Faber, Mauro Vallati: Automated Training Plan Generation For Athletes. 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) , IEEE, Piscataway (NJ), 2018, S. 3865 - 3870.

Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin: Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. Computational Models of Argument - Proceedings of COMMA 2018, IOS Press, 305, Amsterdam, 2018, S. 459 - 460.

Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca: Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. Proceedings of the 25th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2018,

Mario Alviano, Wolfgang Faber: Aggregates in Answer Set Programming. KI - Künstliche Intelligenz, 32, 2018, S. 119 - 124.

Mario Alviano, Wolfgang Faber: Chain Answer Sets for Logic Programs with Generalized Atoms - How Not To Fix a Semantic Problem. Proceedings of the Second Workshop on Answer Set Programming and Other Computing Paradigms (TAASP 2018), 2018,