More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics.
Annalisa BossiSandro EtallePublished in: META (1994)
Keyphrases
- stable model semantics
- transformation rules
- dynamic logic
- logic programming
- stable models
- formal semantics
- fixpoint semantics
- control flow
- programming language constructs
- normal logic programs
- logic programs
- conceptual model
- parameter estimation
- least squares
- fixpoint
- operational semantics
- automatic programming
- high level
- information systems
- declarative semantics
- database languages
- data sets
- database