803 search results - page 20 / 161 » A Query Language for Logic Architectures |
SIGMOD
1997
ACM
13 years 12 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
DLOG
2011
12 years 11 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...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
We propose a mediator architecture that allows a learning system to retrieve learning objects from heterogeneous repositories. A mediating component accepts queries formulated in a...
RCC
2002
13 years 7 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
GCC
2003
Springer
14 years 27 days ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...