Towards a geometry deductive database prover.
Nuno BaetaPedro QuaresmaPublished in: Ann. Math. Artif. Intell. (2023)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- disjunctive deductive databases
- query evaluation
- semantic query optimization
- fixpoint
- event calculus
- integrity checking
- update propagation
- theorem prover
- closed world assumption
- declarative semantics
- model theoretic
- theorem proving
- semantics of logic programs