← Search

Johannes Oetsch

2 accepted papers

2023

A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering

IJCAI 2023poster

Visual Question Answering (VQA) is a well-known problem for which deep-learning is key. This poses a challenge for explaining answers to questions, the more if advanced notions like contrastive explanations (CEs) should be provided. The latter explain why an answer has been reached in contrast to a…

2022

Large-Neighbourhood Search for Optimisation in Answer-Set Solving

AAAI 2022technical

While Answer-Set Programming (ASP) is a prominent approach to declarative problem solving, optimisation problems can still be a challenge for it. Large-Neighbourhood Search (LNS) is a metaheuristic for optimisation where parts of a solution are alternately destroyed and reconstructed that has high b…