Logic for problem solving.
Robert KowalskiStephen W. SmoliarPublished in: ACM SIGSOFT Softw. Eng. Notes (1982)
Keyphrases
- information processing
- solving problems
- case based reasoning
- multi valued
- artificial intelligence
- logic programming
- real time
- deontic logic
- modal logic
- hierarchical problem solving
- explanation based learning
- complex problem solving
- automated reasoning
- genetic algorithm
- classical logic
- analogical reasoning
- general intelligence
- asynchronous circuits
- sound and complete axiomatization
- distributed problem solving
- epistemic logic
- predicate logic
- knowledge level
- search engine
- databases