Oetsch, Johannes

3 publications

IJCAI 2023 A Logic-Based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch

AAAI 2022 Large-Neighbourhood Search for Optimisation in Answer-Set Solving Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova

AAAI 2007 Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection Johannes Oetsch, Hans Tompits, Stefan Woltran