Logics of Ignorance and Being Wrong.
David R. GilbertEkaterina KubyshkinaMattia PetroloGiorgio VenturiPublished in: Log. J. IGPL (2022)
Keyphrases
- expressive power
- modal logic
- propositional dynamic logic
- conditional logic
- propositional calculus
- epistemic logic
- three dimensional
- data sets
- classical logic
- default reasoning
- inheritance reasoning
- decision procedures
- computational properties
- higher order
- case study
- image processing
- computer vision
- information retrieval