Login / Signup
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs.
Maximiliano Klemen
Pedro López-García
John P. Gallagher
José F. Morales
Manuel V. Hermenegildo
Published in:
CoRR (2019)
Keyphrases
</>
logic programs
logic programming
stable models
computational properties
high level
background knowledge
answer sets
fixpoint
logic program updates
inductive logic programming
answer set programming
partial deduction