Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas.
Michael R. LaurencePublished in: J. Log. Algebraic Methods Program. (2007)
Keyphrases
- piecewise linear
- semi infinite programming
- logic programming
- semantically equivalent
- intended meaning
- stable model semantics
- databases
- transfer function
- formal semantics
- piecewise constant
- conceptual schema
- declarative semantics
- sound and complete axiomatization
- linear functions
- weight vector
- schema mappings
- semantic information
- data integration
- knowledge base