Equational Anti-unification over Absorption Theories.
Mauricio Ayala-RincónDavid M. CernaAndres Felipe Gonzalez BarraganTemur KutsiaPublished in: IJCAR (2) (2024)
Keyphrases
- anti unification
- higher order
- analogy making
- first order logic
- inductive logic programming
- inductive learning
- equational theories
- theorem proving
- theoretical framework
- computational properties
- background knowledge
- expressive power
- theorem prover
- cognitive psychology
- bayesian networks
- knowledge acquisition
- human cognition
- low level
- learning algorithm