Logic programming in the numerical algorithm design for parallel computations.

Yuri P. Boglaev

Published in: Neural Parallel Sci. Comput. (1993)

Keyphrases

logic programming
computational complexity
search space
logic programs
inductive logic programming
answer set programming
computational logic
database
data mining
reasoning about actions