878 search results - page 48 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
PRDC
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
102
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
106
click to vote
DEON
2006
Springer
15 years 3 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
106
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...