A Deductive Database for Mathematical Formulas.
Stéphane DalmasMarc GaëtanoClaude HuchetPublished in: DISCO (1996)
Keyphrases
- mathematical formulas
- deductive databases
- mathematical expressions
- integrity constraints
- document images
- logic programming
- disjunctive deductive databases
- query evaluation
- fixpoint
- event calculus
- update propagation
- declarative semantics
- closed world assumption
- semantic query optimization
- logic programs
- semantics of logic programs
- datalog programs
- integrity checking
- database
- machine learning
- databases
- image processing
- artificial intelligence
- general logic programs