Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

28

TABLEAUX
2000
Springer

favoriteEmaildiscussreport

96views Artificial Intelligence» more TABLEAUX 2000»

Tableau Algorithms for Description Logics

14 years 2 months ago

Tableau Algorithms for Description Logics

Download lat.inf.tu-dresden.de

Franz Baader

Real-time Traffic

Artificial Intelligence | TABLEAUX 2000 |

claim paper

Related Content

» Discrete Tableau Algorithms for FSHI

» Global Caching for Coalgebraic Description Logics

» A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description LogicBase...

» Consistency Checking for Extended Description Logics

» A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes

» A Tableau Algorithm for Description Logics with Concrete Domains and GCIs

» Tableau Caching for Description Logics with Inverse and Transitive Roles

» Parallelizing TableauxBased Description Logic Reasoning

» A Hybrid Tableau Algorithm for ALCQ

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	TABLEAUX
Authors	Franz Baader

Comments (0)