The following pages link to FaCT++ (Q21815):
Displayed 12 items.
- InKreSAT: Modal Reasoning via Incremental Reduction to SAT (Q4928458) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
- Description Logics in Multimedia Reasoning (Q4976608) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)
- Data Management and Query Processing in Semantic Web Databases (Q5391641) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424880) (← links)
- On the Properties of Metamodeling in OWL (Q5427250) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- An overview of tableau algorithms for description logics (Q5955620) (← links)