State-space, problem-reduction, and theorem proving—Some relationships

Vanderbrug, G. | Minker, J.

Feb-1-1975–Classics

CACM 18:107-115.

logic & formal reasoning, natural language, representation, (4 more...)

Feb-1-1975

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence
  - Cognitive Science > Problem Solving (0.69)
  - Representation & Reasoning (0.93)