Sciweavers

265 search results - page 31 / 53
» Operational Semantics for Agent Communication Languages
Sort
View
118
Voted
ECOOP
2006
Springer
15 years 7 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...
99
Voted
ATAL
2009
Springer
15 years 10 months ago
A model for integrating dialogue and the execution of joint plans
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
Yuqing Tang, Timothy J. Norman, Simon Parsons
117
Voted
ATAL
2006
Springer
15 years 7 months ago
ANEMONE: an effective minimal ontology negotiation environment
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
139
Voted
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 3 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...
157
Voted
ENTCS
2002
157views more  ENTCS 2002»
15 years 3 months ago
Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
Michael Schroeder, Ralf Schweimeier