Approximating the Success Set of Logic Programs Using Constrained Regular Types.

Published in: ACSC (2003)

Keyphrases

logic programs
stable models
logic programming
answer set programming
definite clause
background knowledge
inductive logic programming
answer sets
horn clauses
fixpoint
partial deduction
term rewriting systems
natural language
prolog programs