Iterated Conditionals, Trivalent Logics, and Conditional Random Quantities.
Lydia CastronovoGiuseppe SanfilippoPublished in: SUM (2022)
Keyphrases
- conditional logic
- modal logic
- default reasoning
- nonmonotonic inference
- belief revision
- nonmonotonic reasoning
- knowledge representation and reasoning
- expressive power
- databases
- inheritance reasoning
- proof theoretic
- temporal logic
- proof theory
- logic programming
- default logic
- logic programs
- programming language
- evolutionary algorithm
- objective function
- random field model
- knowledge base
- genetic algorithm
- information retrieval