Combining higher-order abstract syntax with first-order abstract syntax in ATS.

Kevin Donnelly Hongwei Xi

Published in: MERLIN (2005)

Keyphrases

higher order
high level
predicate calculus
natural language
pairwise
high order
low level
real time
markov random field
higher level
knowledge representation
syntactic semantic
precisely defined
first order logic
natural images
relational databases
decision trees
information systems
data mining