Sciweavers

101 search results - page 4 / 21
» Reasoning from Desires to Intentions: A Dialectical Framewor...
Sort
View
IAT
2009
IEEE
14 years 1 months ago
Simulating BDI-Based Wireless Sensor Networks
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
Alexis Morris, Paolo Giorgini, Sameh Abdel-Naby
INFSOF
2007
74views more  INFSOF 2007»
13 years 6 months ago
Software process improvement as emergent change: A structurational analysis
This paper presents a framework that draws on Structuration theory and dialectical hermeneutics to explicate the dynamics of software process improvement (SPI) in a packaged softw...
I. Allison, Yasmin Merali
AUSAI
2005
Springer
13 years 11 months ago
Model Checking for PRS-Like Agents
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
Wayne Wobcke, Marc Chee, Krystian Ji
ECAI
2004
Springer
13 years 11 months ago
Expectation Reasoning Using Regret and Disappointment
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
Bình Vu Trân, James Harland, Margaret...
ICAIL
2005
ACM
13 years 11 months ago
Arguing about cases as practical reasoning
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...