Search Sciweavers | Sciweavers

1087 search results - page 24 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 7 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 5 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

15 years 3 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

15 years 2 months ago

Download www.mindswap.org

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

claim paper

Read More »

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers