Characterizing Frame Definability in Team Semantics via the Universal Modality.

Katsuhiko Sano Jonni Virtema

Published in: WoLLIC (2015)

Keyphrases

multi modal
fixed point
propositional logic
agent oriented programming language
semantic information
formal semantics
logic programming
video frames
reference frame
conceptual graphs
cooperating agents
medical images
frame rate
database
image frames
robot soccer
robotic soccer
description logics