A Semantics for Conditionals with Default Negation.
Marco WilhelmChristian EichhornRichard NilandGabriele Kern-IsbernerPublished in: ECSQARU (2017)
Keyphrases
- default rules
- nonmonotonic inference
- conditional logic
- logic programming
- default reasoning
- default logic
- nonmonotonic reasoning
- default theories
- commonsense reasoning
- logic programs
- belief revision
- extended logic programs
- possibility theory
- proof theoretic
- compositional semantics
- derivation rules
- fixed point semantics
- incomplete information
- database systems
- formal semantics
- model theoretic
- fixpoint semantics
- modal logic
- stable model semantics
- deductive databases
- knowledge representation and reasoning
- semantics of logic programs
- declarative semantics
- dynamic aspects
- proof theory
- argumentation semantics
- normal logic programs
- answer sets
- answer set programming
- partial order
- autoepistemic logic
- predicate logic
- knowledge representation
- stable models