Search Sciweavers | Sciweavers

441 search results - page 8 / 89

» Automated Benchmarking of Description Logic Reasoners

115

Voted

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 10 months ago

Download www.inf.unibz.it

Vitaliy L. Khizder, David Toman, Grant E. Weddell

claim paper

Read More »

138

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 8 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

116

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 7 months ago

Download www.mindswap.org

Christian Halaschek-Wiener, Bijan Parsia, Evren Si...

claim paper

Read More »

121

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

152

click to vote

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers