Lost in translation: language independence in propositional logic -- application to belief change
From MaRDI portal
Publication:490446
DOI10.1016/J.ARTINT.2013.09.005zbMATH Open1334.68209OpenAlexW2004960927MaRDI QIDQ490446FDOQ490446
Pierre Marquis, Nicolas Schwind
Publication date: 27 August 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2013.09.005
Recommendations
Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- On the logic of theory change: Partial meet contraction and revision functions
- Title not available (Why is that?)
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- Title not available (Why is that?)
- Boolean functions as models for quantified Boolean formulas
- Propositional knowledge base revision and minimal change
- Title not available (Why is that?)
- On the complexity of Boolean unification
- \(\text{DA}^2\) merging operators
- Merging Information Under Constraints: A Logical Framework
- Title not available (Why is that?)
- Propositional relevance through letter-sharing
- Title not available (Why is that?)
- Conditional independence in propositional logic.
- The rôle of language in belief revision
- On propositional definability
Cited In (2)
This page was built for publication: Lost in translation: language independence in propositional logic -- application to belief change
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490446)
