Near-Equational and Equational Systems of Logic for Partial Functions II.
William CraigPublished in: J. Symb. Log. (1989)
Keyphrases
- theorem proving
- equational theories
- digital circuits
- artificial intelligence
- theorem prover
- management system
- building blocks
- basis functions
- learning systems
- intelligent systems
- relational databases
- information systems
- machine learning
- distributed systems
- retrieval systems
- modal logic
- web services
- website
- multi valued
- horn clauses
- learning algorithm