857 search results - page 66 / 172 » A Logic of Emotions for Intelligent Agents |
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
118
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
123
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
108
click to vote
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...
146
click to vote
AMAI
2004
Springer
15 years 1 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...