Pages that link to "Item:Q1855213"
From MaRDI portal
The following pages link to Tractable reasoning via approximation (Q1855213):
Displayed 10 items.
- Cut and pay (Q851192) (← links)
- Is default logic a reinvention of inductive-statistical reasoning? (Q1293025) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- The universe of propositional approximations (Q2369011) (← links)
- Approximations of modal logics: \(\mathbf K\) and beyond (Q2478556) (← links)
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics (Q3524915) (← links)
- An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics (Q3524921) (← links)
- Computational Aspects of Quasi-Classical Entailment (Q4443010) (← links)
- Local Diagnosis (Q4443394) (← links)
- Approximate coherence-based reasoning (Q4453903) (← links)