The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Hladik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.015secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002