N-axioms Parallel Unification.
Marco BelliaM. Eugenia OcchiutoPublished in: Fundam. Informaticae (2003)
Keyphrases
- parallel processing
- higher order
- probabilistic model
- knowledge base
- parallel hardware
- similarity measure
- scheduling problem
- parallel implementation
- theorem proving
- distributed systems
- distributed memory machines
- distributed processing
- distributed memory
- massively parallel
- shared memory
- logic programs
- real world
- general purpose
- search algorithm
- database systems
- image segmentation
- decision making