Inference of Well-Typings for Logic Programs with Application to Termination Analysis.

Maurice Bruynooghe John P. Gallagher Wouter Van Humbeeck

Published in: SAS (2005)

Keyphrases

logic programs
logic programming
answer sets
stable models
termination analysis
answer set programming
fixpoint
inductive logic programming
normal logic programs
partial deduction
knowledge representation
distributed systems
active databases
computational properties
strong equivalence