Addendum to "Choiceless Polynomial Time": Ann. Pure Appl. Logic 100 (1999) 141-187.
Andreas BlassYuri GurevichSaharon ShelahPublished in: Ann. Pure Appl. Log. (2001)
Keyphrases
- artificial neural networks
- special case
- using artificial neural networks
- logic programming
- modal logic
- neural network
- classical logic
- computational complexity
- truth table
- discrete geometry
- predicate logic
- automated reasoning
- back propagation
- worst case
- recurrent neural networks
- computational properties
- np hardness
- abductive reasoning
- epistemic logic
- dnf formulas
- proof theory
- feed forward neural networks
- logical framework
- learning algorithm
- genetic algorithm
- data sets