Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

Published in: Logic Programs, Norms and Action (2012)

Keyphrases

logic programs
logic programming
answer sets
stable models
answer set programming
fixpoint
partial deduction
term rewriting systems
background knowledge
computational properties
inductive logic programming
prolog programs
normal logic programs
logic program updates
stable model semantics
functional programs
answer set programs
model theoretic
reasoning about actions
horn clauses
loop formulas
semantics of logic programs