Interpreting Connexive Principles in Coherence-Based Probability Logic.
Niki PfeiferGiuseppe SanfilippoPublished in: ECSQARU (2021)
Keyphrases
- probability theory
- quantum computation
- modal logic
- artificial intelligence
- asynchronous circuits
- set theory
- theoretical framework
- design principles
- predicate logic
- nonmonotonic logics
- computational properties
- databases
- machine learning
- logic programming
- probability distribution
- defeasible logic
- logic synthesis
- natural deduction
- website
- formal theory
- optimal solution
- software engineering
- posterior probability
- confidence level
- classical logic
- automated reasoning
- building blocks
- first order logic
- conditional probabilities