Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
3358
search results - page 80 / 672
»
Dynamic Description Logics
Sort
relevance
views
votes
recent
update
View
thumb
title
98
click to vote
DLOG
2003
113
views
Automated Reasoning
»
more
DLOG 2003
»
Basic Description Logics
15 years 4 months ago
Download
www.inf.unibz.it
Franz Baader, Werner Nutt
claim paper
Read More »
106
click to vote
DLOG
2003
101
views
Automated Reasoning
»
more
DLOG 2003
»
e-Service Composition by Description Logics Based Reasoning
15 years 4 months ago
Download
sunsite.informatik.rwth-aachen.de
Daniela Berardi, Diego Calvanese, Giuseppe De Giac...
claim paper
Read More »
70
click to vote
DLOG
2003
70
views
Automated Reasoning
»
more
DLOG 2003
»
E-connections of Description Logics
15 years 4 months ago
Download
sunsite.informatik.rwth-aachen.de
Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Z...
claim paper
Read More »
81
click to vote
DLOG
2003
133
views
Automated Reasoning
»
more
DLOG 2003
»
An Introduction to Description Logics
15 years 4 months ago
Download
www.inf.unibz.it
Daniele Nardi, Ronald J. Brachman
claim paper
Read More »
55
click to vote
IJCAI
2001
66
views
Artificial Intelligence
»
more
IJCAI 2001
»
Identification Constraints and Functional Dependencies in Description Logics
15 years 4 months ago
Download
www.inf.unibz.it
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
claim paper
Read More »
« Prev
« First
page 80 / 672
Last »
Next »