4 papers
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
Timo Pierre Schrader, Lukas Lange, Tobias Kaminski +2
The rise of large language models (LLMs) has sparked interest in coding assistants. While general-purpose programming languages are well supported, generating code for domain-speci…
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…
Integrated Algorithms for HEX-Programs and Applications in Machine Learning
Tobias Kaminski
This paper summarizes my doctoral research on evaluation algorithms for HEX-programs, which extend Answer Set Programming with means for interfacing external computations. The focu…
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Meta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules, which is implemented by the Metagol system based on Prolog. Viewing MIL-problems a…