Credulous vs. Sceptical Semantics for Ordered Logic Programs.
Dov M. GabbayEls LaenensDirk VermeirPublished in: KR (1991)
Keyphrases
- logic programs
- argumentation frameworks
- strong equivalence
- logic programming
- default logic
- answer set programming
- semantics of logic programs
- nonmonotonic reasoning
- answer sets
- answer set semantics
- stable models
- stable model semantics
- preferred semantics
- argumentation semantics
- default theories
- fixpoint
- autoepistemic logic
- default reasoning
- nonmonotonic logics
- fixpoint semantics
- model theoretic
- deductive databases
- reasoning tasks
- computational properties
- inductive logic programming
- logic program updates
- normal logic programs
- declarative semantics
- logic programming language
- object oriented
- argumentation systems
- semantics for logic programs
- classical logic
- prolog programs
- update semantics
- conditional logic
- computational problems
- partial deduction
- knowledge representation
- loop formulas