Potentiality of Parallelism in Logic.
Franz J. KurfessPublished in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Keyphrases
- logic programming
- classical logic
- parallel processing
- modal logic
- parallel computing
- sound and complete axiomatization
- asynchronous circuits
- parallel computation
- computational power
- artificial intelligence
- expressive power
- data sets
- massively parallel
- multi valued
- knowledge representation
- information systems
- parallel execution
- fine grain
- proof theory
- data mining