One is all you need: Second-order Unification without First-order Variables.
David M. CernaJulian ParsertPublished in: CoRR (2024)
Keyphrases
- higher order
- function symbols
- first order logic
- universally quantified
- horn clauses
- high order
- logic programs
- relevant variables
- markov random field
- variable selection
- pairwise
- equational theories
- state variables
- decision trees
- finite sets
- stochastic dominance
- quantifier elimination
- logical formulas
- desirable properties
- real time
- normal form
- random variables
- genetic algorithm
- data mining