411 search results - page 69 / 83 » Logic Programming for Evolving Agents |
SAC
1994
ACM
14 years 1 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
TOOLS
1998
IEEE
14 years 2 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
AAAI
1990
13 years 11 months ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...