From Ordering Based Nonmonotonic Reasoning to Conditional Logics.
Luis Fariñas del CerroAndreas HerzigJérôme LangPublished in: ECAI (1992)
Keyphrases
- nonmonotonic reasoning
- conditional logic
- default reasoning
- belief revision
- logic programming
- defeasible reasoning
- nonmonotonic inference
- default logic
- higher order logic
- commonsense reasoning
- nonmonotonic logics
- partial order
- causal inference
- machine learning
- autoepistemic logic
- truth maintenance systems
- inheritance reasoning
- argumentation systems
- propositional logic
- default rules
- defeasible logic
- extended logic programs
- knowledge base
- artificial intelligence