dblp.uni-trier.dewww.uni-trier.de

Adnan Darwiche Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
99EEArthur Choi, Trevor Standley, Adnan Darwiche: Approximating Weighted Max-SAT Problems by Compensating for Relaxations. CP 2009: 211-225
98EEKnot Pipatsrisawat, Adnan Darwiche: On the Power of Clause-Learning SAT Solvers with Restarts. CP 2009: 654-668
97EEKnot Pipatsrisawat, Adnan Darwiche: A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT. IJCAI 2009: 590-595
96EEKnot Pipatsrisawat, Adnan Darwiche: Width-Based Restart Policies for Clause-Learning Satisfiability Solvers. SAT 2009: 341-355
95EEAdnan 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
89EEArthur Choi, Adnan Darwiche: Approximating the Partition Function by Deleting and then Correcting for Model Edges. UAI 2008: 79-87
88EEArthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin: Efficient Genome Wide Tagging by Reduction to SAT. WABI 2008: 135-147
87EEMark Chavira, Adnan Darwiche: On probabilistic inference by weighted model counting. Artif. Intell. 172(6-7): 772-799 (2008)
86EEDavid Allen, Adnan Darwiche: RC_Link: Genetic linkage analysis using Bayesian networks. Int. J. Approx. Reasoning 48(2): 499-525 (2008)
85EEKnot 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
84EEKnot Pipatsrisawat, Adnan Darwiche: Clone: Solving Weighted Max-SAT in a Reduced Search Space. Australian Conference on Artificial Intelligence 2007: 223-233
83EEMark Chavira, Adnan Darwiche: Compiling Bayesian Networks Using Variable Elimination. IJCAI 2007: 2443-2449
82EEKnot Pipatsrisawat, Adnan Darwiche: A Lightweight Component Caching Scheme for Satisfiability Solvers. SAT 2007: 294-299
81EEJinbo 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
78EEAdnan Darwiche: Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation. IJCAR 2006: 3
77EEYuliya Zabiyaka, Adnan Darwiche: Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies. SAT 2006: 116-129
76EEMark Chavira, Adnan Darwiche: Encoding CNFs to Empower Component Analysis. SAT 2006: 61-74
75EEArthur Choi, Adnan Darwiche: A Variational Approach for Approximating Bayesian Networks by Edge Deletion. UAI 2006
74EEHei Chan, Adnan Darwiche: On the Robustness of Most Probable Explanations. UAI 2006
73EEMark 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
70EEHei Chan, Adnan Darwiche: Sensitivity Analysis in Markov Networks. IJCAI 2005: 1300-1305
69EEMark Chavira, Adnan Darwiche: Compiling Bayesian Networks with Local Structure. IJCAI 2005: 1306-1312
68EEJinbo Huang, Adnan Darwiche: DPLL with a Trace: From SAT to Knowledge Compilation. IJCAI 2005: 156-162
67EEMark Chavira, David Allen, Adnan Darwiche: Exploiting Evidence in Probabilistic Inference. UAI 2005: 112-127
66EEAdnan Darwiche, Hei Chan, Arthur Choi: On Bayesian Network Approximation by Edge Deletion. UAI 2005: 128-135
65EEHei Chan, Adnan Darwiche: On the revision of probabilistic beliefs using uncertain evidence. Artif. Intell. 163(1): 67-90 (2005)
64EEHei 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
62EEJinbo Huang, Adnan Darwiche: Toward Good Elimination Orders for Symbolic SAT Solving. ICTAI 2004: 566-573
61EEJinbo Huang, Adnan Darwiche: Using DPLL for Efficient OBDD Construction. SAT 2004
60EEJinbo Huang, Adnan Darwiche: Using DPLL for Efficient OBDD Construction. SAT (Selected Papers 2004: 157-172
59EEHei Chan, Adnan Darwiche: Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters. UAI 2004: 67-75
58EEJames D. Park, Adnan Darwiche: A differential semantics for jointree algorithms. Artif. Intell. 156(2): 197-216 (2004)
57EEAdnan Darwiche, Pierre Marquis: Compiling propositional weighted bases. Artif. Intell. 157(1-2): 81-113 (2004)
56EEJames D. Park, Adnan Darwiche: Complexity Results and Approximation Strategies for MAP Explanations. J. Artif. Intell. Res. (JAIR) 21: 101-133 (2004)
2003
55EEJames 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
48EEAdnan 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
43EEJames 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
41EEMark Hopkins, Adnan Darwiche: A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms. Probabilistic Graphical Models 2002
40EEDavid Allen, Adnan Darwiche: Optimal Time-Space Tradeoff in Probabilistic Inference. Probabilistic Graphical Models 2002
39EEAdnan Darwiche, Pierre Marquis: Compilation of Propositional Weighted Bases CoRR cs.AI/0207045: (2002)
38EEAdnan Darwiche, Pierre Marquis: A Knowledge Compilation Map. J. Artif. Intell. Res. (JAIR) 17: 229-264 (2002)
37EEHei Chan, Adnan Darwiche: When do Numbers Really Matter? J. Artif. Intell. Res. (JAIR) 17: 265-287 (2002)
2001
36EEAdnan 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
34EEJames D. Park, Adnan Darwiche: Approximating MAP using Local Search. UAI 2001: 403-410
33EEHei Chan, Adnan Darwiche: When do Numbers Really Matter? UAI 2001: 65-74
32EEAdnan Darwiche: Recursive conditioning. Artif. Intell. 126(1-2): 5-41 (2001)
31EEAdnan Darwiche: Constant-space reasoning in dynamic Bayesian networks. Int. J. Approx. Reasoning 26(3): 161-178 (2001)
30EEAdnan 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
28EEAdnan Darwiche: A Differential Approach to Inference in Bayesian Networks. UAI 2000: 123-132
27EEAdnan 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)
25EEAdnan 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
21EEAdnan Darwiche: Dynamic Jointrees. UAI 1998: 97-104
20EEAdnan Darwiche: Model-Based Diagnosis using Structured System Descriptions CoRR cs.AI/9806101: (1998)
19EEAdnan 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
17EEAdnan Darwiche, Gregory M. Provan: A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. UAI 1997: 116-123
16EEAdnan Darwiche, Judea Pearl: On the Logic of Iterated Belief Revision. Artif. Intell. 89(1-2): 1-29 (1997)
15EEAdnan Darwiche: A Logical Notion of Conditional Independence: Properties and Application. Artif. Intell. 97(1-2): 45-82 (1997)
14EEAdnan 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
11EEAdnan Darwiche, Gregory M. Provan: Query DAGs: A practical paradigm for implementing belief-network inference. UAI 1996: 203-210
10EECecil 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
8EEAdnan 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
5EEAdnan Darwiche, Moisés Goldszmidt: Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty. UAI 1994: 136-144
4EEAdnan Darwiche, Moisés Goldszmidt: On the Relation between Kappa Calculus and Probabilistic Reasoning. UAI 1994: 145-153
1993
3EEAdnan 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
1EEAdnan Darwiche: Objection-based Causal Exception Networks. UAI 1992: 67-73

