Logics for reasoning about degrees of confirmation.
Sejla DautovicDragan DoderZoran OgnjanovicPublished in: J. Log. Comput. (2021)
Keyphrases
- expressive power
- modal logic
- modal operators
- formal theory
- qualitative reasoning
- spatial reasoning
- classical logic
- data sets
- propositional calculus
- case study
- propositional dynamic logic
- proof theory
- nonmonotonic logics
- computational properties
- inference rules
- temporal logic
- mobile robot
- expert systems
- search algorithm
- similarity measure
- social networks
- search engine
- neural network