Towards Fast Nominal Anti-unification of Letrec-Expressions.
Manfred Schmidt-SchaußDaniele Nantes-SobrinhoPublished in: CADE (2023)
Keyphrases
- anti unification
- higher order
- analogy making
- first order logic
- inductive learning
- inductive logic programming
- facial expressions
- mathematical expressions
- knowledge representation
- feature space
- natural language
- expressive power
- background knowledge
- artificial intelligence
- natural language processing
- computational properties
- cognitive abilities