Sciweavers

433 search results - page 76 / 87
» Agent Communication Languages for Information-Centric Agent ...
Sort
View
ECAI
2006
Springer
15 years 1 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr
EUC
2006
Springer
15 years 1 months ago
Scalable Message Routing for Mobile Software Assistants
In this paper we define an algorithm for location-independent communication of mobile software Personal Assistants (PAs). The algorithm extends the Query Server with Caching algor...
Pawel T. Wojciechowski
LFCS
2007
Springer
15 years 3 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
IVA
2005
Springer
15 years 3 months ago
Marve: A Prototype Virtual Human Interface Framework for Studying Human-Virtual Human Interaction
Human to virtual human interaction is the next frontier in interface design, particularly for tasks that are social or collaborative in nature. Several embodied interface agents ha...
Sabarish Babu, Stephen Schmugge, Raj Inugala, Srin...
AAAI
2006
14 years 11 months ago
Large Scale Knowledge Base Systems: An Empirical Evaluation Perspective
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...
Yuanbo Guo, Abir Qasem, Jeff Heflin