Sciweavers

4008 search results - page 236 / 802
» An expressive language of signatures
Sort
View
ACL
1990
15 years 7 months ago
Multiple Underlying Systems: Translating User Requests into Programs to Produce Answers
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
Robert J. Bobrow, Philip Resnik, Ralph M. Weisched...
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 21 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 28 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
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