( en | de | ru )

 

Disambiguation of "Kaminski, Tobias"

Author of the publication

copydeleteadd this publication to your clipboard
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.

, , , and . IJCAI, page 1058-1065. IJCAI/AAAI Press, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Tobias Kaminski

Lars Kaminski

Karl Kaminski

Horst Kaminski

Hans Kaminski

 

Other publications of authors with the same name

Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects., and . JELIA, volume 10021 of Lecture Notes in Computer Science, page 223-239. (2016)Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning., , and . Theory Pract. Log. Program., 18 (3-4): 571-588 (2018)Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access., , , and . IJCAI, page 1058-1065. IJCAI/AAAI Press, (2016)Lazy-Grounding for Answer Set Programs with External Source Access., , and . IJCAI, page 1015-1022. ijcai.org, (2017)Answer Set Programming with External Source Access., , , , and . RW, volume 10370 of Lecture Notes in Computer Science, page 204-275. Springer, (2017)Meta-Interpretive Learning Using HEX-Programs., , and . IJCAI, page 6186-6190. ijcai.org, (2019)Pruning External Minimality Checking for ASP Using Semantic Dependencies., and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 326-339. Springer, (2019)Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract)., , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies., , and . JOWO@IJCAI, volume 1517 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Efficient Paraconsistent Reasoning with Ontologies and Rules., , and . IJCAI, page 3098-3105. AAAI Press, (2015)