One-and-a-halfth-order Logic.

Murdoch James Gabbay Aad Mathijssen

Published in: J. Log. Comput. (2008)

Keyphrases

data sets
decision trees
logic programming
database
real world
data mining
image processing
website
image sequences
multiresolution
expressive power
modal logic