A Generic Declarative Diagnoser for Normal Logic Programs.

Published in: LPAR (1994)

Keyphrases

normal logic programs
logic programs
stable models
answer sets
default reasoning
logic programming
high level
knowledge representation
domain specific
knowledge representation and reasoning
answer set semantics
deductive databases
fixpoint
stable model semantics
incomplete information