Sciweavers

1514 search results - page 98 / 303
» Cues to Common Knowledge
Sort
View
TCC
2007
Springer
116views Cryptology» more  TCC 2007»
16 years 27 days ago
Long-Term Security and Universal Composability
Abstract. Algorithmic progress and future technology threaten today’s cryptographic protocols. Long-term secure protocols should not even in future reveal more information to a...
Jörn Müller-Quade, Dominique Unruh
SAC
2004
ACM
16 years 7 days ago
Knowledge-based conversational agents and virtual storytelling
Abstract. We describe an architecture for building speech-enabled conversational agents, deployed as self-contained Web services, with ability to provide inference processing on ve...
Paul Tarau, Elizabeth Figa
NLDB
2004
Springer
16 years 4 days ago
A Generic Coordination Model for Pervasive Computing Based on Semantic Web Languages
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...
Amine Tafat, Michèle Courant, Béat H...
ATAL
2003
Springer
16 years 1 days ago
Distribution of goals addressed to a group of agents
The problem investigated in this paper is the distribution of goals addressed to a group of rational agents. Those agents are characterized by their ability (i.e. what they can do...
Laurence Cholvy, Christophe Garion
CSL
2006
Springer
15 years 10 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets