Concepedia

Hans Tompits

HT

37

Publications

2.2K

Citations

23

H-Index

2000

Active since

Affiliations

TU Wien(Current)

University of Potsdam

Simon Fraser University

Griffith University

Sabancı Üniversitesi

Hans Tompits is an author at TU Wien specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationSemanticsAnswer Set ProgrammingLogic ProgrammingSemantic WebProgram Analysis

Publications per year

2000–2013

37

Publications

37

Combining answer set programming with description logics for the Semantic Web

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz et al. · Artificial Intelligence · 2008 · 367 citations

Natural Language Processing, Engineering, Information Retrieval +11

Combining answer set programming with description logics for the semantic web

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer et al. · 2004 · 251 citations

A uniform integration of higher-order reasoning and external evaluations in answer-set programming

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer et al. · 2005 · 219 citations

A framework for compiling preferences in logic programs

James P. Delgrande, Torsten Schaub, Hans Tompits · Theory and Practice of Logic Programming · 2003 · 129 citations

Applied Logic, Engineering, Program Analysis +14

On properties of update sequences based on causal rejection

Thomas Eiter, Michael Fink, Giuliana Sabbatini et al. · Theory and Practice of Logic Programming · 2002 · 121 citations

Applied Logic, Engineering, Logic Programs +17

Rows per page

1–5 of 37