1000 search results - page 119 / 200 » An RDF Query Language based on Logic Programming |
124
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
148
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
145
click to vote
VRML
2003
ACM
15 years 10 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
140
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
165
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
In this paper a TV recommender system called AVATAR (AdVAnce Telematic search of Audiovisual contents by semantic Reasoning) is presented. This tool uses the experience gained in ...