Pages that link to "Item:Q948069"
From MaRDI portal
The following pages link to Automata can show PSpace results for description logics (Q948069):
Displaying 6 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Automata-based axiom pinpointing (Q707741) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- The complexity of computing the behaviour of lattice automata on infinite trees (Q2447756) (← links)
- Automata-Based Axiom Pinpointing (Q3541704) (← links)
- An Automata View to Goal-Directed Methods (Q5738990) (← links)
