The following pages link to (Q4789457):
Displayed 19 items.
- Generalized fuzzy rough description logics (Q454980) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) (Q632777) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- JGXYZ: an ATP system for gap and glut logics (Q2305437) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- Introduction to Judgment Aggregation (Q3166990) (← links)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- On Semantic Gamification (Q5224500) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
- Two-layered logics for paraconsistent probabilities (Q6118682) (← links)
- Many-valued logic and sequence arguments in value theory (Q6187768) (← links)