Non-normal modal logics and conditional logics: Semantic analysis and proof theory.
Jinsheng ChenGiuseppe GrecoAlessandra PalmigianoApostolos TzimoulisPublished in: Inf. Comput. (2022)
Keyphrases
- semantic analysis
- conditional logic
- proof theory
- modal logic
- default reasoning
- default logic
- decision procedures
- reasoning problems
- temporal logic
- inference rules
- natural language
- nonmonotonic reasoning
- natural language processing
- belief revision
- default theories
- semantic information
- automated reasoning
- probabilistic logic
- situation calculus
- partial order
- probabilistic reasoning
- utility function
- search algorithm
- knowledge representation
- general purpose
- artificial intelligence
- domain knowledge
- keywords