Login / Signup
Towards Refinement of Definite Logic Programs.
Henryk Jan Komorowski
Silvia Trcek
Published in:
ISMIS (1994)
Keyphrases
</>
logic programs
refinement operators
logic programming
answer sets
fixpoint
stable models
answer set programming
background knowledge
normal logic programs
computational properties
logic program updates
partial deduction
prolog programs
strong equivalence
stable model semantics
answer set semantics
horn clauses
loop formulas
recursive programs
inductive logic programming
term rewriting systems
data model