Systems of Combinatory Logic Related to Predicative and 'Mildly Impredicative' Fragments of Quine's 'New Foundations'.
M. Randall HolmesPublished in: Ann. Pure Appl. Log. (1993)
Keyphrases
- intelligent systems
- closely related
- learning algorithm
- expert systems
- rewrite systems
- learning systems
- building blocks
- computer systems
- distributed systems
- management system
- user interface
- artificial neural networks
- neural network
- digital libraries
- multi agent
- website
- metadata
- information systems
- artificial intelligence
- genetic algorithm
- data mining