Redundancy Elimination and Loop Checks for Logic Programs

Filomena Ferrucci Giuliano Pacini Maria I. Sessa

Published in: Inf. Comput. (1995)

Keyphrases

logic programs
loop formulas
logic programming
stable models
answer sets
fixpoint
background knowledge
answer set programming
computational properties
stable model semantics
inductive logic programming
horn clauses
answer set semantics
prolog programs
logic program updates
reasoning tasks
expressive power