A Family of Graded Epistemic Logics.
Mario R. F. BenevidesAlexandre MadeiraManuel A. MartinsPublished in: LSFA (2017)
Keyphrases
- epistemic logic
- modal logic
- expressive power
- special case
- propositional dynamic logic
- belief change
- inference rules
- databases
- dynamic epistemic logic
- logical framework
- model checking
- decision trees
- artificial intelligence
- conditional logic
- neural network
- modal operators
- data sets
- belief revision
- expert systems
- bayesian networks
- default logic
- classical logic
- nonmonotonic logics
- propositional calculus
- database