Login / Signup
Transformation Rules and Strategies for Functional-Logic Programs.
Ginés Moreno
Published in:
AI Commun. (2002)
Keyphrases
</>
logic programs
transformation rules
recursive programs
logic programming
answer sets
stable models
fixpoint
answer set programming
metamodel
background knowledge
partial deduction
program synthesis
model driven
normal logic programs
case study
inductive logic programming
response time
multi agent systems
database