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
12745
search results - page 134 / 2549
»
Automating test automation
Sort
relevance
views
votes
recent
update
View
thumb
title
90
click to vote
DLOG
2004
101
views
Automated Reasoning
»
more
DLOG 2004
»
Tableau Systems for SHIO and SHIQ
15 years 6 months ago
Download
sunsite.informatik.rwth-aachen.de
Jan Hladik, Jörg Model
claim paper
Read More »
123
Voted
DLOG
2004
93
views
Automated Reasoning
»
more
DLOG 2004
»
Finite Satisfiability of UML Class Diagrams by Constraint Programming
15 years 6 months ago
Download
www.dis.uniroma1.it
Toni Mancini
claim paper
Read More »
112
click to vote
DLOG
2004
112
views
Automated Reasoning
»
more
DLOG 2004
»
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?")
15 years 6 months ago
Download
sunsite.informatik.rwth-aachen.de
Jeff Z. Pan, Ian Horrocks
claim paper
Read More »
98
click to vote
DLOG
2006
155
views
Automated Reasoning
»
more
DLOG 2006
»
The new ICOM Ontology Editor
15 years 6 months ago
Download
www.inf.unibz.it
Pablo R. Fillottrani, Enrico Franconi, Sergio Tess...
claim paper
Read More »
120
click to vote
DLOG
2006
192
views
Automated Reasoning
»
more
DLOG 2006
»
Binary Absorption in Tableaux-Based Reasoning for Description Logics
15 years 6 months ago
Download
sunsite.informatik.rwth-aachen.de
Alexander K. Hudek, Grant E. Weddell
claim paper
Read More »
« Prev
« First
page 134 / 2549
Last »
Next »