First-Order Glue.

Miltiadis Kokkonidis

Published in: J. Log. Lang. Inf. (2008)

Keyphrases

higher order
first order logic
software package
database
artificial intelligence
face recognition
horn clauses
stochastic dominance
feature selection
artificial neural networks
model theoretic
quantifier elimination
linear temporal logic