Jan Hladik Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2008
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franz Baader, Jan Hladik, Rafael Peñaloza: Automata can show PSpace results for description logics. Inf. Comput. 206(9-10): 1045-1056 (2008)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Knechtel, Jan Hladik, Frithjof Dau: Using OWL DL Reasoning to Decide about authorization in RBAC. OWLED 2008
2007
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik: To and fro between tableaus and automata for description logics. Dresden University of Technology 2007, pp. 1-161
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franz Baader, Jan Hladik, Rafael Peñaloza: Blocking Automata for PSPACE DLs. Description Logics 2007
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franz Baader, Jan Hladik, Rafael Peñaloza: SI! Automata Can Show PSPACE Results for Description Logics. LATA 2007: 67-78
2006
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik, Rafael Peñaloza: PSPACE Automata for Description Logics. Description Logics 2006
2005
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik: A Generator for Description Logic Formulas. Description Logics 2005
2004
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik: A Tableau System for the Description Logic SHIO. IJCAR Doctoral Programme 2004
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik, Jörg Model: Tableau Systems for SHIO and SHIQ. Description Logics 2004
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik: Spinoza's Ontology. WSPI 2004
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik, Ulrike Sattler: A Translation of Looping Alternating Automata into Description Logics. CADE 2003: 90-105
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik: Reasoning about Nominals with FaCT and RACER. Description Logics 2003
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32
2002
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik: Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. TABLEAUX 2002: 145-159
2000
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Hladik: Implementing the n-ary Description Logic GF1¯. Description Logics 2000: 163-172

Coauthor Index

1Franz Baader
[j2] [c12] [c11] [j1] [c3]
2Frithjof Dau
[c13]
3Martin Knechtel
[c13]
4Carsten Lutz
[j1] [c3]
5Jörg Model
[c7]
6Rafael Peñaloza (Rafael Peñaloza Nyssen)
[j2] [c12] [c11] [c10]
7Ulrike Sattler (Uli Sattler)
[c5]
8Frank Wolter
[j1] [c3]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 12:39:19 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page