Sciweavers

2088 search results - page 138 / 418
» The SPARK Agent Framework
Sort
View
AOSE
2007
Springer
15 years 10 months ago
Generation of Repair Plans for Change Propagation
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
Khanh Hoa Dam, Michael Winikoff
ECAI
2006
Springer
15 years 10 months ago
Towards a Logic of Agency and Actions with Duration
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...
Nicolas Troquard, Laure Vieu
AAAI
2008
15 years 8 months ago
Nonmonotonic Modes of Inference
In this paper we investigate nonmonotonic `modes of inference'. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic co...
Victor Jauregui
EPIA
2005
Springer
16 years 14 hour ago
Logical Implementation of Uncertain Agents
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe ...
ESAW
2005
Springer
16 years 13 hour ago
Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
Oguz Dikenelli, Riza Cenk Erdur, Geylani Kardas, &...