Erratum to "Elimination of unbounded quantifiers for some poly-regular groups of infinite rank" [Ann. Pure Appl. Logic 149 (1-3) (2007) 40-80].
Philip ScowcroftPublished in: Ann. Pure Appl. Log. (2013)
Keyphrases
- artificial neural networks
- using artificial neural networks
- modal logic
- logic programming
- back propagation
- neural network
- classical logic
- application of artificial neural networks
- ann models
- proof theory
- regular languages
- predicate logic
- inference rules
- recurrent neural networks
- knowledge base
- multi valued
- logical framework
- neural network model
- defeasible logic
- database
- epistemic logic
- deontic logic
- neural nets