Publications

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

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, 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,