Login / Signup
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs.
Francisco Bueno
Maria Garcia de la Banda
Manuel V. Hermenegildo
Published in:
PASCO (1994)
Keyphrases
</>
logic programs
logic programming
background knowledge
answer sets
inductive logic programming
fixpoint
natural language
relational databases
answer set programming
computational properties