Travelled to:1 × USA
Collaborated with:U.Sattler F.Baader R.Peñaloza
Talks about:descript (2) automata (2) logic (2) translat (1) result (1) pspace (1) altern (1) show (1) loop (1) can (1)
Person: Jan Hladik
DBLP: Hladik:Jan
Contributed to:
2007
2003Wrote 2 papers:
- LATA-2007-BaaderHP #automaton #exclamation #logic
- SI! Automata Can Show PSPACE Results for Description Logics (FB, JH, RP), pp. 67–78.
- CADE-2003-HladikS #automaton #logic
- A Translation of Looping Alternating Automata into Description Logics (JH, US), pp. 90–105.