Sciweavers

28 search results - page 3 / 6
» Decision-Theoretic, High-Level Agent Programming in the Situ...
Sort
View
ICCL
1998
IEEE
13 years 11 months ago
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
Peter Sewell, Pawel T. Wojciechowski, Benjamin C. ...
ECAI
2010
Springer
13 years 7 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
ECAI
2004
Springer
13 years 12 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
AAAI
2007
13 years 9 months ago
Expressiveness of ADL and Golog: Functions Make a Difference
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...
Gabriele Röger, Bernhard Nebel
AAAI
2000
13 years 8 months ago
The Emergence Engine: A Behavior Based Agent Development Environment for Artists
Many artists are intrigued by the creative possibilities presented to them by virtual worlds populated with autonomous agents. Artists wishing to explore these possibilities face ...
Eitan Mendelowitz