Tobias Kaminski

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 12

Top Topics

Deduction Rules

Semantic Dependencies

Contextual Knowledge

Top Venues

Description Logics

Publications

Thomas Eiter, Tobias Kaminski
Pruning external minimality checking for answer set programs using semantic dependencies. Artif. Intell. 290 (2021)
Thomas Eiter, Tobias Kaminski
Pruning External Minimality Checking for ASP Using Semantic Dependencies. LPNMR (2019)
Tobias Kaminski
Integrated Algorithms for HEX-Programs and Applications in Machine Learning. CoRR (2019)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Meta-Interpretive Learning Using HEX-Programs. IJCAI (2019)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR (2018)
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. J. Artif. Intell. Res. 62 (2018)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory Pract. Log. Program. 18 (3-4) (2018)
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
The DLVHEX System. Künstliche Intell. 32 (2-3) (2018)
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl
Lazy-Grounding for Answer Set Programs with External Source Access. IJCAI (2017)
Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
Answer Set Programming with External Source Access. Reasoning Web (2017)
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. IJCAI (2016)
Thomas Eiter, Tobias Kaminski
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. JELIA (2016)
Tobias Kaminski, Matthias Knorr, João Leite
Efficient Paraconsistent Reasoning with Ontologies and Rules. IJCAI (2015)
Tobias Kaminski, Matthias Knorr, João Leite
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. JOWO@IJCAI (2015)
Tobias Kaminski, Matthias Knorr, João Leite
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Description Logics (2015)