Coauthor Index

1David Allen [40] [50] [53] [67] [86]
2Blai Bonet [71]
3Keith Cascio [91]
4Hei Chan [33] [37] [46] [51] [52] [59] [64] [65] [66] [70] [74]
5Mark Chavira [67] [69] [73] [76] [79] [83] [85] [87] [91]
6Arthur Choi [66] [75] [80] [85] [88] [89] [93] [94] [99]
7Eleazar Eskin [88]
8Nir Friedman [47]
9Hector Geffner [71]
10Matthew L. Ginsberg [2]
11Moisés Goldszmidt [4] [5]
12Buhm Han [88]
13Mark Hopkins [36] [41]
14Cecil Huang [10]
15Jinbo Huang [54] [60] [61] [62] [68] [72] [79] [81]
16Manfred Jaeger [73]
17Pierre Marquis [35] [38] [39] [42] [57]
18Ole J. Mengshoel [91]
19Héctor Palacios [71]
20Akop Palyan [85]
21James D. Park [34] [43] [49] [55] [56] [58]
22Judea Pearl [6] [7] [16]
23Knot Pipatsrisawat [82] [84] [85] [88] [90] [92] [95] [96] [97] [98]
24Scott Poll [91]
25Gregory M. Provan [11] [13] [14] [17] [18]
26Trevor Standley [99]
27N. Serdar Uckun [91]
28Yuliya Zabiyaka [77]
29Noah Zaitlen [88]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)