348 search results - page 43 / 70 » Formal ontologies for communicating agents |
91
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a context-aware middleware for multimodal dialogue applications. The middleware has the context tracing feature, which is the possibility of the middleware to ...
EASSS
2001
Springer
15 years 2 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...
FOIS
2008
14 years 11 months ago
2008
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual...
MATES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...