Search Sciweavers | Sciweavers

1544 search results - page 14 / 309

» Automated Evaluation of Description Logic Reasoning Systems

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

14 years 27 days ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

ML
2010
ACM

175views Machine Learning» more ML 2010»

Concept learning in description logics using refinement operators

13 years 2 months ago

Download knoesis.wright.edu

With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...

Jens Lehmann, Pascal Hitzler

claim paper

Read More »

click to vote

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

13 years 11 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

13 years 9 months ago

Download dl.kr.org

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

claim paper

Read More »

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers