5 papers · 1 filter
Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch
Visual Question Answering (VQA) is the task of answering questions about images, requiring the integration of multimodal input and reasoning. Modular approaches that incorporate lo…
Answer-Set-Programming-based Abstractions for Reinforcement Learning
Rafael Bankosegger, Thomas Eiter, Johannes Oetsch
Reinforcement Learning (RL) enables autonomous agents to learn policies from experience, but realistic problems often involve enormous state spaces, making learning and generalisat…
ASP-FZN: A Translation-based Constraint Answer Set Solver
Thomas Eiter, Tobias Geibinger, Tobias Kaminski +2
We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the s…
Visual Graph Question Answering with ASP and LLMs for Language Parsing
Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz +1
Visual Question Answering (VQA) is a challenging problem that requires to process multimodal input. Answer-Set Programming (ASP) has shown great potential in this regard to add int…
Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets
Thomas Eiter, Jan Hadl, Nelson Higuera +1
Visual Question Answering (VQA) is the task of answering a question about an image and requires processing multimodal input and reasoning to obtain the answer. Modular solutions th…