Sciweavers

348 search results - page 3 / 70
» Formal ontologies for communicating agents
Sort
View
ESWS
2008
Springer
13 years 9 months ago
Semantic Web Technology for Agent Communication Protocols
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
Idoia Berges, Jesús Bermúdez, Alfred...
AO
2006
128views more  AO 2006»
13 years 8 months ago
Towards ontologies for formalizing modularization and communication in large software systems
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
Daniel Oberle, Steffen Lamparter, Stephan Grimm, D...
CCIA
2009
Springer
13 years 9 months ago
A Formalization of Trust Alignment
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
Andrew Koster, Jordi Sabater-Mir, W. Marco Schorle...
STORYTELLING
2005
Springer
14 years 2 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
FAABS
2004
Springer
14 years 8 days ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio