Search Sciweavers | Sciweavers

2585 search results - page 37 / 517

» Automating Coherent Logic

click to vote

DLOG
2003

70views Automated Reasoning» more DLOG 2003»

E-connections of Description Logics

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Z...

claim paper

Read More »

123

click to vote

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

15 years 4 months ago

Download www.jair.org

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...

claim paper

Read More »

click to vote

DLOG
1997

98views Automated Reasoning» more DLOG 1997»

Discovering description logic assertions from database schemes

15 years 4 months ago

Download www.inf.unibz.it

Angela Bonifati, Luigi Palopoli, Domenico Sacc&agr...

claim paper

Read More »

123

click to vote

LPAR
2010
Springer

148views Automated Reasoning» more LPAR 2010»

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

15 years 27 days ago

Download www.cs.rice.edu

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

claim paper

Read More »

click to vote

DLOG
2009

79views Automated Reasoning» more DLOG 2009»

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

15 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers