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
2181
search results - page 147 / 437
»
Ontologies and Description Logics
Sort
relevance
views
votes
recent
update
View
thumb
title
144
click to vote
RR
2010
Springer
265
views
Automated Reasoning
»
more
RR 2010
»
Inconsistency-Tolerant Semantics for Description Logics
15 years 4 months ago
Download
acsi-project.haifa.il.ibm.com
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...
claim paper
Read More »
130
click to vote
DLOG
2010
115
views
Automated Reasoning
»
more
DLOG 2010
»
A Compatible Approach to Temporal Description Logics
15 years 4 months ago
Download
www.cs.uwaterloo.ca
Norihiro Kamide
claim paper
Read More »
118
click to vote
DLOG
2010
109
views
Automated Reasoning
»
more
DLOG 2010
»
Second-Order Description Logics: Semantics, Motivation, and a Calculus
15 years 4 months ago
Download
sisinflab.poliba.it
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
claim paper
Read More »
108
click to vote
DLOG
2009
97
views
Automated Reasoning
»
more
DLOG 2009
»
On Higher-Order Description Logics
15 years 4 months ago
Download
web.comlab.ox.ac.uk
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...
claim paper
Read More »
134
click to vote
DLOG
2009
79
views
Automated Reasoning
»
more
DLOG 2009
»
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results
15 years 4 months ago
Download
dl.kr.org
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
claim paper
Read More »
« Prev
« First
page 147 / 437
Last »
Next »
