667 search results - page 43 / 134 » On Various Negative Translations |
186
click to vote
ICLP
2007
Springer
16 years 13 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
138
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
137
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
Politeness may play a role in tutorial interaction, including promoting learner motivation and avoiding negative affect. Politeness theory can account for this as a means of mitiga...
143
click to vote
WMPI
2004
ACM
15 years 11 months ago
2004
ACM
The ever increasing gap in processor and memory speeds has a very negative impact on performance. One possible solution to overcome this problem is the Kilo-instruction processor. ...
172
click to vote
RULEML
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...