Sciweavers

256 search results - page 17 / 52
» agents 1997
Sort
View
AGENTS
1997
Springer
14 years 3 months ago
Real-Time Control of Attention and Behavior in a Logical Framework
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
Ian Horswill
AAAI
1997
14 years 4 days ago
Qualitative Rigid Body Mechanics
We present a theory of qualitative rigid body mechanics and describe a program that uses this theory to compute qualitative dynamic simulations.1 The program works directly from a...
Thomas F. Stahovich, Randall Davis, Howard E. Shro...
EDOC
1997
IEEE
14 years 3 months ago
Electronic contract negotiation as an application niche for mobile agents
In this paper we propose electronic contract negotiation — a sub-part of the more general area of electronic commerce — as an example application for mobile agents. We start b...
Frank Griffel, M. Tuan Tu, Malte Münke, Micha...
EPIA
1997
Springer
14 years 3 months ago
Vivid Agents Arguing about Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
Michael Schroeder, Iara de Almeida Móra, Jo...
HYBRID
1997
Springer
14 years 2 months ago
Hybrid Dynamic Programming
In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...
Wolf Kohn, Jeffrey B. Remmel