A Formalisation of Nominal α-equivalence with A and AC Function Symbols.
Mauricio Ayala-RincónWashington de Carvalho SegundoMaribel FernándezDaniele Nantes-SobrinhoPublished in: LSFA (2016)
Keyphrases
- function symbols
- logic programs
- first order logic
- normal form
- answer set programming
- logic programming
- horn clauses
- constraint programming
- consistency checking
- arc consistency
- knuth bendix
- equational theories
- reasoning tasks
- artificial intelligence
- automated reasoning
- constraint propagation
- inference rules
- probabilistic model
- machine learning