Search Sciweavers | Sciweavers

In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...

Giorgos Stoilos, Giorgos B. Stamou

claim paper

Read More »

111

click to vote

DLOG
2009

93views Automated Reasoning» more DLOG 2009»

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

15 years 23 days ago

Download web.comlab.ox.ac.uk

Boris Konev, Dirk Walther, Frank Wolter

claim paper

Read More »

113

click to vote

ESSLLI
2009
Springer

219views Automated Reasoning» more ESSLLI 2009»

Description Logics for Relative Terminologies

15 years 23 days ago

Download klarman.synthasite.com

Szymon Klarman

claim paper

Read More »

click to vote

JAR
2011

63views more JAR 2011»

ABox Abduction in the Description Logic ALC

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers