2638 search results - page 239 / 528 » Frameworks for Reasoning about Agent Based Systems |
224
click to vote
WOA
2004
15 years 8 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
157
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is to determine, online, all faults and states that explain the flow of observatio...
161
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
There are many studies on ABS and several frameworks for ABS have already been published. However, there are few frameworks that can enable agent-based simulation using large numb...
189
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
249
click to vote
ICETE
2004
15 years 8 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...