BibSonomy
::
author
::
Voronkov ::
tag
user
group
author
concept
BibTeX key
search:all
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
bookmarks
publications
(1)
previous | 1 | next
Practical Reasoning for Expressive Description Logics
Ian
Horrocks
and Ulrike
Sattler
and Stephan
Tobies
Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99)
161--180 (1999)
to
description
logic
by
aljsanchez
and
3 other people
on 2007-11-08 11:12:57
|
URL
|
BibTeX
previous | 1 | next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
curry
dblp
description
first-order
functional-logic+programming
graph+parsing
imported
logic
parser+combinators
reasoning