Research | AAU Campus

The Research Information System (German abbreviation: FoDok) of the University of Klagenfurt comprises the academic achievements of researchers for the time interval of their active employment at the University of Klagenfurt. The FoDok also contains the achievements of doctoral students and emeritus/retired researchers.
For the analysis on an individual level please note that the entries in the FoDok do not give a comprehensive overview of the achievements of the individual researchers.

Lectures (14)

Sorted by

Generative Datalog with Stable Negation

Participants: Michael Morak
At: 19.06.2023
Event: 2023 ACM SIGMOD/PODS International Conference on Management of Data, Seattle, WA
Registered lecture
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers

Participants: Wolfgang Faber, Michael Morak
At: 12.02.2023
Event: The 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA
Registered lecture
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers

Participants: Wolfgang Faber, Michael Morak
At: 05.09.2022
Event: RCRA 2022 - 29th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Genova
Registered lecture
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

Participants: Wolfgang Faber, Michael Morak, Lukáš Chrpa
At: 05.08.2022
Event: ICLP 2022 - 38th International Conference on Logic Programming, Haifa
Registered lecture
Semantic Systems Group - Department for Artificial Intelligence and Cybersecurity

Participants: Michael Morak
At: 25.07.2022
Event: ASAI IJCAI Satellite Event 2022, WU Wien
Registered lecture
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

Participants: Wolfgang Faber, Michael Morak, Lukáš Chrpa
At: 17.01.2022
Event: The 24th International Symposium on Practical Aspects of Declarative Languages (PADL) 2022, Philadelphia
Registered lecture
Sticky Existential Rules and Disjunction are Incompatible

Participants: Michael Morak
At: 08.11.2021
Event: 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Hanoi
Registered lecture
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming

Participants: Michael Morak
At: 23.09.2021
Event: 37th International Conference on Logic Programming (ICLP 2021), Porto
Registered lecture
Structural Decompositions of Epistemic Logic Programs

Participants: Michael Morak
At: 19.09.2020
Event: EELP 2020 (2nd Workshop on Epistemic Extensions of Logic Programming), Rende
Registered lecture
On the Reversibility of Actions in Planning

Participants: Michael Morak, Lukáš Chrpa, Wolfgang Faber, Daniel Fišer
At: 15.09.2020
Event: KR 2020 (17th Conference on Principles of Knowledge Representation and Reasoning), Rhodos
Registered lecture
Epistemic Logic Programs: A Different World View

Participants: Michael Morak
At: 22.09.2019
Event: 35th International Conference on Logic Programming (ICLP 2019) , Las Cruces, New Mexico
Registered lecture
On Uniform Equivalence of Epistemic Logic Programs

Participants: Michael Morak, Wolfgang Faber, Stefan Woltran
At: 22.09.2019
Event: 35th International Conference on Logic Programming (ICLP 2019) , Las Cruces, New Mexico
Registered lecture
Epistemic Logic Programs and How to Solve Them

Participants: Michael Morak
At: 20.03.2019
Event: Helmut Veith Memorial Workshop 2019, Turracher Höhe, Austria
Registered lecture
Strong Equivalence for Epistemic Logic Programs Made Easy

Participants: Michael Morak, Wolfgang Faber, Stefan Woltran
At: 31.01.2019
Event: AAAI-19: Thirty-Third AAAI Conference on Artificial Intelligence, Hilton Hawaiian Village, Honolulu, Hawaii
Poster presentation