Modular reasoning for deterministic parallelism.
Mike DoddsSuresh JagannathanMatthew J. ParkinsonPublished in: POPL (2011)
Keyphrases
- reasoning systems
- parallel processing
- probabilistic reasoning
- knowledge base
- reasoning process
- automated reasoning
- shared memory
- real time
- parallel computing
- derivation rules
- analogical reasoning
- probabilistic logic
- reasoning tasks
- qualitative reasoning
- default reasoning
- black box
- logic programs
- distributed systems
- knowledge representation
- decision making
- neural network
- databases