Bi-inductive Structural Semantics: (Extended Abstract).
Patrick CousotRadhia CousotPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- extended abstract
- business intelligence
- structural constraints
- formal semantics
- structural analysis
- inductive learning
- structural information
- decision making
- semantic information
- inductive reasoning
- database
- structural models
- model theoretic
- transformation rules
- specification language
- semantic representation
- default reasoning
- big data
- conceptual model
- object oriented
- case study
- neural network