The Logic of the evidential Conditional.
Eric RaidlAndrea IaconaVincenzo CrupiPublished in: Rev. Symb. Log. (2022)
Keyphrases
- conditional logic
- logic programming
- classical logic
- computational properties
- modal logic
- random field model
- proof theory
- multi valued
- predicate logic
- defeasible logic
- nonmonotonic inference
- asynchronous circuits
- database
- probabilistic logic
- information retrieval
- dempster shafer
- probability theory
- linear logic
- dynamic logic
- nonmonotonic reasoning
- multi agent systems
- logic synthesis