Quasi Conjunction and p-Entailment in Nonmonotonic Reasoning.
Angelo GilioGiuseppe SanfilippoPublished in: SMPS (2010)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- logic programs
- commonsense reasoning
- default logic
- nonmonotonic logics
- classical logic
- conditional logic
- answer set programming
- belief revision
- probabilistic logic
- autoepistemic logic
- programming language
- deductive databases
- proof theoretic
- knowledge base
- fixpoint
- possibility theory
- nonmonotonic inference
- defeasible reasoning
- knowledge representation
- np complete
- causal inference
- minimal models
- default theories
- default rules
- inheritance reasoning
- probabilistic reasoning
- argumentation systems
- abductive reasoning
- defeasible logic
- knowledge representation and reasoning
- extended logic programs
- general purpose
- high level