Sciweavers

AAMAS
2011
Springer
13 years 6 months ago
Reasoning about agent deliberation
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
AAAI
2007
14 years 1 months ago
A Logic of Agent Programs
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
ICRA
1999
IEEE
119views Robotics» more  ICRA 1999»
14 years 3 months ago
Programming in the Architecture for Agile Assembly
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
Jay Gowdy, Alfred A. Rizzi
AGENTS
2000
Springer
14 years 3 months ago
Air traffic control and alert agent
This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...
Henry Hexmoor, Tim Heng
LOPSTR
2009
Springer
14 years 6 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...