C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Design and Implementation of Multiple-Context Truth Maintenance System with Binary Decision Diagram.
Hiroshi G. Okuno
Osamu Shimokuni
Hidehiko Tanaka
Published in:
IEA/AIE (1996)
Keyphrases
</>
contextual information
truth maintenance systems
knowledge based systems
np complete
model checking
symbolic reasoning