Characterizing Relative Frame Definability in Team Semantics via the Universal Modality.

Katsuhiko Sano Jonni Virtema

Published in: WoLLIC (2016)

Keyphrases

multi modal
formal semantics
team members
medical images
agent oriented programming language
logic programming
fixed point
propositional logic
video frames
database
conceptual model
software engineering
semantic relationships
object oriented
image frames
mobile robot
cooperating agents
relational databases