Keyphrases
- markov chain
- cellular automata
- random variables
- logic programming
- multi valued
- sound and complete axiomatization
- optical fiber
- fiber optic
- classical logic
- automated reasoning
- modal logic
- artificial intelligence
- neural network
- real time
- logical framework
- state space
- computational properties
- digital circuits
- predicate logic
- waveguide
- learning algorithm
- closely spaced