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

John O. Everett*, Kenneth D Forbus

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Fingerprint

Dive into the research topics of 'Scaling up logic-based truth maintenance systems via fact garbage collection'. Together they form a unique fingerprint.

INIS

Computer Science