Conditional Doxastic Logic with Oughts and Concurrent Upgrades.
Roberto CiuniPublished in: LORI (2017)
Keyphrases
- epistemic logic
- conditional logic
- modal logic
- logic programming
- random field model
- defeasible logic
- model checking
- nonmonotonic inference
- deontic logic
- multi valued
- data sets
- predicate logic
- logical framework
- mutual exclusion
- formal theory
- nonmonotonic logics
- automated reasoning
- multi agent systems
- database systems
- genetic algorithm
- databases