Analysis of Polymorphically Typed Logic Programs Using ACI-Unification.

Jan-Georg Smaus

Published in: LPAR (2001)

Keyphrases

logic programs
logic programming
answer set programming
higher order
fixpoint
normal logic programs
background knowledge
stable models
answer sets
partial deduction
term rewriting systems
artificial intelligence
computational properties
function symbols
monotonicity constraints