And-or graphs, theorem-proving graphs, and bi-directional search

Feb-1-1972–Classics/files/AI/classics/Machine_Intelligence_7/MI-7-Ch10-Kowalski.pdf

See also: Robert Kowalski. 1975. A Proof Procedure Using Connection Graphs. J. ACM 22, 4 (October 1975), 572-595.In B. Meltzer and D. Michie (Eds.), Machine intelligence 7. New York: Wiley, 167-194

derivation, logic programming, neural network, (19 more...)

Classics

Feb-1-1972

Classics PDF

Add feedback

Country:
- North America > United States > New York (0.24)

Genre:
- Research Report (0.46)

Technology:
- Information Technology > Artificial Intelligence
  - Cognitive Science > Problem Solving (0.99)
  - Representation & Reasoning
    - Logic & Formal Reasoning (1.00)
    - Search (1.00)

Duplicate Docs Excel Report

Title
10 And-or Graphs, Theorem-proving Graphs and Bi-directional Search

Similar Docs Excel Report more

Title	Similarity	Source
None found