Sciweavers

4212 search results - page 235 / 843
» Rights Expression Languages
Sort
View
211
Voted
APLAS
2010
ACM
15 years 5 months ago
Type Inference for Sublinear Space Functional Programming
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
Ugo Dal Lago, Ulrich Schöpp
PEPM
2007
ACM
16 years 20 days ago
Bidirectional interpretation of XQuery
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
Dongxi Liu, Zhenjiang Hu, Masato Takeichi
IAT
2007
IEEE
16 years 26 days ago
Coordination in Introspective Multi-Agent Systems
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...
Yasmine Charif, Nicolas Sabouret
170
Voted
ECAI
2004
Springer
15 years 12 months ago
Compilation of LTL Goal Formulas into PDDL
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
Stephen Cresswell, Alexandra M. Coddington
177
Voted
COOPIS
2002
IEEE
15 years 11 months ago
Querying XML Sources Using an Ontology-Based Mediator
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...
Bernd Amann, Catriel Beeri, Irini Fundulaki, Miche...