Automata-Based Axiom Pinpointing
From MaRDI portal
Publication:3541704
DOI10.1007/978-3-540-71070-7_19zbMath1165.68497OpenAlexW1860234390MaRDI QIDQ3541704
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10281/257423
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Automata and formal grammars in connection with logical questions (03D05)
Related Items
Automata-Based Axiom Pinpointing ⋮ Automata-based axiom pinpointing ⋮ Putting ABox Updates into Action
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Attributive concept descriptions with complements
- Automata can show PSpace results for description logics
- Automata-theoretic techniques for modal logics of programs
- Finite tree automata with cost functions
- A lattice-theoretical fixpoint theorem and its applications
- Automata-Based Axiom Pinpointing
- Weighted Automata and Weighted Logics on Infinite Words
- Axiom Pinpointing in General Tableaux
- An overview of tableau algorithms for description logics