2638 search results - page 26 / 528 » Frameworks for Reasoning about Agent Based Systems |
AAAI
2007
15 years 6 hour ago
2007
Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a...
AIL
2005
14 years 9 months ago
2005
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissen...
ECSQARU
1999
Springer
15 years 1 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
80
Voted
COMPSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
100
Voted
IJWIS
2007
14 years 9 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...