Search the dblp DataBase

Publications of Author

1. Jan Hladik
   A Tableau System for the Description Logic SHIO. [Citation Graph (0, 0)][DBLP]
   IJCAR Doctoral Programme, 2004, pp:- [Conf]
   
2. Jan Hladik, Ulrike Sattler
   A Translation of Looping Alternating Automata into Description Logics. [Citation Graph (0, 0)][DBLP]
   CADE, 2003, pp:90-105 [Conf]
   
3. Jan Hladik
   Implementing the n-ary Description Logic GF1¯. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2000, pp:163-172 [Conf]
   
4. Jan Hladik
   Reasoning about Nominals with FaCT and RACER. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2003, pp:- [Conf]
   
5. Jan Hladik
   A Generator for Description Logic Formulas. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2005, pp:- [Conf]
   
6. Jan Hladik, Jörg Model
   Tableau Systems for SHIO and SHIQ. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2004, pp:- [Conf]
   
7. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
   From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP]
   LPAR, 2003, pp:1-32 [Conf]
   
8. Jan Hladik
   Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2002, pp:145-159 [Conf]
   
9. Jan Hladik
   Spinoza's Ontology. [Citation Graph (0, 0)][DBLP]
   WSPI, 2004, pp:- [Conf]
   
10. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
    From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:247-279 [Journal]
    
11. Jan Hladik, Rafael Peñaloza
    PSPACE Automata for Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
    
12. 
    Blocking Automata for PSPACE DLs. [Citation Graph (, )][DBLP]
    
    
13. 
    Using OWL DL Reasoning to Decide about authorization in RBAC. [Citation Graph (, )][DBLP]