DLOG
2011
12 years 8 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
ER
2008
Springer
13 years 6 months ago
2008
Springer
In this paper we present the architectural blueprint and a prototypical implementation of Oryx, a visual environment that facilitates zero-installation for creating, sharing, and d...
WCFLP
2005
ACM
13 years 10 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...