13 found
Order:
  1.  99
    On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
    We show in this paper that the AGM postulates are too weak to ensure the rational preservation of conditional beliefs during belief revision, thus permitting improper responses to sequences of observations. We remedy this weakness by proposing four additional postulates, which are sound relative to a qualitative version of probabilistic conditioning. Contrary to the AGM framework, the proposed postulates characterize belief revision as a process which may depend on elements of an epistemic state that are not necessarily captured by a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   141 citations  
  2.  8
    On the (Complete) Reasons Behind Decisions.Adnan Darwiche & Auguste Hirth - 2023 - Journal of Logic, Language and Information 32 (1):63-88.
    Recent work has shown that the input-output behavior of some common machine learning classifiers can be captured in symbolic form, allowing one to reason about the behavior of these classifiers using symbolic techniques. This includes explaining decisions, measuring robustness, and proving formal properties of machine learning classifiers by reasoning about the corresponding symbolic classifiers. In this work, we present a theory for unveiling the _reasons_ behind the decisions made by Boolean classifiers and study some of its theoretical and practical implications. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  2
    On probabilistic inference by weighted model counting.Mark Chavira & Adnan Darwiche - 2008 - Artificial Intelligence 172 (6-7):772-799.
  4.  19
    Open-world probabilistic databases: Semantics, algorithms, complexity.İsmail İlkan Ceylan, Adnan Darwiche & Guy Van den Broeck - 2021 - Artificial Intelligence 295 (C):103474.
  5.  6
    Recursive conditioning.Adnan Darwiche - 2001 - Artificial Intelligence 126 (1-2):5-41.
  6.  1
    On the revision of probabilistic beliefs using uncertain evidence.Hei Chan & Adnan Darwiche - 2005 - Artificial Intelligence 163 (1):67-90.
  7.  23
    On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision.Adnan Darwiche - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):11-34.
    We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form, then for any consistent set of literals S, we can simultaneously count the models of Δ ∪ S and the models of every theory Δ ∪ T where T results from adding, removing or flipping a literal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  6
    On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision.Adnan Darwiche - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):11-34.
    We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form (sd-DNNF), then for any consistent set of literals S, we can simultaneously count (in time linear in the size of Δ) the models of Δ ∪ S and the models of every theory Δ ∪ T where (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  5
    On the power of clause-learning SAT solvers as resolution engines.Knot Pipatsrisawat & Adnan Darwiche - 2011 - Artificial Intelligence 175 (2):512-525.
  10.  4
    A logical notion of conditional independence: properties and applications.Adnan Darwiche - 1997 - Artificial Intelligence 97 (1-2):45-82.
  11.  2
    Compiling propositional weighted bases.Adnan Darwiche & Pierre Marquis - 2004 - Artificial Intelligence 157 (1-2):81-113.
  12.  2
    A differential semantics for jointree algorithms.James D. Park & Adnan Darwiche - 2004 - Artificial Intelligence 156 (2):197-216.
  13.  2
    Learning Bayesian network parameters under equivalence constraints.Tiansheng Yao, Arthur Choi & Adnan Darwiche - 2017 - Artificial Intelligence 244 (C):239-257.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark