3 papers
cs.AI2000
A Consistency-Based Model for Belief Change: Preliminary Report
James Delgrande, Torsten Schaub
We present a general, consistency-based framework for belief change. Informally, in revising K by A, we begin with A and incorporate as much of K as consistently possible. Formally…
cs.AI2000
Logic Programs with Compiled Preferences
James P. Delgrande, Torsten Schaub, Hans Tompits
We describe an approach for compiling preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in which rules are named…
cs.AI2000
A Compiler for Ordered Logic Programs
James P. Delgrande, Torsten Schaub, Hans Tompits
This paper describes a system, called PLP, for compiling ordered logic programs into standard logic programs under the answer set semantics. In an ordered logic program, rules are…