Search Sciweavers | Sciweavers

4617 search results - page 139 / 924

» Automation of Diagrammatic Reasoning

157

click to vote

DLOG
2006

118views Automated Reasoning» more DLOG 2006»

Euclidian Roles in Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

In the current paper we investigate the role of Euclidian roles in Description Logics.

Giorgos Stoilos, Giorgos B. Stamou

claim paper

Read More »

121

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 7 months ago

Download www.aaai.org

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

claim paper

Read More »

132

click to vote

DLOG
1996

99views Automated Reasoning» more DLOG 1996»

The K-Rep System Architecture

15 years 7 months ago

Download www.inf.unibz.it

Robert A. Weida, Eric Mays, Robert Dionne, Meir La...

claim paper

Read More »

129

click to vote

CSL
2010
Springer

194views Automated Reasoning» more CSL 2010»

Complexity Results for Modal Dependence Logic

15 years 7 months ago

Download drops.dagstuhl.de

Modal dependence logic was introduced very recently by V

Peter Lohmann, Heribert Vollmer

claim paper

Read More »

108

click to vote

DLOG
2009

87views Automated Reasoning» more DLOG 2009»

A System for Retrieving Top-k Candidates to Job Positions

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers