Complete Analysis for Definite Logic Programs.

Dmitri Boulanger

Published in: WLP (1995)

Keyphrases

logic programs
logic programming
answer set programming
answer sets
computational properties
inductive logic programming
stable models
reasoning tasks
partial deduction