1246 search results - page 39 / 250 » Programming Organization-Aware Agents |
DALT
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
LOPSTR
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
IAT
2008
IEEE
14 years 5 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 (...
DALT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...