Massively Parallel Assumption-Based Truth Maintenance.
Michael DixonJohan de KleerPublished in: NMR (1988)
Keyphrases
- massively parallel
- assumption based truth maintenance
- logic programming language
- parallel computing
- fine grained
- truth maintenance systems
- high performance computing
- logic programming
- parallel architectures
- parallel machines
- parallel computers
- artificial intelligence
- logic programs
- probabilistic model
- constraint logic programming