Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types.

Alejandro Serrano Pedro López-García Manuel V. Hermenegildo

Published in: CoRR (2013)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
stable models
computational properties
description logics
background knowledge
inductive logic programming
reasoning tasks
fixpoint
normal logic programs