Parallel Implementation of Guarded Horn Clauses.
Handong WuPublished in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Keyphrases
- training data
- horn clauses
- parallel implementation
- first order logic
- logic programs
- inference rules
- inductive logic programming
- learning algorithm
- parallel implementations
- parallel computers
- parallel computation
- database queries
- function symbols
- logic programming
- databases
- random variables
- answer set programming
- np complete
- computer architecture
- distributed memory
- real time