Review of "Logic for Problem Solving by Robert Kowalski", North Holland, NY.
Keith PricePublished in: SIGART Newsl. (1980)
Keyphrases
- artificial intelligence
- case based reasoning
- solving problems
- event calculus
- modal logic
- information processing
- automated reasoning
- logic programming
- classical logic
- lecture notes in artificial intelligence
- hierarchical problem solving
- complex problem solving
- logical framework
- reasoning tasks
- multi valued
- explanation based learning
- engineering design
- knowledge acquisition
- literature review
- learning classifier systems
- situation calculus
- domain independent
- ai systems
- predicate logic
- tropical cyclone
- domain knowledge