Sciweavers

179 search results - page 3 / 36
» MINERVA - A Dynamic Logic Programming Agent Architecture
Sort
View
DALT
2006
Springer
13 years 10 months ago
A Dynamic Logic Programming Based System for Agents with Declarative Goals
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
Vivek Nigam, João Leite
AIIA
1999
Springer
13 years 10 months ago
An Implementation for Abductive Logic Agents
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesar...
ICMAS
1998
13 years 7 months ago
An Agent Architecture for Dynamic Re-Design of Agents
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
DALT
2004
Springer
13 years 10 months ago
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
L. Robert Pokorny, C. R. Ramakrishnan
FAABS
2004
Springer
13 years 11 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang