Model-Theoretic Specifications and Back-and-Forth Equivalences.
Gianfranco MascariAntonio VincenziPublished in: ADT (1990)
Keyphrases
- model theoretic
- operational semantics
- deductive databases
- proof theoretic
- description logics
- decision procedures
- logic programs
- formal semantics
- default reasoning
- fixpoint
- relational algebra
- mental states
- data model
- high level
- database
- probabilistic reasoning
- integrity constraints
- automated reasoning
- expert systems
- machine learning
- modal logic
- theorem proving
- nonmonotonic reasoning
- data warehouse
- special case