Personenprofil

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

Hans Tompits

Telefon +43 1 58801 18463

E-Mailhans.tompits@tuwien.ac.at

Zugeordnet

E192-03

Visitenkarte

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

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Knowledge Based Systems	Mitglied

Profil

Forschungsprofil (Deutsch):

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

Forschungsprofil (Englisch):

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

URL des Lebenslaufes:

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

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Computationale Logik	computational logic
Deklarative Logikprogrammierung	declarative logic programming
Komplexität	computational complexity
Nichtmonotones Schliessen	nonmonotonic reasoning
Wissensrepräsentation	knowledge representation

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
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

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1122	Artificial Intelligence	Artificial intelligence
1111	Logik	Logic
1108	Informatik	Informatics

Referenzprojekte

Titel	Förderprogramm	Funktion	Webpage	Laufzeit von	Bis
National, FFG - österreichische Forschungsförderungsgesellschaft
Doctoral Program Logical Methods in Computer Science	Strukturprogramm		logic-cs.at/phd/	01.10.2014

Mitgliedschaft in Gremien

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
Gremien an der TU Wien	Mitglied der Studienkommission Informatik	Österreich		-

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis	Kommentar
Reviewer in diversen Fachjournalen im Bereich der AI und computationaler Logik	unklassifiziert	Ja	Reviewer	-

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Veranstaltungsname	Funktion/Bemerkungen
Wissenschaftliche Konferenz/Symposium	Organisator_in	19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)	Conference Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	20th Workshop on Logic Programming (WLP 2006)	Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	15th International Workshop on Non-Monotonic Reasoning 2014	Program Co-Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	12th International Workshop on Non-Monotonic Reasoning (NMR 2008)	Track Co-Chair for the Special Session on Preferences
Wissenschaftliche Konferenz/Symposium	Organisator_in	29. International Conference on Logic Programming (ICLP 2013)	Workshop Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	25th Workshop on Logic Programming (WLP 2011)	Workshop Chair