Intuitionistic Interpretation of Deductive Databases with Incomplete Information.
Fangqing DongLaks V. S. LakshmananPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- incomplete information
- deductive databases
- integrity constraints
- logic programming
- semantic query optimization
- query evaluation
- partial information
- disjunctive deductive databases
- fixpoint
- missing information
- autonomous agents
- first order logic
- query answering
- theorem prover
- closed world assumption
- relational model
- stable models
- classical logic
- high level
- logic programs
- multiagent systems
- model theoretic
- dynamic environments
- general purpose