Tobias Kaminski

According to our database, Tobias Kaminski authored at least 14 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

ASP-FZN: A Translation-based Constraint Answer Set Solver.

Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch

CoRR, July, 2025

2021

Pruning external minimality checking for answer set programs using semantic dependencies.

Thomas Eiter, Tobias Kaminski

Artif. Intell., 2021

2019

Integrated Algorithms for HEX-Programs and Applications in Machine Learning.

Tobias Kaminski

CoRR, 2019

Pruning External Minimality Checking for ASP Using Semantic Dependencies.

Thomas Eiter, Tobias Kaminski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Meta-Interpretive Learning Using HEX-Programs.

Tobias Kaminski, Thomas Eiter, Katsumi Inoue

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.

Tobias Kaminski, Thomas Eiter, Katsumi Inoue

Theory Pract. Log. Program., 2018

The DLVHEX System.

Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

Künstliche Intell., 2018

2017

Answer Set Programming with External Source Access.

Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Lazy-Grounding for Answer Set Programs with External Source Access.

Thomas Eiter, Tobias Kaminski, Antonius Weinzierl

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects.

Thomas Eiter, Tobias Kaminski

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.

Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies.

Tobias Kaminski, Matthias Knorr, João Leite

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Efficient Paraconsistent Reasoning with Ontologies and Rules.

Tobias Kaminski, Matthias Knorr, João Leite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract).

Tobias Kaminski, Matthias Knorr, João Leite

Proceedings of the 28th International Workshop on Description Logics, 2015