Login / Signup

A Logical Approach for Distributed Truth Maintenance.

Thilo C. Horstmann
Published in: EPIA (1993)
Keyphrases
  • truth maintenance
  • distributed systems
  • truth maintenance systems
  • lower bound