ITEM METADATA RECORD
Title: The relation between ID-logic and answer set programming
Authors: Gilis, David # ×
Issue Date: 2002
Conference: Nonmonotonic Reasoning, Answer Set Programming and Constraints location:Schloss Dagstuhl, Germany date:September 15-20, 2002
Abstract: ID-Logic and Answer Set Programming are two formalisms coping with in-
complete knowledge. Answer Set Programming has already been intensively
studied, resulting in good knowledge about pros and cons of this formalism and
in an ecient implementation of a solver, the SMODELS system. ID-Logic is
more recent. It is based on the concept of human knowledge. We present in
this talk a transformation from an ID-Logic and Answer Set Programming are two formalisms coping with in-
complete knowledge. Answer Set Programming has already been intensively
studied, resulting in good knowledge about pros and cons of this formalism and
in an ecient implementation of a solver, the SMODELS system. ID-Logic is
more recent. It is based on the concept of human knowledge. We present in
this talk a transformation from an ID-Logic theory to a general logic program
such that the models of the rst theory correspond to the stable models of the
program resulting from the transformation.D-Logic theory to a general logic program
such that the models of the rst theory correspond to the stable models of the
program resulting from the transformation.
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

 


All items in Lirias are protected by copyright, with all rights reserved.