Pages that link to "Item:Q4820464"
From MaRDI portal
The following pages link to Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control (Q4820464):
Displayed 10 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- On AGM for non-classical logics (Q535331) (← links)
- The enduring scandal of deduction. Is propositional logic really uninformative? (Q833033) (← links)
- Cut and pay (Q851192) (← links)
- An informational view of classical logic (Q897935) (← links)
- The universe of propositional approximations (Q2369011) (← links)
- Approximations of modal logics: \(\mathbf K\) and beyond (Q2478556) (← links)
- The Universe of Approximations (Q4924531) (← links)