Assumption based multi-valued semantics for extended logic programs.
Daniel StamatePublished in: ISMVL (2006)
Keyphrases
- extended logic programs
- valued semantics
- default logic
- logic programming
- defeasible logic
- nonmonotonic reasoning
- incomplete information
- conflict resolution
- answer sets
- default reasoning
- logic programs
- fixed point
- consistent query answering
- artificial intelligence
- modal logic
- constraint satisfaction
- access control policies
- np complete
- search space