Keyphrases
- set theory
- automated reasoning
- computational properties
- bayesian networks
- data driven
- maximum likelihood
- logic programming
- posterior probability
- bayesian learning
- gaussian processes
- modal logic
- classical logic
- natural deduction
- information systems
- deontic logic
- bayesian decision
- formal theory
- real time
- predicate logic
- operational semantics
- bayesian inference
- probabilistic model
- genetic algorithm