Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). - Tobias Kaminski; Matthias Knorr 001; João Leite 001 (Description Logics, 2015)

Efficient Paraconsistent Reasoning with Ontologies and Rules. - Tobias Kaminski; Matthias Knorr 001; João Leite 001 (IJCAI, 2015)

Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. - Tobias Kaminski; Matthias Knorr 001; João Leite 001 (JOWO@IJCAI, 2015)

Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. - Thomas Eiter; Tobias Kaminski (JELIA, 2016)

Lazy-Grounding for Answer Set Programs with External Source Access. - Thomas Eiter; Tobias Kaminski; Antonius Weinzierl (IJCAI, 2017)

Answer Set Programming with External Source Access. - Thomas Eiter; Tobias Kaminski; Christoph Redl; Peter Schüller; Antonius Weinzierl (RW, 2017)

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. - Thomas Eiter; Tobias Kaminski; Christoph Redl; Antonius Weinzierl (J. Artif. Intell. Res., 2018)

The DLVHEX System. - Thomas Eiter; Stefano Germano; Giovambattista Ianni; Tobias Kaminski; Christoph Redl; Peter Schüller; Antonius Weinzierl (Künstliche Intell., 2018)

Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. - Tobias Kaminski; Thomas Eiter; Katsumi Inoue (Theory Pract. Log. Program., 2018)

Meta-Interpretive Learning Using HEX-Programs. - Tobias Kaminski; Thomas Eiter; Katsumi Inoue (IJCAI, 2019)

Pruning External Minimality Checking for ASP Using Semantic Dependencies. - Thomas Eiter; Tobias Kaminski (LPNMR, 2019)

Integrated Algorithms for HEX-Programs and Applications in Machine Learning. - Tobias Kaminski (CoRR, 2019)

Pruning external minimality checking for answer set programs using semantic dependencies. - Thomas Eiter; Tobias Kaminski (Artif. Intell., 2021)

ASP-FZN: A Translation-based Constraint Answer Set Solver. - Thomas Eiter; Tobias Geibinger; Tobias Kaminski; Nysret Musliu; Johannes Oetsch (CoRR, 2025)