Probability and Symmetric Logic.
Michal Gil SanchezZalán GyenisLeszek WronskiPublished in: J. Philos. Log. (2023)
Keyphrases
- probability theory
- quantum computation
- modal logic
- logic programming
- machine learning
- classical logic
- probability distribution
- real time
- inference rules
- rendezvous search
- propositional dynamic logic
- highest probability
- asynchronous circuits
- predicate logic
- automated reasoning
- knowledge representation
- website
- learning algorithm
- neural network