A Reconstruction of Default Conditionals within Epistemic Logic.
Costas D. KoutrasChristos MoyzesChristos RantsoudisPublished in: Fundam. Informaticae (2019)
Keyphrases
- epistemic logic
- modal logic
- model checking
- default rules
- nonmonotonic inference
- inference rules
- conditional logic
- logical framework
- dynamic epistemic logic
- computation tree logic
- belief revision
- temporal logic
- multi agent systems
- multi faceted
- formal semantics
- nonmonotonic reasoning
- logic programming
- default logic
- situation calculus
- fuzzy sets
- object oriented
- artificial intelligence