Electronic Notes in Theoretical Computer Science, Volume 48
Declarative Programming - Selected Papers from AGP 2000
La Habana (CUBA), December 4-6, 2000
Thom W. Frühwirth
: On the number of rule applications in constraint programs.
: Constraint Based Coordination of Autonomous Agents.
: Probabilistic behaviours of reactive agents.