Understanding the global semantics of referential actions using logic rules.

Wolfgang May Bertram Ludäscher

Published in: ACM Trans. Database Syst. (2002)

Keyphrases

logic rules
integrity constraints
human beings
object recognition
computer vision
situation calculus
formal semantics
action language
artificial intelligence
relational databases