research
∙
09/22/2020
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Paraconsistent logics constitute an important class of formalisms dealin...
share
research
∙
05/18/2017
Stepwise Debugging of Answer-Set Programs
We introduce a stepping methodology for answer-set programming (ASP) tha...
research
∙
01/15/2014
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages allow the programmer to split a pr...
research
∙
10/08/2012
Annotating Answer-Set Programs in LANA?
While past research in answer-set programming (ASP) mainly focused on th...
research
∙
12/05/2011
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming
Many applications require complexly structured data objects. Developing ...
research
∙
09/19/2011
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 ...
research
∙
09/19/2011
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...
research
∙
12/30/2009
A general approach to belief change in answer set programming
We address the problem of belief change in (nonmonotonic) logic programm...
research
∙
06/11/2009
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Equilibrium logic is an approach to nonmonotonic reasoning that extends ...
research
∙
07/19/2002
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...
research
∙
03/08/2000
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
In this paper, we outline the prototype of an automated inference tool, ...
research
∙
03/08/2000
Logic Programs with Compiled Preferences
We describe an approach for compiling preferences into logic programs un...
research
∙
03/08/2000
