Jan Hladik
From International Center for Computational Logic
Dr. rer. nat. Jan Hladik
Former member
- Former Research Associate in Research Group Automata Theory
Newest Publications
Franz Baader, Jan Hladik, Rafael Peñaloza
Automata Can Show PSPACE Results for Description Logics
Information and Computation, Special Issue: First International Conference on Language and Automata Theory and Applications (LATA'07), 206(9--10):1045-1056, 2008
Details Download
Martin Knechtel, Jan Hladik
RBAC Authorization Decision with DL Reasoning
ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, 169-176, 2008
Details Download
Martin Knechtel, Jan Hladik, Frithjof Dau
Using OWL DL Reasoning to decide about authorization in RBAC
In Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler, eds., OWLED '08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions, volume 432 of CEUR Workshop Proceedings, 2008
Details Download
Jan Hladik, Rafael Peñaloza
PSPACE Automata for Description Logics
In B. Parsia and U. Sattler and D. Toman, eds., Proceedings of the 2006 International Workshop on Description Logics (DL'06), volume 189 of {CEUR-WS}, 2006
Details Download
Jan Hladik
Reasoning about Nominals with FaCT and RACER
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download
Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
Fundamenta Informaticae, 57:1-33, 2003
Details Download
Jan Hladik
Implementing the n-ary Description Logic GF1-
Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000
Details Download