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

---

• Room: HE 03 40
• Phone: +43 (1) 58801 184804
• Email: kaminski [at] kr.tuwien.ac.at
• Web: www.kr.tuwien.ac.at/staff/kaminski/, TISS

---

Research Interests

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

---

Current Position

• I am an associated PhD student of the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in August 2015 under the supervision of Prof. Dr. Thomas Eiter. I am also a project assistant in the FWF project Integrated Evaluation of Answer Set Programs and Extensions.

---

Education

• MSc in Computational Logic (Nova University Lisbon, Free University of Bozen-Bolzano and Dresden University of Technology), master thesis: Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web (in Lisbon, Portugal), October 2014.
• BSc in Cognitive Science (University of Osnabrück).

---

Publications

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, CEUR-WS.org, 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, CEUR-WS.org, 2015.

---

Awards

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