From Logic Programs Updates to Action Description Updates.

José Júlio Alferes Federico Banti Antonio Brogi

Published in: CLIMA (2004)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
fixpoint
stable models
inductive logic programming
background knowledge
computational properties
normal logic programs
term rewriting systems
stable model semantics
prolog programs
strong equivalence