1050 search results - page 97 / 210 » The problem with rights expression languages |
CLIMA
2004
14 years 11 months ago
2004
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
106
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
ICDT
2003
ACM
15 years 3 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
CPAIOR
2009
Springer
15 years 4 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...