Network Truth Maintenance for Deduction and Modelling.

Alan M. Thompson

Published in: IJCAI (1979)

Keyphrases

truth maintenance
communication networks
network structure
theorem proving
cognitive model
truth maintenance systems