Semantics for Reasoning with Contradictory Extended Logic Programs.
Anastasia AnalytiSakti PramanikPublished in: GULP-PRODE (1) (1994)
Keyphrases
- extended logic programs
- logic programming
- defeasible logic
- reasoning tasks
- logic programs
- incomplete information
- answer sets
- conflict resolution
- knowledge representation and reasoning
- default logic
- nonmonotonic reasoning
- answer set semantics
- access control policies
- knowledge base
- legal reasoning
- knowledge representation
- answer set programming
- default reasoning
- probabilistic reasoning
- reasoning systems
- normal logic programs
- automated reasoning
- nonmonotonic logics
- expert systems
- access control
- programming language
- security policies
- deductive databases
- rule base
- privacy preserving
- fine grained
- case based reasoning