2638 search results - page 169 / 528 » Frameworks for Reasoning about Agent Based Systems |
202
click to vote
JSW
2008
15 years 6 months ago
2008
This paper presents a role-based agent teamwork language called RoB-MALLET (Role-Based Multi-Agent Logic Language for Encoding Teamwork). Roles have been used to form multi-agent t...
177
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
181
click to vote
LPNMR
2007
Springer
16 years 19 days ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
163
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
154
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...