Lax Logical Relations.

Gordon D. Plotkin John Power Donald Sannella Robert D. Tennent

Published in: ICALP (2000)

Keyphrases

logical structure
logical reasoning
databases
artificial intelligence
computer vision
higher order
semantic relations
logical theories
database
real time
natural language processing
attribute values
binary relations
truth values
logical properties
logical representation