Pages that link to "Item:Q2351147"
From MaRDI portal
The following pages link to Formally verified tableau-based reasoners for a description logic (Q2351147):
Displaying 11 items.
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$ (Q3052749) (← links)
- (Q3408128) (← links)
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (Q3541702) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)
- Pragmatic Formal Specification of System Properties by Tables (Q5256357) (← links)
- (Q5689986) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)
