 | 2008 |
|---|
| 16 |       | Martin Knechtel,
Jan Hladik,
Frithjof Dau:
Using OWL DL Reasoning to Decide about authorization in RBAC.
OWLED 2008 |
| 15 | | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
Automata can show PSpace results for description logics.
Inf. Comput. 206(9-10): 1045-1056 (2008) |
| 2007 |
|---|
| 14 | | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
Blocking Automata for PSPACE DLs.
Description Logics 2007 |
| 13 |  | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
SI! Automata Can Show PSPACE Results for Description Logics.
LATA 2007: 67-78 |
| 12 | | Jan Hladik:
To and fro between tableaus and automata for description logics.
Dresden University of Technology 2007: 1-161 |
| 2006 |
|---|
| 11 | | Jan Hladik,
Rafael Peñaloza:
PSPACE Automata for Description Logics.
Description Logics 2006 |
| 2005 |
|---|
| 10 | | Jan Hladik:
A Generator for Description Logic Formulas.
Description Logics 2005 |
| 2004 |
|---|
| 9 | | Jan Hladik,
Jörg Model:
Tableau Systems for SHIO and SHIQ.
Description Logics 2004 |
| 8 | | Jan Hladik:
A Tableau System for the Description Logic SHIO.
IJCAR Doctoral Programme 2004 |
| 7 | | Jan Hladik:
Spinoza's Ontology.
WSPI 2004 |
| 2003 |
|---|
| 6 | | Jan Hladik,
Ulrike Sattler:
A Translation of Looping Alternating Automata into Description Logics.
CADE 2003: 90-105 |
| 5 | | Jan Hladik:
Reasoning about Nominals with FaCT and RACER.
Description Logics 2003 |
| 4 | | Franz Baader,
Jan Hladik,
Carsten Lutz,
Frank Wolter:
From Tableaux to Automata for Description Logics.
LPAR 2003: 1-32 |
| 3 | | Franz Baader,
Jan Hladik,
Carsten Lutz,
Frank Wolter:
From Tableaux to Automata for Description Logics.
Fundam. Inform. 57(2-4): 247-279 (2003) |
| 2002 |
|---|
| 2 | | Jan Hladik:
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.
TABLEAUX 2002: 145-159 |
| 2000 |
|---|
| 1 | | Jan Hladik:
Implementing the n-ary Description Logic GF1¯.
Description Logics 2000: 163-172 |
Data released under the ODC-BY 1.0 license — See also our legal information page