 | 2009 |
|---|
| 99 |       | Arthur Choi,
Trevor Standley,
Adnan Darwiche:
Approximating Weighted Max-SAT Problems by Compensating for Relaxations.
CP 2009: 211-225 |
| 98 | | Knot Pipatsrisawat,
Adnan Darwiche:
On the Power of Clause-Learning SAT Solvers with Restarts.
CP 2009: 654-668 |
| 97 | | Knot Pipatsrisawat,
Adnan Darwiche:
A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT.
IJCAI 2009: 590-595 |
| 96 | | Knot Pipatsrisawat,
Adnan Darwiche:
Width-Based Restart Policies for Clause-Learning Satisfiability Solvers.
SAT 2009: 341-355 |
| 95 | | Adnan Darwiche,
Knot Pipatsrisawat:
Complete Algorithms.
Handbook of Satisfiability 2009: 99-130 |
| 2008 |
|---|
| 94 |  | Arthur Choi,
Adnan Darwiche:
Focusing Generalizations of Belief Propagation on Targeted Queries.
AAAI 2008: 1024-1030 |
| 93 | | Arthur Choi,
Adnan Darwiche:
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations.
AAAI 2008: 1031-1036 |
| 92 | | Knot Pipatsrisawat,
Adnan Darwiche:
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs.
AAAI 2008: 1481-1484 |
| 91 | | Ole J. Mengshoel,
Adnan Darwiche,
Keith Cascio,
Mark Chavira,
Scott Poll,
N. Serdar Uckun:
Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft.
AAAI 2008: 1699-1705 |
| 90 | | Knot Pipatsrisawat,
Adnan Darwiche:
New Compilation Languages Based on Structured Decomposability.
AAAI 2008: 517-522 |
| 89 | | Arthur Choi,
Adnan Darwiche:
Approximating the Partition Function by Deleting and then Correcting for Model Edges.
UAI 2008: 79-87 |
| 88 | | Arthur Choi,
Noah Zaitlen,
Buhm Han,
Knot Pipatsrisawat,
Adnan Darwiche,
Eleazar Eskin:
Efficient Genome Wide Tagging by Reduction to SAT.
WABI 2008: 135-147 |
| 87 | | Mark Chavira,
Adnan Darwiche:
On probabilistic inference by weighted model counting.
Artif. Intell. 172(6-7): 772-799 (2008) |
| 86 | | David Allen,
Adnan Darwiche:
RC_Link: Genetic linkage analysis using Bayesian networks.
Int. J. Approx. Reasoning 48(2): 499-525 (2008) |
| 85 | | Knot Pipatsrisawat,
Akop Palyan,
Mark Chavira,
Arthur Choi,
Adnan Darwiche:
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis.
JSAT 4(2-4): 191-217 (2008) |
| 2007 |
|---|
| 84 | | Knot Pipatsrisawat,
Adnan Darwiche:
Clone: Solving Weighted Max-SAT in a Reduced Search Space.
Australian Conference on Artificial Intelligence 2007: 223-233 |
| 83 | | Mark Chavira,
Adnan Darwiche:
Compiling Bayesian Networks Using Variable Elimination.
IJCAI 2007: 2443-2449 |
| 82 | | Knot Pipatsrisawat,
Adnan Darwiche:
A Lightweight Component Caching Scheme for Satisfiability Solvers.
SAT 2007: 294-299 |
| 81 | | Jinbo Huang,
Adnan Darwiche:
The Language of Search.
J. Artif. Intell. Res. (JAIR) 29: 191-219 (2007) |
| 2006 |
|---|
| 80 | | Arthur Choi,
Adnan Darwiche:
An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality.
AAAI 2006 |
| 79 | | Jinbo Huang,
Mark Chavira,
Adnan Darwiche:
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.
AAAI 2006 |
| 78 | | Adnan Darwiche:
Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation.
IJCAR 2006: 3 |
| 77 | | Yuliya Zabiyaka,
Adnan Darwiche:
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies.
SAT 2006: 116-129 |
| 76 | | Mark Chavira,
Adnan Darwiche:
Encoding CNFs to Empower Component Analysis.
SAT 2006: 61-74 |
| 75 | | Arthur Choi,
Adnan Darwiche:
A Variational Approach for Approximating Bayesian Networks by Edge Deletion.
UAI 2006 |
| 74 | | Hei Chan,
Adnan Darwiche:
On the Robustness of Most Probable Explanations.
UAI 2006 |
| 73 | | Mark Chavira,
Adnan Darwiche,
Manfred Jaeger:
Compiling relational Bayesian networks for exact inference.
Int. J. Approx. Reasoning 42(1-2): 4-20 (2006) |
| 2005 |
|---|
| 72 | | Jinbo Huang,
Adnan Darwiche:
On Compiling System Models for Faster and More Scalable Diagnosis.
AAAI 2005: 300-306 |
| 71 | | Héctor Palacios,
Blai Bonet,
Adnan Darwiche,
Hector Geffner:
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations.
ICAPS 2005: 141-150 |
| 70 | | Hei Chan,
Adnan Darwiche:
Sensitivity Analysis in Markov Networks.
IJCAI 2005: 1300-1305 |
| 69 | | Mark Chavira,
Adnan Darwiche:
Compiling Bayesian Networks with Local Structure.
IJCAI 2005: 1306-1312 |
| 68 | | Jinbo Huang,
Adnan Darwiche:
DPLL with a Trace: From SAT to Knowledge Compilation.
IJCAI 2005: 156-162 |
| 67 | | Mark Chavira,
David Allen,
Adnan Darwiche:
Exploiting Evidence in Probabilistic Inference.
UAI 2005: 112-127 |
| 66 | | Adnan Darwiche,
Hei Chan,
Arthur Choi:
On Bayesian Network Approximation by Edge Deletion.
UAI 2005: 128-135 |
| 65 | | Hei Chan,
Adnan Darwiche:
On the revision of probabilistic beliefs using uncertain evidence.
Artif. Intell. 163(1): 67-90 (2005) |
| 64 | | Hei Chan,
Adnan Darwiche:
A distance measure for bounding probabilistic belief change.
Int. J. Approx. Reasoning 38(2): 149-174 (2005) |
| 2004 |
|---|
| 63 | | Adnan Darwiche:
New Advances in Compiling CNF into Decomposable Negation Normal Form.
ECAI 2004: 328-332 |
| 62 | | Jinbo Huang,
Adnan Darwiche:
Toward Good Elimination Orders for Symbolic SAT Solving.
ICTAI 2004: 566-573 |
| 61 | | Jinbo Huang,
Adnan Darwiche:
Using DPLL for Efficient OBDD Construction.
SAT 2004 |
| 60 | | Jinbo Huang,
Adnan Darwiche:
Using DPLL for Efficient OBDD Construction.
SAT (Selected Papers 2004: 157-172 |
| 59 | | Hei Chan,
Adnan Darwiche:
Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters.
UAI 2004: 67-75 |
| 58 | | James D. Park,
Adnan Darwiche:
A differential semantics for jointree algorithms.
Artif. Intell. 156(2): 197-216 (2004) |
| 57 | | Adnan Darwiche,
Pierre Marquis:
Compiling propositional weighted bases.
Artif. Intell. 157(1-2): 81-113 (2004) |
| 56 | | James D. Park,
Adnan Darwiche:
Complexity Results and Approximation Strategies for MAP Explanations.
J. Artif. Intell. Res. (JAIR) 21: 101-133 (2004) |
| 2003 |
|---|
| 55 | | James D. Park,
Adnan Darwiche:
Morphing the Hugin and Shenoy-Shafer Architectures.
ECSQARU 2003: 149-160 |
| 54 | | Jinbo Huang,
Adnan Darwiche:
A Structure-Based Variable Ordering Heuristic for SAT.
IJCAI 2003: 1167-1172 |
| 53 | | David Allen,
Adnan Darwiche:
Optimal Time-Space Tradeoff in Probabilistic Inference.
IJCAI 2003: 969-975 |
| 52 | | Hei Chan,
Adnan Darwiche:
On the Revision of Probabilistic Beliefs using Uncertain Evidence.
IJCAI 2003: 99-105 |
| 51 | | Hei Chan,
Adnan Darwiche:
Reasoning about Bayesian Network Classifiers.
UAI 2003: 107-115 |
| 50 | | David Allen,
Adnan Darwiche:
New Advances in Inference by Recursive Conditioning.
UAI 2003: 2-10 |
| 49 | | James D. Park,
Adnan Darwiche:
Solving MAP Exactly using Systematic Search.
UAI 2003: 459-468 |
| 48 | | Adnan Darwiche:
A differential approach to inference in Bayesian networks.
J. ACM 50(3): 280-305 (2003) |
| 2002 |
|---|
| 47 | | Adnan Darwiche,
Nir Friedman:
UAI '02, Proceedings of the 18th Conference in Uncertainty in Artificial Intelligence, University of Alberta, Edmonton, Alberta, Canada, August 1-4, 2002
Morgan Kaufmann 2002 |
| 46 | | Hei Chan,
Adnan Darwiche:
A Distance Measure for Bounding Probabilistic Belief Change.
AAAI/IAAI 2002: 539-545 |
| 45 | | Adnan Darwiche:
A Compiler for Deterministic, Decomposable Negation Normal Form.
AAAI/IAAI 2002: 627-634 |
| 44 | | Adnan Darwiche:
A Logical Approach to Factoring Belief Networks.
KR 2002: 409-420 |
| 43 | | James D. Park,
Adnan Darwiche:
A Differential Semantics for Jointree Algorithms.
NIPS 2002: 785-784 |
| 42 | | Adnan Darwiche,
Pierre Marquis:
Compilation of propositional weighted bases.
NMR 2002: 6-14 |
| 41 | | Mark Hopkins,
Adnan Darwiche:
A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms.
Probabilistic Graphical Models 2002 |
| 40 | | David Allen,
Adnan Darwiche:
Optimal Time-Space Tradeoff in Probabilistic Inference.
Probabilistic Graphical Models 2002 |
| 39 | | Adnan Darwiche,
Pierre Marquis:
Compilation of Propositional Weighted Bases
CoRR cs.AI/0207045: (2002) |
| 38 | | Adnan Darwiche,
Pierre Marquis:
A Knowledge Compilation Map.
J. Artif. Intell. Res. (JAIR) 17: 229-264 (2002) |
| 37 | | Hei Chan,
Adnan Darwiche:
When do Numbers Really Matter?
J. Artif. Intell. Res. (JAIR) 17: 265-287 (2002) |
| 2001 |
|---|
| 36 | | Adnan Darwiche,
Mark Hopkins:
Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees.
ECSQARU 2001: 180-191 |
| 35 | | Adnan Darwiche,
Pierre Marquis:
A Perspective on Knowledge Compilation.
IJCAI 2001: 175-182 |
| 34 | | James D. Park,
Adnan Darwiche:
Approximating MAP using Local Search.
UAI 2001: 403-410 |
| 33 | | Hei Chan,
Adnan Darwiche:
When do Numbers Really Matter?
UAI 2001: 65-74 |
| 32 | | Adnan Darwiche:
Recursive conditioning.
Artif. Intell. 126(1-2): 5-41 (2001) |
| 31 | | Adnan Darwiche:
Constant-space reasoning in dynamic Bayesian networks.
Int. J. Approx. Reasoning 26(3): 161-178 (2001) |
| 30 | | Adnan Darwiche:
Decomposable negation normal form.
J. ACM 48(4): 608-647 (2001) |
| 29 | | Adnan Darwiche:
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision.
Journal of Applied Non-Classical Logics 11(1-2): 11-34 (2001) |
| 2000 |
|---|
| 28 | | Adnan Darwiche:
A Differential Approach to Inference in Bayesian Networks.
UAI 2000: 123-132 |
| 27 | | Adnan Darwiche:
Any-Space Probabilistic Inference.
UAI 2000: 133-142 |
| 26 | | Adnan Darwiche:
Model-Based Diagnosis under Real-World Constraints.
AI Magazine 21(2): 57-73 (2000) |
| 25 | | Adnan Darwiche:
On the tractable counting of theory models and its application to belief revision and truth maintenance
CoRR cs.AI/0003044: (2000) |
| 1999 |
|---|
| 24 | | Adnan Darwiche:
Utilizing Device Behavior in Structure-Based Diagnosis.
IJCAI 1999: 1096-1101 |
| 23 | | Adnan Darwiche:
Compiling Knowledge into Decomposable Negation Normal Form.
IJCAI 1999: 284-289 |
| 1998 |
|---|
| 22 | | Adnan Darwiche:
Compiling Devices: A Structure-Based Approach.
KR 1998: 156-155 |
| 21 | | Adnan Darwiche:
Dynamic Jointrees.
UAI 1998: 97-104 |
| 20 | | Adnan Darwiche:
Model-Based Diagnosis using Structured System Descriptions
CoRR cs.AI/9806101: (1998) |
| 19 | | Adnan Darwiche:
Model-Based Diagnosis using Structured System Descriptions.
J. Artif. Intell. Res. (JAIR) 8: 165-222 (1998) |
| 1997 |
|---|
| 18 | | Adnan Darwiche,
Gregory M. Provan:
The Effect of Observations on the Complexity of Model-Based Diagnosis.
AAAI/IAAI 1997: 94-99 |
| 17 | | Adnan Darwiche,
Gregory M. Provan:
A Standard Approach for Optimizing Belief Network Inference Using Query DAGs.
UAI 1997: 116-123 |
| 16 | | Adnan Darwiche,
Judea Pearl:
On the Logic of Iterated Belief Revision.
Artif. Intell. 89(1-2): 1-29 (1997) |
| 15 | | Adnan Darwiche:
A Logical Notion of Conditional Independence: Properties and Application.
Artif. Intell. 97(1-2): 45-82 (1997) |
| 14 | | Adnan Darwiche,
Gregory M. Provan:
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference
CoRR cs.AI/9705101: (1997) |
| 13 | | Adnan Darwiche,
Gregory M. Provan:
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference.
J. Artif. Intell. Res. (JAIR) 6: 147-176 (1997) |
| 1996 |
|---|
| 12 | | Adnan Darwiche:
Utilizing Knowledge-Base Semantics in Graph-Based Algorithms.
AAAI/IAAI, Vol. 1 1996: 607-613 |
| 11 | | Adnan Darwiche,
Gregory M. Provan:
Query DAGs: A practical paradigm for implementing belief-network inference.
UAI 1996: 203-210 |
| 10 | | Cecil Huang,
Adnan Darwiche:
Inference in belief networks: A procedural guide.
Int. J. Approx. Reasoning 15(3): 225-263 (1996) |
| 1995 |
|---|
| 9 | | Adnan Darwiche:
Model-Based Diagnosis using Causal Networks.
IJCAI 1995: 211-219 |
| 8 | | Adnan Darwiche:
Conditioning Algorithms for Exact and Approximate Inference in Causal Networks.
UAI 1995: 99-107 |
| 1994 |
|---|
| 7 | | Adnan Darwiche,
Judea Pearl:
Symbolic Causal Networks.
AAAI 1994: 238-244 |
| 6 | | Adnan Darwiche,
Judea Pearl:
On the Logic of iterated Belief Revision.
TARK 1994: 5-23 |
| 5 | | Adnan Darwiche,
Moisés Goldszmidt:
Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty.
UAI 1994: 136-144 |
| 4 | | Adnan Darwiche,
Moisés Goldszmidt:
On the Relation between Kappa Calculus and Probabilistic Reasoning.
UAI 1994: 145-153 |
| 1993 |
|---|
| 3 | | Adnan Darwiche:
Argument Calculus and Networks.
UAI 1993: 420-427 |
| 1992 |
|---|
| 2 | | Adnan Darwiche,
Matthew L. Ginsberg:
A Symbolic Generalization of Probability Theory.
AAAI 1992: 622-627 |
| 1 | | Adnan Darwiche:
Objection-based Causal Exception Networks.
UAI 1992: 67-73 |
