4743 search results - page 608 / 949 » The PlusCal Algorithm Language |
143
click to vote
AIPS
2009
15 years 3 months ago
2009
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs w...
135
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
105
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
161
click to vote
CIKM
2009
Springer
15 years 3 months ago
2009
Springer
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...
144
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...