Adnan Darwiche

	2012
120		Arthur Choi, Khaled S. Refaat, Adnan Darwiche: EDML: A Method for Learning Parameters in Bayesian Networks CoRR abs/1202.3709: (2012)
	2011
119		Adnan Darwiche: SDD: A New Canonical Representation of Propositional Knowledge Bases. IJCAI 2011: 819-826
118		Arthur Choi, Khaled S. Refaat, Adnan Darwiche: EDML: A Method for Learning Parameters in Bayesian Networks. UAI 2011: 115-124
117		Knot Pipatsrisawat, Adnan Darwiche: On the power of clause-learning SAT solvers as resolution engines. Artif. Intell. 175(2): 512-525 (2011)
116		Hei Chan, Adnan Darwiche: When do Numbers Really Matter? CoRR abs/1106.1814: (2011)
115		Adnan Darwiche, Pierre Marquis: A Knowledge Compilation Map CoRR abs/1106.1819: (2011)
114		Adnan Darwiche, James D. Park: Complexity Results and Approximation Strategies for MAP Explanations CoRR abs/1107.0024: (2011)
113		Adnan Darwiche, Jinbo Huang: The Language of Search CoRR abs/1110.2734: (2011)
	2010
112		Thammanit Pipatsrisawat, Adnan Darwiche: A Lower Bound on the Size of Decomposable Negation Normal Form. AAAI 2010
111		Knot Pipatsrisawat, Adnan Darwiche: Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. ECAI 2010: 3-8
110		Knot Pipatsrisawat, Adnan Darwiche: On Decomposability and Interaction Functions. ECAI 2010: 9-14
109		Johann Schumann, Ole J. Mengshoel, Ashok N. Srivastava, Adnan Darwiche: Towards software health management with bayesian networks. FoSER 2010: 331-336
108		Adnan Darwiche: Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. JELIA 2010: 7-9
107		Arthur Choi, Adnan Darwiche: Relax, Compensate and Then Recover. JSAI-isAI Workshops 2010: 167-180
106		Dan He, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin: Optimal algorithms for haplotype assembly from whole-genome sequence data. Bioinformatics [ISMB] 26(12): 183-190 (2010)
105		Adnan Darwiche: Bayesian networks. Commun. ACM 53(12): 80-90 (2010)
104		Ole J. Mengshoel, Mark Chavira, Keith Cascio, Scott Poll, Adnan Darwiche, N. Serdar Uckun: Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study. IEEE Transactions on Systems, Man, and Cybernetics, Part A 40(5): 874-885 (2010)
103		Knot Pipatsrisawat, Adnan Darwiche: On Modern Clause-Learning Satisfiability Solvers. J. Autom. Reasoning 44(3): 277-301 (2010)
	2009
102		Adnan Darwiche: Modeling and Reasoning with Bayesian Networks. Cambridge University Press 2009: I-XII, 1-548
101		Arthur Choi, Trevor Standley, Adnan Darwiche: Approximating Weighted Max-SAT Problems by Compensating for Relaxations. CP 2009: 211-225
100		Knot Pipatsrisawat, Adnan Darwiche: On the Power of Clause-Learning SAT Solvers with Restarts. CP 2009: 654-668
99		Knot Pipatsrisawat, Adnan Darwiche: A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT. IJCAI 2009: 590-595
98		Arthur Choi, Adnan Darwiche: Approximating MAP by Compensating for Structural Relaxations. NIPS 2009: 351-359
97		Knot Pipatsrisawat, Adnan Darwiche: Width-Based Restart Policies for Clause-Learning Satisfiability Solvers. SAT 2009: 341-355
96		Adnan Darwiche, Knot Pipatsrisawat: Complete Algorithms. Handbook of Satisfiability 2009: 99-130
	2008
95		Arthur Choi, Adnan Darwiche: Focusing Generalizations of Belief Propagation on Targeted Queries. AAAI 2008: 1024-1030
94		Arthur Choi, Adnan Darwiche: Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. AAAI 2008: 1031-1036
93		Knot Pipatsrisawat, Adnan Darwiche: A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. AAAI 2008: 1481-1484
92		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
91		Knot Pipatsrisawat, Adnan Darwiche: New Compilation Languages Based on Structured Decomposability. AAAI 2008: 517-522
90		Arthur Choi, Adnan Darwiche: Approximating the Partition Function by Deleting and then Correcting for Model Edges. UAI 2008: 79-87
89		Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin: Efficient Genome Wide Tagging by Reduction to SAT. WABI 2008: 135-147
88		Mark Chavira, Adnan Darwiche: On probabilistic inference by weighted model counting. Artif. Intell. 172(6-7): 772-799 (2008)
87		David Allen, Adnan Darwiche: RC_Link: Genetic linkage analysis using Bayesian networks. Int. J. Approx. Reasoning 48(2): 499-525 (2008)
86		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
85		Knot Pipatsrisawat, Adnan Darwiche: Clone: Solving Weighted Max-SAT in a Reduced Search Space. Australian Conference on Artificial Intelligence 2007: 223-233
84		Mark Chavira, Adnan Darwiche: Compiling Bayesian Networks Using Variable Elimination. IJCAI 2007: 2443-2449
83		Knot Pipatsrisawat, Adnan Darwiche: A Lightweight Component Caching Scheme for Satisfiability Solvers. SAT 2007: 294-299
82		Arthur Choi, Mark Chavira, Adnan Darwiche: Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. UAI 2007: 57-66
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: 1107-1114
79		Jinbo Huang, Mark Chavira, Adnan Darwiche: Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. AAAI 2006: 1143-1148
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

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page