Graded Similarity-Based Semantics for Nonmonotonic Inferences.
Lluís GodoRicardo Oscar RodríguezPublished in: Ann. Math. Artif. Intell. (2002)
Keyphrases
- multiple inheritance
- logic programming
- nonmonotonic logics
- default rules
- nonmonotonic reasoning
- autoepistemic logic
- model theoretic
- formal semantics
- default reasoning
- truth maintenance systems
- alternating time temporal logic
- complex objects
- disjunctive logic programming
- semantic information
- update semantics
- operational semantics
- minimal models
- object oriented
- default logic
- modal logic
- logic programs