933 search results - page 43 / 187 » Multi-paradigm Declarative Languages |
160
Voted
DEXA
2011
Springer
14 years 3 months ago
2011
Springer
In this article we present RoSeS (Really Open Simple and Efficient Syndication), a generic framework for content-based RSS feed querying and aggregation. RoSeS is based on a data-...
160
click to vote
RR
2010
Springer
15 years 1 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
141
Voted
ASP
2003
Springer
15 years 9 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
178
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
136
click to vote
ENTCS
2010
14 years 10 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...