3653 search results - page 393 / 731 » Learning of Partial Languages |
201
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
213
click to vote
HASKELL
2005
ACM
16 years 11 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
208
click to vote
WWW
2005
ACM
16 years 10 days ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
156
click to vote
TYPES
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
185
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...