2638 search results - page 37 / 528 » Frameworks for Reasoning about Agent Based Systems |
CONCUR
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
AMI
2008
Springer
14 years 11 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
AAAI
2008
15 years 1 days ago
2008
Applications of Semantic Web technologies often require the management of metalevel information--that is, information that provides additional detail about domain-level informatio...
DALT
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...