Keyphrases
- sound and complete with respect
- model theoretic
- conditional logic
- formal semantics
- multiple views
- first order logic
- semantic information
- default reasoning
- logical formulas
- single view
- higher order
- logic programming
- predicate calculus
- data integration
- decision procedures
- database
- action theories
- viewpoint
- update semantics
- term rewriting
- databases