Book Reviews: Logic for Applications by Anil Nerode and Richard A. Shore.
Erkan TinVarol AkmanPublished in: SIGACT News (1995)
Keyphrases
- modal logic
- logic programming
- predicate logic
- classical logic
- logical framework
- machine learning
- multiscale
- computational properties
- proof theory
- neural network
- united kingdom
- truth values
- nonmonotonic logics
- set theory
- multi valued
- automated reasoning
- united states
- natural language
- information systems
- computer vision
- search engine
- artificial intelligence