STICKY EXISTENTIAL RULES AND DISJUNCTION ARE INCOMPATIBLE

von Morak, Michael
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers

von Faber, Wolfgang
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

von Faber, Wolfgang
Veröffentlicht in PADL (24. : 2022 : Philadelphia, Pa.) Practical Aspects of Declarative Languages (2022)

ON THE REVERSIBILITY OF ACTIONS IN PLANNING

von Morak, Michael
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, proceedings

Veröffentlicht 2021