Login / Signup
Massively Parallel Assumption-Based Truth Maintenance.
Michael Dixon
Johan de Kleer
Published in:
AAAI (1988)
Keyphrases
</>
massively parallel
logic programming language
assumption based truth maintenance
fine grained
parallel computing
high performance computing
pairwise
inference rules
parallel computers
truth maintenance systems
software engineering
parallel machines
expert systems