Tobias Kaminski
Orcid: 0000-0001-9776-0417
According to our database1,
Tobias Kaminski
authored at least 13 papers
between 2015 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Pruning external minimality checking for answer set programs using semantic dependencies.
Artif. Intell., 2021
2019
CoRR, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
2018
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.
Theory Pract. Log. Program., 2018
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
J. Artif. Intell. Res., 2018
2017
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
2015
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies.
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
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).
Proceedings of the 28th International Workshop on Description Logics, 2015