Sciweavers

148 search results - page 19 / 30
» A Declarative Agent Programming Language Based on Action The...
Sort
View
AOSE
2001
Springer
14 years 5 days ago
Bringing Coherence to Agent Conversations
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
Roberto A. Flores, Robert C. Kremer
ATAL
2005
Springer
14 years 1 months ago
Optimal status sets of heterogeneous agent programs
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
Bogdan Stroe, V. S. Subrahmanian, Sudeshna Dasgupt...
LOPSTR
2009
Springer
14 years 2 months ago
Using Rewrite Strategies for Testing BUpL Agents
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
TOPLAS
2010
101views more  TOPLAS 2010»
13 years 6 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
DALT
2007
Springer
14 years 1 months ago
Towards Alternative Approaches to Reasoning About Goals
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
Patricia H. Shaw, Rafael H. Bordini