Quantifying over events in probability logic: an introduction.
Stanislav O. SperanskiPublished in: Math. Struct. Comput. Sci. (2017)
Keyphrases
- probability theory
- event detection
- probability distribution
- logic programming
- event recognition
- quantum computation
- neural network
- modal logic
- data mining
- conditional probabilities
- event sequences
- temporal patterns
- classical logic
- first order logic
- computational properties
- nonmonotonic logics
- digital circuits
- delay insensitive