Search the dblp DataBase
Jan Hladik :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jan Hladik A Tableau System for the Description Logic SHIO. [Citation Graph (0, 0)][DBLP ] IJCAR Doctoral Programme, 2004, pp:- [Conf ] Jan Hladik , Ulrike Sattler A Translation of Looping Alternating Automata into Description Logics. [Citation Graph (0, 0)][DBLP ] CADE, 2003, pp:90-105 [Conf ] Jan Hladik Implementing the n-ary Description Logic GF1¯. [Citation Graph (0, 0)][DBLP ] Description Logics, 2000, pp:163-172 [Conf ] Jan Hladik Reasoning about Nominals with FaCT and RACER. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Jan Hladik A Generator for Description Logic Formulas. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Jan Hladik , Jörg Model Tableau Systems for SHIO and SHIQ. [Citation Graph (0, 0)][DBLP ] Description Logics, 2004, pp:- [Conf ] 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 ] Jan Hladik Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2002, pp:145-159 [Conf ] Jan Hladik Spinoza's Ontology. [Citation Graph (0, 0)][DBLP ] WSPI, 2004, pp:- [Conf ] 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 ] Jan Hladik , Rafael Peñaloza PSPACE Automata for Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2006, pp:- [Conf ] Blocking Automata for PSPACE DLs. [Citation Graph (, )][DBLP ] Using OWL DL Reasoning to Decide about authorization in RBAC. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs