The Universe of Approximations
From MaRDI portal
Publication:4924531
DOI10.1016/S1571-0661(04)80847-8zbMath1264.68160OpenAlexW2146381728MaRDI QIDQ4924531
Marcelo Finger, Renata Wassermann
Publication date: 6 June 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80847-8
automated reasoningknowledge representationapproximate reasoningdeductive systemsnonclassicial logics
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Foundations of a functional approach to knowledge representation
- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- On the complexity of entailment in propositional multivalued logics
- Tractable reasoning via approximation
- Approximate belief revision
- Labelled natural deduction for substructural logics
- Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The Universe of Approximations
