1000 search results - page 29 / 200 » An RDF Query Language based on Logic Programming |
149
click to vote
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
120
click to vote
IJCAI
2007
15 years 3 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
100
click to vote
IM
2007
15 years 3 months ago
2007
— Current research networks allow end users to build their own application-specific connections (lightpaths) and Optical Private Networks (OPNs). This requires a clear communica...
122
Voted
PADL
2005
Springer
15 years 8 months ago
2005
Springer
In this article we investigate a novel execution paradigm—ML-like pattern-matching— for XML query processing. We show that such a paradigm is well adapted for a common and freq...
125
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...