Compiling Prioritized Circumscription into Extended Logic Programs.

Toshiko Wakaki Ken Satoh

Published in: IJCAI (1) (1997)

Keyphrases

extended logic programs
default logic
answer sets
logic programming
nonmonotonic reasoning

incomplete information
defeasible logic
logic programs
conflict resolution
access control policies

default reasoning
answer set semantics
answer set programming
nonmonotonic logics
modal logic

access control
multi agent systems
fixpoint
normal logic programs
software engineering