A Calculus for First Order Discourse Representation Structures.

Hans Kamp Uwe Reyle

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

Keyphrases

higher order
predicate calculus
data sets
multiscale
query language
image representation
computer mediated
feature representation
spatial structure
discourse structure
term rewriting
relation algebra