Scaling up logic-based truth maintenance systems via fact garbage collection

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1996, Pages 614-620

  Everett, John O ^a   Forbus, Kenneth D ^a  

^a NORTHWESTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BUFFER STORAGE; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; INFERENCE ENGINES;

FAST GARBAGE COLLECTION; INTELLIGENT LEARNING ENVIRONMENTS; TRUTH MAINTENANCE SYSTEMS;

KNOWLEDGE REPRESENTATION;

EID: 0030362554     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)