Sciweavers

454 search results - page 24 / 91
» Semantics of Agent Communication Languages for Group Interac...
Sort
View
CORR
2002
Springer
133views Education» more  CORR 2002»
13 years 7 months ago
Complete Axiomatizations for Reasoning About Knowledge and Time
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...
COSIT
2003
Springer
122views GIS» more  COSIT 2003»
14 years 27 days ago
Communicating Vague Spatial Concepts in Human-GIS Interactions: A Collaborative Dialogue Approach
: Natural language requests involving vague spatial concepts are not easily communicated to a GIS because the meaning of spatial concepts depends largely on the contexts (such as t...
Guoray Cai, Hongmei Wang, Alan M. MacEachren
AAMAS
2007
Springer
13 years 7 months ago
Modeling conversation policies using permissions and obligations
We describe our preliminary work in modeling conversation specifications and policies as positive/negative permissions and obligations. Our model is generic as it is independent o...
Lalana Kagal, Tim Finin
ACMACE
2008
ACM
13 years 9 months ago
MPML3D: agent authoring language for virtual worlds
This paper describes an authoring language for specifying communicative behavior and interaction of agents in virtual worlds. We focus on the popular three-dimensional (3D) multi-...
Sebastian Ullrich, Helmut Prendinger, Mitsuru Ishi...
IC
2004
13 years 9 months ago
A Markup Language for Generic User Interaction
Individuals are interested in the semantic and not necessarily in the presentation of services. The service interaction has to support the quality of the human senses, and since q...
Stephan Steglich, Bernd Mrohs