Sciweavers

906 search results - page 44 / 182
» Linking Theories of Concurrency
Sort
View
FUIN
2010
116views more  FUIN 2010»
15 years 3 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
ICSE
2012
IEEE-ACM
13 years 8 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
RAS
1998
81views more  RAS 1998»
15 years 5 months ago
Towards a theory of delegation for agent-based systems
In this paper a theory of delegation is presented. There are at least three reasons for developing such a theory. First, one of the most relevant notions of "agent" is b...
Cristiano Castelfranchi, Rino Falcone
AAMAS
2010
Springer
15 years 6 months ago
Modeling appraisal in theory of mind reasoning
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
Mei Si, Stacy C. Marsella, David V. Pynadath
MANSCI
2006
122views more  MANSCI 2006»
15 years 6 months ago
Stochastic Dominance and Cumulative Prospect Theory
Second order stochastic dominance characterizes risk-averse preferences represented by expected utility. This paper supplies second order stochastic dominance conditions that char...
Manel Baucells, Franz H. Heukamp