The following pages link to (Q4012241):
Displaying 20 items.
- Automata-based axiom pinpointing (Q707741) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations (Q1314281) (← links)
- Using automata theory for characterizing the semantics of terminological cycles (Q1380409) (← links)
- Cardinality restrictions on concepts (Q1391904) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- Clausal Tableaux for Hybrid PDL (Q2825411) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)
- Automata-Based Axiom Pinpointing (Q3541704) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- Description Logics (Q3638996) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121) (← links)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
