Hans Tompits

is this you? claim profile

Associate Professor of Computer Science at Vienna University of Technology, Ph.D. (Dr.techn.) in Computer Science, Vienna University of Technology

Featured Co-authors

Torsten Schaub
37 publications
Stefan Woltran
37 publications
Thomas Eiter
24 publications
Jörg Pührer
12 publications
Emilia Oikarinen
8 publications
David Pearce
7 publications
Marina De Vos
6 publications
Tomi Janhunen
6 publications
Johannes Oetsch
6 publications
Uwe Egly
5 publications
James P. Delgrande
4 publications

Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics

Paraconsistent logics constitute an important class of formalisms dealin...
09/22/2020 ∙ by Tobias Geibinger, et al. ∙ 0 ∙ share

read it
Stepwise Debugging of Answer-Set Programs

We introduce a stepping methodology for answer-set programming (ASP) tha...
05/18/2017 ∙ by Johannes Oetsch, et al. ∙ 0 ∙ share

read it
Modularity Aspects of Disjunctive Stable Models

Practically all programming languages allow the programmer to split a pr...
01/15/2014 ∙ by Tomi Janhunen, et al. ∙ 0 ∙ share

read it
Annotating Answer-Set Programs in LANA?

While past research in answer-set programming (ASP) mainly focused on th...
10/08/2012 ∙ by Marina De Vos, et al. ∙ 0 ∙ share

read it
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming

Many applications require complexly structured data objects. Developing ...
12/05/2011 ∙ by Johannes Oetsch, et al. ∙ 0 ∙ share

read it
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

In answer-set programming (ASP), the solutions of a problem are encoded ...
09/19/2011 ∙ by Christian Kloimüllner, et al. ∙ 0 ∙ share

read it
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report

We report about the current state and designated features of the tool Se...
09/19/2011 ∙ by Johannes Oetsch, et al. ∙ 0 ∙ share

read it
A general approach to belief change in answer set programming

We address the problem of belief change in (nonmonotonic) logic programm...
12/30/2009 ∙ by James Delgrande, et al. ∙ 0 ∙ share

read it
Characterising equilibrium logic and nested logic programs: Reductions and complexity

Equilibrium logic is an approach to nonmonotonic reasoning that extends ...
06/11/2009 ∙ by David Pearce, et al. ∙ 0 ∙ share

read it
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report

Nested logic programs have recently been introduced in order to allow fo...
07/19/2002 ∙ by David Pearce, et al. ∙ 0 ∙ share

read it
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

In this paper, we outline the prototype of an automated inference tool, ...
03/08/2000 ∙ by Uwe Egly, et al. ∙ 0 ∙ share

read it
Logic Programs with Compiled Preferences

We describe an approach for compiling preferences into logic programs un...
03/08/2000 ∙ by James P. Delgrande, et al. ∙ 0 ∙ share

read it
A Compiler for Ordered Logic Programs

This paper describes a system, called PLP, for compiling ordered logic p...
03/08/2000 ∙ by James P. Delgrande, et al. ∙ 0 ∙ share

read it