81 search results - page 5 / 17 » Semantics for multi-agent only knowing: extended abstract |
AMC
2005
14 years 9 months ago
2005
A convertible authenticated encryption scheme allows a designated receiver to recover and verify a message simultaneously, during which the recipient can prove the dishonesty of t...
87
Voted
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
112
click to vote
ESWS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
133
click to vote
LPKR
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
Information workers often have to balance many tasks and interruptions. In this work, we explore peripheral display techniques that improve multitasking efficiency by helping user...