1402 search results - page 178 / 281 » A Practical Agent Programming Language |
207
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
206
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
140
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
128
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
129
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the enviro...