Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.
José MeseguerPublished in: CoRR (2024)
Keyphrases
- inductive reasoning
- datalog programs
- contextual information
- function symbols
- data analysis
- fixpoint
- conjunctive queries
- context sensitive
- rewriting queries using views
- multiresolution
- rewriting rules
- user defined
- database
- natural language processing
- query rewriting
- contextual knowledge
- rewrite rules
- preprocessing
- machine learning
- queries using views
- databases