Channels: From Logic to Probability.
Jeremy SeligmanPublished in: Formal Theories of Information (2009)
Keyphrases
- probability theory
- quantum computation
- multi channel
- probability distribution
- modal logic
- logic programming
- machine learning
- computational properties
- classical logic
- automated reasoning
- image sequences
- genetic algorithm
- communication channels
- conditional probabilities
- case study
- defeasible logic
- formal theory
- epistemic logic
- proof theory
- database