4212 search results - page 348 / 843 » Rights Expression Languages |
182
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
186
click to vote
CSLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
277
click to vote
ESOP
2004
Springer
16 years 3 days ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
168
click to vote
KI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
206
click to vote
PADL
2004
Springer
16 years 2 days ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...