Sciweavers

36 search results - page 1 / 8
» Resource modalities in game semantics
Sort
View
LICS
2007
IEEE
13 years 11 months ago
Resource modalities in game semantics
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
Paul-André Melliès, Nicolas Tabareau
APAL
2010
111views more  APAL 2010»
13 years 5 months ago
Resource modalities in tensor logic
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
Paul-André Melliès, Nicolas Tabareau
ICMCS
2007
IEEE
167views Multimedia» more  ICMCS 2007»
13 years 11 months ago
Semantic Event Extraction from Basketball Games using Multi-Modal Analysis
In this paper, we present a novel multi-modal framework for semantic event extraction from basketball games based on webcasting text and broadcast video. We propose novel approach...
Yifan Zhang, Changsheng Xu, Yong Rui, Jinqiao Wang...
AAAI
2011
12 years 5 months ago
The Epistemic Logic Behind the Game Description Language
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
Ji Ruan, Michael Thielscher
LPAR
2001
Springer
13 years 9 months ago
Logical Omniscience and the Cost of Deliberation
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
Natasha Alechina, Brian Logan