An assumption-based truth maintenance system

Feb-1-1986–Classics

Artificial Intelligence, 28:127-162

belief revision, logic programming, reasoner, (19 more...)

Feb-1-1986

Country:
- North America
  - Canada > Ontario
    - Toronto (0.15)
  - United States (0.28)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning
  - Belief Revision (0.87)
  - Logic & Formal Reasoning (0.69)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found