Tobias Kaminski

20 papers A* 5B 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A* conf
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving.
AAAI
Timo Pierre Schrader, Lukas Lange, Tobias Kaminski, Simon Razniewski, Annemarie Friedrich
2025 J jnl
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving.
CoRR
Timo Pierre Schrader, Lukas Lange, Tobias Kaminski, Simon Razniewski, Annemarie Friedrich
2025 J jnl
ASP-FZN: A Translation-Based Constraint Answer Set Solver.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Tobias Kaminski
2025 J jnl
ASP-FZN: A Translation-based Constraint Answer Set Solver.
CoRR
Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch
2025 — conf
Automotive Document Labeling Using Large Language Models.
EMNLP (Industry Track)
Dang Van Thin, Cuong Xuan Chu, Christian Graf, Tobias Kaminski, Trung-Kien Tran
2021 J jnl
Pruning external minimality checking for answer set programs using semantic dependencies.
Artif. Intell.
Thomas Eiter, Tobias Kaminski
2019 J jnl
Integrated Algorithms for HEX-Programs and Applications in Machine Learning.
CoRR
Tobias Kaminski
2019 A* conf
Meta-Interpretive Learning Using HEX-Programs.
IJCAI
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2019 B conf
Pruning External Minimality Checking for ASP Using Semantic Dependencies.
LPNMR
Thomas Eiter, Tobias Kaminski
2018 J jnl
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.
CoRR
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2018 J jnl
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.
Theory Pract. Log. Program.
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2018 J jnl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
J. Artif. Intell. Res.
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
2018 J jnl
The DLVHEX System.
Künstliche Intell.
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017 — conf
Answer Set Programming with External Source Access.
RW
Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017 A* conf
Lazy-Grounding for Answer Set Programs with External Source Access.
IJCAI
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl
2016 B conf
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects.
JELIA
Thomas Eiter, Tobias Kaminski
2016 A* conf
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
IJCAI
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
2015 A* conf
Efficient Paraconsistent Reasoning with Ontologies and Rules.
IJCAI
Tobias Kaminski, Matthias Knorr, João Leite
2015 — conf
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract).
Description Logics
Tobias Kaminski, Matthias Knorr, João Leite
2015 — conf
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies.
JOWO@IJCAI
Tobias Kaminski, Matthias Knorr, João Leite