| 2007 |
|---|
| 12 | EE | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
Blocking Automata for PSPACE DLs.
Description Logics 2007 |
| 2006 |
|---|
| 11 | EE | Jan Hladik,
Rafael Peñaloza:
PSPACE Automata for Description Logics.
Description Logics 2006 |
| 2005 |
|---|
| 10 | EE | Jan Hladik:
A Generator for Description Logic Formulas.
Description Logics 2005 |
| 2004 |
|---|
| 9 | EE | Jan Hladik,
Jörg Model:
Tableau Systems for SHIO and SHIQ.
Description Logics 2004 |
| 8 | EE | Jan Hladik:
A Tableau System for the Description Logic SHIO.
IJCAR Doctoral Programme 2004 |
| 7 | EE | Jan Hladik:
Spinoza's Ontology.
WSPI 2004 |
| 2003 |
|---|
| 6 | EE | Jan Hladik,
Ulrike Sattler:
A Translation of Looping Alternating Automata into Description Logics.
CADE 2003: 90-105 |
| 5 | EE | Jan Hladik:
Reasoning about Nominals with FaCT and RACER.
Description Logics 2003 |
| 4 | EE | Franz Baader,
Jan Hladik,
Carsten Lutz,
Frank Wolter:
From Tableaux to Automata for Description Logics.
LPAR 2003: 1-32 |
| 3 | EE | 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 | EE | Jan Hladik:
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.
TABLEAUX 2002: 145-159 |
| 2000 |
|---|
| 1 | EE | Jan Hladik:
Implementing the n-ary Description Logic GF1¯.
Description Logics 2000: 163-172 |
