667 search results - page 43 / 134 » On Various Negative Translations |
193
click to vote
ICLP
2007
Springer
16 years 26 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...
147
click to vote
LICS
2005
IEEE
16 years 8 days 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...
140
click to vote
AIED
2005
Springer
16 years 7 days 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...
157
click to vote
WMPI
2004
ACM
16 years 3 days 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. ...
188
click to vote
RULEML
2004
Springer
16 years 1 days 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...