Models for the Substitution Axiom of UNITY Logic.
Georg ReichweinJosé Luiz FiadeiroPublished in: Inf. Process. Lett. (1993)
Keyphrases
- statistical models
- machine learning
- statistical model
- knowledge representation
- modeling framework
- modal logic
- complex systems
- model selection
- probabilistic model
- hidden markov models
- real time
- logic programming
- prior knowledge
- artificial neural networks
- feature selection
- artificial intelligence
- inference rules
- real world