Hans Tompits
Ao.Univ.Prof. Mag.rer.nat. Dr.techn.
Research Focus
- Logic and Computation: 100%
Research Areas
- computational logic, declarative logic programming, computational complexity, nonmonotonic reasoning, knowledge representation
About
Basic Research in logic-based Artificial Intelligence, computational Logic and logical Programming (Answer-Set Programming)
Roles
-
Associate Professor
Knowledge-Based Systems, E192-03 -
Curriculum Coordinator
Master Computational Intelligence -
Curriculum Coordinator
Master Logic and Computation -
Curriculum Commission for Informatics
Substitute Member
Courses
2019W
- Artificial Intelligence Seminar / SE / 184.068
- Bachelor Thesis for Computer Science and Business Informatics / PR / 184.713
- Introduction to Knowledge-based Systems / VU / 184.737
- Logic for Knowledge Representation / UE / 184.699
- Logic for Knowledge Representation / VO / 184.208
- Project in Computational Logic / PR / 184.191
- Project in Computer Science 1 / PR / 184.718
- Project in Computer Science 2 / PR / 184.719
- Quantum Computing / VU / 192.070
- Refutation Systems / VO / 192.094
- Scientific Research and Writing / SE / 193.052
- Seminar for PhD Students / SE / 184.721
- Seminar in Knowledge Representation and Reasoning / SE / 184.712
- Seminar in Logic / SE / 184.264
- Seminar in Theoretical Computer Science / SE / 184.067
Projects
-
FAME: Formalizing and Managing Evolution in Model-Driven Engineering
2011 – 2014 / Vienna Science and Technology Fund (WWFT) -
Methods and Methodologies for Developing Answer-Set Programs
2009 – 2013 / Austrian Science Fund (FWF) -
Formal Methods for Optimizing Nonmonotonic Logic Programs
2005 – 2008 / Austrian Science Fund (FWF)
Publications
- A Gentzen-Type Calculus for Disjunctive Default Logic. / S. Pkhakadze, H. Tompits / Talk: Gödel's Legacy: Does Future lie in the Past?, Wien; 2019-07-25 - 2019-07-27
- A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur / S. Pkhakadze, H. Tompits / Talk: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference, Philadelphia, USA; 2019-06-03 - 2019-06-07; in: "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings", Lecture Notes in Computer Science, 11481 (2019), ISBN: 978-3-030-20528-7; 163 - 177
- Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language / T. Kain, H. Tompits / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings", Lecture Notes in Computer Science, 11468 (2019), ISBN: 978-3-030-19569-4; 559 - 575
- Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs / T. Geibinger, H. Tompits / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Proceedings", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 542 - 558