A residualizing semantics for the partial evaluation of functional logic programs.
Elvira AlbertMichael HanusGermán VidalPublished in: Inf. Process. Lett. (2003)
Keyphrases
- logic programs
- partial evaluation
- logic programming
- explanation based generalization
- stable models
- stable model semantics
- fixpoint semantics
- answer set semantics
- normal logic programs
- answer set programming
- model theoretic
- computational properties
- answer sets
- declarative semantics
- deductive databases
- strong equivalence
- logic program updates
- semantics for logic programs
- fixpoint
- inductive logic programming
- reasoning tasks
- semantics of logic programs
- nonmonotonic reasoning
- background knowledge
- minimal models
- fixed point semantics
- domain theory
- default logic
- autoepistemic logic
- default reasoning
- knowledge representation
- artificial intelligence
- databases
- semantic properties
- expert systems
- operational semantics
- database