Tobias Kaminski
6 papers · 2015–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (18) π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (10) π Cross-Pollinator (5)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π
Trend Setter
Conferences
IJCAI (4)
AAAI (1)
EMNLP (1)
Top co-authors
Keywords
answer set programming
(3)
knowledge distillation
(1)
named entity recognition
(1)
semantic parsing
(1)
information retrieval
(1)
semantic search
(1)
code generation
(1)
document retrieval
(1)
logic puzzle
(1)
lazy grounding
(1)
external source
(1)
nonmonotonic logic
(1)
value invention
(1)
inductive logic programming
(1)
meta-interpretive learning
(1)
hypothesis learning
(1)
keyword extraction
(1)
large language model
(1)
text re-ranking
(1)
hybrid search
(1)
Papers
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
AAAI 2026
Automotive Document Labeling Using Large Language Models
EMNLP 2025
Meta-Interpretive Learning Using HEX-Programs
IJCAI 2019
Lazy-Grounding for Answer Set Programs with External Source Access
IJCAI 2017
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
IJCAI 2016
Efficient Paraconsistent Reasoning with Ontologies and Rules
IJCAI 2015