Sciweavers

132 search results - page 8 / 27
» Process Algebra for Agent Communication: A General Semantic ...
Sort
View
CORR
2011
Springer
173views Education» more  CORR 2011»
13 years 2 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
ATAL
2003
Springer
14 years 21 days ago
Programming agent deliberation: an approach illustrated using the 3APL language
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
Mehdi Dastani, Frank S. de Boer, Frank Dignum, Joh...
AIMSA
2008
Springer
14 years 1 months ago
The Agent Modeling Language (AMOLA)
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
Nikolaos I. Spanoudakis, Pavlos Moraitis
ICDT
2010
ACM
180views Database» more  ICDT 2010»
14 years 4 months ago
Foundations of SPARQL Query Optimization
We study fundamental aspects related to the efficient processing of the SPARQL query language for RDF, proposed by the W3C to encode machine-readable information in the Semantic W...
Michael Schmidt, Michael Meier, Georg Lausen
ATAL
2007
Springer
14 years 1 months ago
Cooperative evolution of service ontologies
Most of the proposed approaches in automatic service selection assume the existence of a common ontology among communicating agents. However, this assumption becomes difficult to...
Murat Sensoy, Pinar Yolum