Login / Signup
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