Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

josemgarcia's Haarslev:V [3 articles] Export

Recent papers posted to josemgarcia's library by the author Haarslev:V. You can also see everyone's Haarslev:V.

	On the Scalability of Description Logic Instance Retrieval [My Copy] Journal of Automated Reasoning, Vol. 41, No. 2. (2008), pp. 99-142. by Volker Haarslev, Ralf Möller posted to dl semantic by josemgarcia on 2009-06-25 09:05:11 as
	RACER System Description. [My Copy] In Automated Reasoning, First International Joint Conference, {IJCAR} 2001 (2001), pp. 701-706. by V. Haarslev, R. Möller posted to csur dea dl icsoc07 tools by josemgarcia on 2007-05-29 15:25:33 as
	Practical Reasoning in RACER with a Concrete Domain for Linear Inequations [My Copy] In International Workshop on Description Logics (2002) by V. Haarslev, R. Möller posted to icsoc07 by josemgarcia on 2007-05-29 15:25:33 as along with 1 person hci02

Note: You may cite this page as: http://www.citeulike.org/user/josemgarcia/author/Haarslev:V

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

dea	90
semantic	90
web-service	77
csur	69
icsoc07	37
discovery	30
nfpsla-soc2007	21
qos	21
tools	13
selection	8
dl	7
wsmo	7
owl-s	6
composition	5
cp	5
hybrid	5
agreement	2
swws09	2
iwqos08	2
transform	2
swws08	1
temporal	1
preferences	1
process	1
sparql	1

josemgarcia's Haarslev:V [3 articles] Export

josemgarcia's tags