9370 search results - page 98 / 1874 » An Abstract Notion of Application |
110
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
143
Voted
AMW
2009
15 years 1 months ago
2009
This paper presents an abstract data model for visualizing RDF data based on the notion of nested graphs. Our study gives theoretical results that shows directions to enhance the r...
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
62
Voted
LOGCOM
2002
15 years 10 days ago
2002
In this paper we define the notion of a block algebra, which is based upon a spatial application of Allen's interval algebra. In the
136
click to vote
ICCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...