The following pages link to (Q2721180):
Displaying 8 items.
- Conceptual logic programs (Q854977) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- (Q3408128) (← links)
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (Q3541702) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)
