A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints.

Michael Codish Cohavit Taboch

Published in: ALP/HOA (1997)

Keyphrases

logic programs
termination analysis
logic programming
computational properties
semantic properties
answer sets
answer set programming
fixpoint
stable models
active rules
active databases
partial deduction
high level
normal logic programs
strong equivalence
stable model semantics
semantic web
semantic knowledge