Sciweavers

981 search results - page 61 / 197
» Semantics for an Agent Communication Language
Sort
View
RR
2007
Springer
15 years 3 months ago
Proof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
Nick Bassiliades, Grigoris Antoniou, Guido Governa...
DALT
2005
Springer
15 years 3 months ago
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
Kaiyu Wan, Vasu S. Alagar
ATAL
2008
Springer
14 years 11 months ago
A cooperation-based approach for evolution of service ontologies
Communication among agents requires a common vocabulary to facilitate successful information exchange. One way to achieve this is to assume the existence of a common ontology amon...
Murat Sensoy, Pinar Yolum
PPDP
2010
Springer
14 years 7 months ago
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...
Thierry Martinez
ACISP
1998
Springer
15 years 2 months ago
A Solution to Open Standard of PKI
PKI Public Key Infrastructure is fundamental for many security applications on the network. However, there are so many di erent kinds of PKI at current stage and they are not comp...
Qi He, Katia P. Sycara, Zhongmin Su