Sciweavers

531 search results - page 67 / 107
» Using Abstraction for Planning in Sokoban
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
13 years 11 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
ATAL
1999
Springer
14 years 5 hour ago
Toward Team-Oriented Programming
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...
David V. Pynadath, Milind Tambe, Nicolas Chauvat, ...
ECAI
2010
Springer
13 years 8 months ago
Stream-Based Reasoning Support for Autonomous Systems
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
CAISE
2009
Springer
14 years 2 months ago
Deriving Information Requirements from Responsibility Models
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
Ian Sommerville, Russell Lock, Tim Storer, John Do...
IROS
2006
IEEE
141views Robotics» more  IROS 2006»
14 years 1 months ago
Experimental Analysis of Overhead Data Processing To Support Long Range Navigation
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
David Silver, Boris Sofman, Nicolas Vandapel, J. A...