1000 search results - page 129 / 200 » An RDF Query Language based on Logic Programming |
118
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
213
click to vote
LISP
2006
15 years 2 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
137
Voted
CIKM
2011
Springer
14 years 2 months ago
2011
Springer
Traditional information retrieval techniques based on keyword search help to identify a ranked set of relevant documents, which often contains many documents in the top ranks that...
127
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
116
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...