Reasoning from incomplete knowledge in a procedural deductive system

Feb-1-1975–Classics

Also see book version (1980), IJCAI-77. Also Rep. No. TR-347, AI Laboratory, Massachusetts Institute of Technology.

artificial intelligence, knowledge, logic & formal reasoning, (16 more...)

Feb-1-1975

Country:
- North America > United States > Massachusetts (0.24)

Technology:
- Information Technology > Artificial Intelligence
  - Cognitive Science > Problem Solving (1.00)
  - Representation & Reasoning
    - Expert Systems (0.93)
    - Logic & Formal Reasoning (1.00)
    - Rule-Based Reasoning (0.93)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found