Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.
José MeseguerStephen SkeirikPublished in: WRLA@ETAPS (2020)
Keyphrases
- inductive reasoning
- datalog programs
- contextual information
- function symbols
- fixpoint
- data analysis
- cognitive functions
- multiresolution
- logic programs
- information retrieval
- rewriting rules
- user defined
- conjunctive queries
- neural network
- context aware
- preprocessing
- equivalence relation
- context sensitive
- symmetry breaking
- machine learning