1000 search results - page 45 / 200 » An RDF Query Language based on Logic Programming |
143
click to vote
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
131
click to vote
COMMA
2008
15 years 4 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
116
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
129
click to vote
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
140
Voted
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...