Login / Signup
Intelligent Forward Execution in Logic Programs.
Sudharsan R. Iyengar
Published in:
SEKE (1990)
Keyphrases
</>
logic programs
logic programming
answer sets
stable models
answer set programming
fixpoint
background knowledge
inductive logic programming
partial deduction
term rewriting systems
computational properties
normal logic programs
prolog programs
execution model
logic program updates
loop formulas