Person profile

Ao.Univ.Prof. Mag.rer.nat. Dr.techn.

Hans Tompits

Phone +43 1 58801 18463

E-Mailhans.tompits@tuwien.ac.at

Assigned

E192-03

Business Card

https://orcid.org/0000-0001-5673-2460

Research area

Name	Management/Member
Research Unit of Knowledge Based Systems	Member

Profile

Research profile (German):

Grundlagenforschung in den Bereichen logikbasierte künstliche Intelligenz, computationale Logik und logische Programmierung (Answer-Set Programmierung)

Research profile (English):

Basic Research in logic-based Artificial Intelligence, computational Logic and logical Programming (Answer-Set Programming)

Link to CV:

www.kr.tuwien.ac.at/staff/tompits/

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
Computationale Logik	computational logic
Deklarative Logikprogrammierung	declarative logic programming
Komplexität	computational complexity
Nichtmonotones Schliessen	nonmonotonic reasoning
Wissensrepräsentation	knowledge representation

Research Focal Areas

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	100

Faculty focus

Faculty focus	Percentage
Logic andComputation	100

Area of expertise according to Statistik Austria

Code	Area of expertise (German)	Area of expertise (English)
1122	Artificial Intelligence	Artificial intelligence
1111	Logik	Logic
1108	Informatik	Informatics

Reference Projects

Title	Funding program	Function	Website	From	Until
National, FFG - Austrian Research Promotion Agency
Doctoral Program Logical Methods in Computer Science	structural program		logic-cs.at/phd/	01.10.2014

Membership in committee

Committee	Description	Location	Function	From-To	Comment
Committees at the TU Wien	Mitglied der Studienkommission Informatik	Austria		-

Journal participation

Title	Classification	Referenced	Function	From-To	Comment
Reviewer in diversen Fachjournalen im Bereich der AI und computationaler Logik	unclassified	Yes	Reviewer	-

Events / Conferences

Category	Collaboration	Event name	Function/Comments
Scientific Conference / Symposium	Organisator_in	19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)	Conference Chair
Scientific Conference / Symposium	Organisator_in	20th Workshop on Logic Programming (WLP 2006)	Program Chair
Scientific Conference / Symposium	Organisator_in	15th International Workshop on Non-Monotonic Reasoning 2014	Program Co-Chair
Scientific Conference / Symposium	Organisator_in	12th International Workshop on Non-Monotonic Reasoning (NMR 2008)	Track Co-Chair for the Special Session on Preferences
Scientific Conference / Symposium	Organisator_in	29. International Conference on Logic Programming (ICLP 2013)	Workshop Chair
Scientific Conference / Symposium	Organisator_in	25th Workshop on Logic Programming (WLP 2011)	Workshop Chair