Experiments with ROO: A Parallel Automated Deduction System.
Ewing L. LuskWilliam McCunePublished in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Keyphrases
- automated deduction
- theorem proving
- theorem prover
- inference rules
- parallel processing
- parallel implementation
- first order logic
- shared memory
- deductive databases
- logic programming
- information technology
- databases
- data sets
- active learning
- evolutionary algorithm
- relational databases
- parallel computing
- parallel computation
- parallel execution