Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control

DOI10.1093/LOGCOM/14.2.179MaRDI QIDQ4820464zbMATH OpenOpenAlexFDO

Authors Marcelo Finger, Renata Wassermann

Publication date 15 October 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/14.2.179

zbMATH Keywords

approximate reasoningAutomated reasoningdeductive systemsknowledge representationlimited reasoningnon-classical logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• The universe of approximations
• The universe of propositional approximations
• Tractable reasoning via approximation
• scientific article; zbMATH DE number 1423976
• scientific article; zbMATH DE number 1841825

Cited in

(12)

• The universe of propositional approximations
• Approximations of modal logics: K and beyond
• Tractable approximate deduction for OWL
• Informational semantics, non-deterministic matrices and feasible deduction
• scientific article; zbMATH DE number 1799522 (Why is no real title available?)
• Semantics and proof-theory of depth bounded Boolean logics
• scientific article; zbMATH DE number 2095713 (Why is no real title available?)
• The universe of approximations
• On AGM for non-classical logics
• The enduring scandal of deduction. Is propositional logic really uninformative?
• Cut and pay
• An informational view of classical logic

This page was built for publication: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4820464)