Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection.

John O. Everett Kenneth D. Forbus

Published in: AAAI/IAAI, Vol. 1 (1996)

Keyphrases

garbage collection
truth maintenance systems
flash memory
knowledge representation
space efficient
memory management
constraint propagation
object oriented databases
nonmonotonic reasoning
database systems
relational databases
embedded systems
propositional logic