Pages that link to "Item:Q2369011"
From MaRDI portal
The following pages link to The universe of propositional approximations (Q2369011):
Displaying 13 items.
- Logics for approximate entailment in ordered universes of discourse (Q256484) (← links)
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- An informational view of classical logic (Q897935) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- A modal view on resource-bounded propositional logics (Q2157601) (← links)
- Approximations of modal logics: \(\mathbf K\) and beyond (Q2478556) (← links)
- Approximate coherence-based reasoning (Q4453903) (← links)
- (Q4624117) (← links)
- Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control (Q4820464) (← links)
- Does This Set of Clauses Overlap with at Least One MUS? (Q5191099) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311203) (← links)
- Logics in Artificial Intelligence (Q5394150) (← links)