Login / Signup
On Using Mode Input-output for Transforming Logic Programs.
Francis Alexandre
Khaled Bsaïes
Alain Quéré
Published in:
LOPSTR (1991)
Keyphrases
</>
input output
logic programs
logic programming
state transition
answer sets
fixpoint
answer set programming
stable models
internal states
normal logic programs
partial deduction
computational properties
background knowledge
inductive logic programming
prolog programs
strong equivalence
term rewriting systems
ibm zenterprise
stable model semantics
horn clauses
linear programming
minimal models
logic program updates