DEPARTMENT OF ARTIFICIAL INTELLIGENCE AND CYBERSECURITY

Publications

SEMSYS Publications (coming from CRIS)

Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Faber

Univ.-Ass. Dipl.-Ing. Dr. Michael Morak

Univ.-Ass. Haya Majid Qureshi

2020

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,

2019

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

2018

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,

Some SEMSYS publications have not been available yet in the University Research Information System (CRIS) or have been published before authors became members of the Alpen-Adria-Universität Klagenfurt. These publications can be found on the personal homepages in the ‘Team’ menu on the right.

-> Note that the publication lists in the University Research Information System (CRIS) might be incomplete. More information can be found on the personal homepages of the team members.

All Publications of the Department of Artificial Intelligence and Cybersecurity (AICS) can also be found in the University Research Information System (CRIS).