Searching for "Tableau Systems for SHIO and SHIQ." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Tableau Systems for SHIO and SHIQ
by Jan Hladik, Jörg Model, Chair For Automata Theory, Tu Dresden
…1 Introduction Tableau Systems for SHIO and SHIQ Jan Hladik ∗ ,Jörg Model Chair for Automata…
Cited by 6 (0 self) – Add To MetaCart

Also electronically available as CEUR Publication at
by Volker Haarslev, Ralf Möller, Volker Haarslev, Ralf Möller, Carlos Areces, Diego Calvanese, Enrico Franconi, Volker Haarslev, Ian Horrocks, Ralf Küsters, Carsten Lutz, Deborah L. Mcguinness, Ralf Möller, Peter Patel-schneider — 2004
…-Based Approach to Concept Abduction and Contraction in ALN ...... 158 Jan Hladik, Jörg Model Tableau Systems…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB