| 2026 | AAAI | A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving. | Timo Pierre Schrader, Lukas Lange, Tobias Kaminski, Simon Razniewski, Annemarie Friedrich |
| 2025 | EMNLP | Automotive Document Labeling Using Large Language Models. | Dang Van Thin, Cuong Xuan Chu, Christian Graf, Tobias Kaminski, Trung-Kien Tran |
| 2019 | IJCAI | Meta-Interpretive Learning Using HEX-Programs. | Tobias Kaminski, Thomas Eiter, Katsumi Inoue |
| 2019 | LPNMR | Pruning External Minimality Checking for ASP Using Semantic Dependencies. | Thomas Eiter, Tobias Kaminski |
| 2017 | IJCAI | Lazy-Grounding for Answer Set Programs with External Source Access. | Thomas Eiter, Tobias Kaminski, Antonius Weinzierl |
| 2016 | IJCAI | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. | Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl |
| 2016 | JELIA | Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. | Thomas Eiter, Tobias Kaminski |
| 2015 | IJCAI | Efficient Paraconsistent Reasoning with Ontologies and Rules. | Tobias Kaminski, Matthias Knorr, Joo Leite |
| 2015 | IJCAI | Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. | Tobias Kaminski, Matthias Knorr, Joo Leite |