Type Analysis of Logic Programs in the Presence of Type Definitions.

Published in: PEPM (1995)

Keyphrases

logic programs
logic programming
type definitions
answer sets
answer set programming
fixpoint
computational properties
general purpose
stable models
normal logic programs
high level
inductive logic programming
stable model semantics
loop formulas
partial deduction