Search Sciweavers | Sciweavers

1544 search results - page 11 / 309

» Automated Evaluation of Description Logic Reasoning Systems

127

click to vote

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

15 years 4 months ago

Download lat.inf.tu-dresden.de

Franz Baader, Marcel Lippmann, Hongkai Liu

claim paper

Read More »

125

click to vote

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

15 years 4 months ago

Download www.cs.uwaterloo.ca

Norihiro Kamide

claim paper

Read More »

104

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

On Higher-Order Description Logics

15 years 3 months ago

Download web.comlab.ox.ac.uk

Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...

claim paper

Read More »

121

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

15 years 3 months ago

Download dl.kr.org

Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...

claim paper

Read More »

142

click to vote

DLOG
2009

93views Automated Reasoning» more DLOG 2009»

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers