Publications

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,

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,