9 citations · 26 across the 13 of their papers we have counts for
13 papers
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…
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
Thomas Eiter, Tobias Geibinger, Nysret Musliu +3
We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of semiconductor work-shop pr…
A Neuro-Symbolic ASP Pipeline for Visual Question Answering
Thomas Eiter, Nelson Higuera, Johannes Oetsch +1
We present a neuro-symbolic visual question answering (VQA) pipeline for CLEVR, which is a well-known dataset that consists of pictures showing scenes with objects and questions re…
A Knowledge Representation Perspective on Activity Theory
Johannes Oetsch, Juan-Carlos Nieves
Intelligent technologies, in particular systems to promote health and well-being, are inherently centered around the human being, and they need to interrelate with human activities…
Stepwise Debugging of Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Hans Tompits
We introduce a stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules. Similar to deb…
Automated Benchmarking of Incremental SAT and QBF Solvers
Uwe Egly, Florian Lonsing, Johannes Oetsch
Incremental SAT and QBF solving potentially yields improvements when sequences of related formulas are solved. An incremental application is usually tailored towards some specific…
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming
Johannes Oetsch, Jörg Pührer, Hans Tompits
Many applications require complexly structured data objects. Developing new or adapting existing algorithmic solutions for creating such objects can be a non-trivial and costly tas…
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer +1
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the progra…
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
Johannes Oetsch, Jörg Pührer, Hans Tompits
We report about the current state and designated features of the tool SeaLion, aimed to serve as an integrated development environment (IDE) for answer-set programming (ASP). A mai…