Keyphrases
- formal theory
- computational properties
- logical framework
- modal operators
- formal language
- formal logic
- modal logic
- knowledge representation formalisms
- classical logic
- formal model
- predicate logic
- logic programming
- operational semantics
- monte carlo
- asynchronous circuits
- causal reasoning
- proof theory
- multi valued
- data sets
- probability theory
- probabilistic reasoning
- conceptual model
- theoretical framework
- programming language
- reinforcement learning
- machine learning
- neural network