On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs.

Miguel Areias Ricardo Rocha

Published in: EPIA (2009)

Keyphrases

logic programs
logic programming
stable models
answer set programming
answer sets
normal logic programs
computational properties
fixpoint
fixpoint semantics
background knowledge
stable model semantics
term rewriting systems
inductive logic programming
reasoning tasks
prolog programs
horn clauses
strong equivalence