Tobias Kaminski
6 papers · 2015–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(17)
Top co-authors
Research topics
Artificial Intelligence
(3)
Core AI
(3)
Machine Learning
(2)
Natural Language Processing
(2)
Learning Types
(2)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Application Areas
(1)
Applications
(1)
Generation
(1)
Mathematics
(1)
Optimization
(1)
Optimization & Theory
(1)
Reasoning
(1)
Representation
(1)
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)
value invention
(1)
inductive logic programming
(1)
meta-interpretive learning
(1)
hypothesis learning
(1)
keyword extraction
(1)
text reranking
(1)
large language model
(1)
non-monotonic logic
(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