15 found
Order:
  1. Introspective Forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
    We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  14
    Introspective Forgetting.Hans Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Consistency Restoration and Explanations in Dynamic CSPs—Application to Configuration.Jérôme Amilhastre, Hélène Fargier & Pierre Marquis - 2002 - Artificial Intelligence 135 (1-2):199-234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  26
    Handling Controversial Arguments.Sylvie Coste-Marquis, Caroline Devred & Pierre Marquis - 2009 - Journal of Applied Non-Classical Logics 19 (3):311-369.
    We present two prudent semantics within Dung's theory of argumentation. They are based on two new notions of extension, referred to as p-extension and c-extension. Two arguments cannot belong to the same p-extension whenever one of them attacks indirectly the other one. Two arguments cannot belong to the same c-extension whenever one of them indirectly attacks a third argument while the other one indirectly defends the third. We argue that our semantics lead to a better handling of controversial arguments than (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. On the Merging of Dung's Argumentation Systems.Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex & Pierre Marquis - 2007 - Artificial Intelligence 171 (10-15):730-753.
  6. Compiling Propositional Weighted Bases.Adnan Darwiche & Pierre Marquis - 2004 - Artificial Intelligence 157 (1-2):81-113.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Disjunctive Merging: Quota and Gmin Merging Operators.Patricia Everaere, Sébastien Konieczny & Pierre Marquis - 2010 - Artificial Intelligence 174 (12-13):824-849.
  8. Disjunctive Closures for Knowledge Compilation.Hélène Fargier & Pierre Marquis - 2014 - Artificial Intelligence 216:129-162.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  3
    Definability for Model Counting.Jean-Marie Lagniez, Emmanuel Lonca & Pierre Marquis - 2020 - Artificial Intelligence 281:103229.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Conditional Independence in Propositional Logic.Jérôme Lang, Paolo Liberatore & Pierre Marquis - 2002 - Artificial Intelligence 141 (1-2):79-121.
  11. On Propositional Definability.Jérôme Lang & Pierre Marquis - 2008 - Artificial Intelligence 172 (8-9):991-1017.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  24
    Removing Inconsistencies in Assumption-Based Theories Through Knowledge-Gathering Actions.Jérôme Lang & Pierre Marquis - 2001 - Studia Logica 67 (2):179-214.
    In this paper, the problem of purifying an assumption-based theory KB, i.e., identifying the right extension of KB using knowledge-gathering actions (tests), is addressed. Assumptions are just normal defaults without prerequisite. Each assumption represents all the information conveyed by an agent, and every agent is associated with a (possibly empty) set of tests. Through the execution of tests, the epistemic status of assumptions can change from "plausible" to "certainly true", "certainly false" or "irrelevant", and the KB must be revised so (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13. Reasoning Under Inconsistency: A Forgetting-Based Approach.Jérôme Lang & Pierre Marquis - 2010 - Artificial Intelligence 174 (12-13):799-823.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  11
    Computational Aspects of Quasi-Classical Entailment.Pierre Marquis & Nadège Porquet - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):294-312.
    Quasi-classical logic is a propositional logic for reasoning under inconsistency pointed out recently in the literature [3] [21]. Compared with several other paraconsistent logics, it has the nice feature that no special attention needs to be paid to a special form of premises. However, only few is known about its computational behaviour up to now. In this paper, we fill this gap by pointing out a linear time translation that maps every instance of the quasi-classical entailment problem for CNF formulas (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Lost in Translation: Language Independence in Propositional Logic – Application to Belief Change.Pierre Marquis & Nicolas Schwind - 2014 - Artificial Intelligence 206:1-24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark