Login / Signup
Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas.
Sebastian Danicic
Robert M. Hierons
Michael R. Laurence
Published in:
CoRR (2017)
Keyphrases
</>
conceptual schema
schema mappings
databases
intended meaning
logic programming
declarative semantics
semantic information
stable model semantics
formal semantics
data sources
semantically equivalent
computer programs
first order logic
deductive databases
minimal models
logic programs
semantics of logic programs