Tobias Kaminski

  • Project Assistant, MSc
  • TU Wien
  • Institute of Logic and Computation 192/3
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

Research Interests

  • Knowledge Representation and Reasoning, Answer Set Programming, Evaluation of HEX-Programs, Paraconsistent Logics, Machine Learning

Current Position



  1. Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl: Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access [pdf],[poster], in: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), July 9-15, 2016, New York, New York, USA, 2016.
  2. Thomas Eiter, Tobias Kaminski: Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects [pdf], in: Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, Lecture Notes in Computer Science 10021, 2016.
  3. Tobias Kaminski, Matthias Knorr, João Leite: Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract) [pdf], in: Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR Workshop Proceedings 1350,, 2015.
  4. Tobias Kaminski, Matthias Knorr, João Leite: Efficient Paraconsistent Reasoning with Ontologies and Rules [pdf], in: Proceedings of the 24th International Conference on Artificial Intelligence (IJCAI 2015), July 25 - 31, 2015, Buenos Aires, Argentina, 2015.
  5. Tobias Kaminski, Matthias Knorr, João Leite: Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies [pdf], in: Joint Ontology Workshops 2015@IJCAI, CEUR Workshop Proceedings 1517,, 2015.


  • Best Thesis Award, European Master's Program in Computational Logic, 2015