Compiling Prioritized Circumscription into Extended Logic Programs.
Toshiko WakakiKen SatohPublished 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