667 search results - page 43 / 134 » On Various Negative Translations |
113
Voted
ICLP
2007
Springer
15 years 7 months 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...
89
Voted
LICS
2005
IEEE
15 years 6 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...
82
Voted
AIED
2005
Springer
15 years 6 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...
84
Voted
WMPI
2004
ACM
15 years 6 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. ...
120
click to vote
RULEML
2004
Springer
15 years 6 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...