Year 2008 Title: A New Algorithm for Computing Upper Bounds for Functional E-MAJSAT Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: To appear in the proceedings of the First Workshop on Counting Problems in CSP and SAT, and other neighbouring problems (Counting'08), Sydney, Australia. Files: [ pdf ] Title: A New Clause Learning Scheme for Efficient Unsatisfiability Proofs Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI), Chicago, Illinois, July 2008, pages 1481-1484. Files: [ pdf ] [ bib ] Title: Approximating the Partition Function by Deleting and then Correcting for Model Edges Author(s): Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI), Helsinki, Finland, July 2008, pages 79-87. Files: [ pdf ] [ ppt ] [ bib ] Title: Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft Author(s): Mengshoel, O. J., Darwiche, A., Cascio, K., Chavira, M., Poll, S. and Uckun, S. Citation: Proceedings of the Twentieth Innovative Applications of Artificial Intelligence Conference (IAAI-08), pages 1699-1705, 2008. Files: [ pdf ] [ bib ] Title: Efficient Genome Wide Tagging by Reduction to SAT Author(s): Arthur Choi, Noah Zaitlen, Buhm Hahn, Knot Pipatsrisawat, Adnan Darwiche, and Eleazar Eskin Citation: To appear in Proceedings of the 8th Workshop on Algorithms in Bioinformatics (WABI), Universität Karlsruhe, Germany, September 2008. Files: [ pdf ] [ bib ] Title: Focusing Generalizations of Belief Propagation on Targeted Queries Author(s): Arthur Choi and Adnan Darwiche Citation: In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI), Chicago, Illinois, July 2008, pages 1024-1030. Files: [ pdf ] [ ppt ] [ bib ] Title: Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations Author(s): Arthur Choi and Adnan Darwiche Citation: In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI), Chicago, Illinois, July 2008, pages 1031-1036. Files: [ pdf ] [ ppt ] [ bib ] Title: New Compilation Languages Based on Structured Decomposability Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI), Chicago, Illinois, July 2008, pages 517-522. Files: [ pdf ] [ bib ] Title: On Probabilistic Inference by Weighted Model Counting Author(s): Mark Chavira and Adnan Darwiche Citation: Artificial Intelligence Journal, Vol 172, no 6-7, pages 772-799, 2008. Files: [ pdf ] [ bib ] Title: RC_Link: Genetic Linkage Analysis using Bayesian Networks Author(s): David Allen and Adnan Darwiche Citation: International Journal of Approximate Reasoning (IJAR), Vol 48/2, pages 499-525. DOI http://dx.doi.org/10.1016/j.ijar.2007.10.003 Files: [ pdf ] [ bib ] Title: Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis Author(s): Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, and Adnan Darwiche Citation: Journal on Satisfiability Boolean Modeling and Computation (JSAT), Volume 4 (2008), pages 191-217. Files: [ pdf ] [ bib ] Year 2007 Title: A Lightweight Component Caching Scheme for Satisfiability Solvers Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: Proceedings of Tenth International Conference on Theory and Applications of Satisfiability Testing(SAT), Lisbon, Portugal, May 2007, pages 294-299. Files: [ pdf ] [ bib ] Title: A Lightweight Component Caching Scheme for Satisfiability Solvers Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: This is an extended version of the paper with the same title in SAT'07. It has been reformatted for a more general audience and contains more experimental results. Files: [ pdf ] [ bib ] Title: Approximating the Partition Function by Deleting and then Correcting for Model Edges (Extended Abstract) Author(s): Arthur Choi and Adnan Darwiche Citation: Presented at NIPS Workshop on Approximate Bayesian Inference in Continuous/Hybrid Systems, Whistler, British Columbia, Canada, December 2007. Files: [ pdf ] Title: Clone: Solving Weighted Max-SAT in a Reduced Search Space Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: Proceedings of 20th Australian Joint Conference on Artificial Intelligence (AI07), Queensland, Australia, December 2007, pages 223-233. Files: [ pdf ] [ bib ] Title: Compiling Bayesian Networks Using Variable Elimination Author(s): Mark Chavira and Adnan Darwiche Citation: To appear in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India, January 2007 Files: [ pdf ] [ bib ] Title: Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks Author(s): Arthur Choi, Mark Chavira and Adnan Darwiche Citation: Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI), Vancouver, BC Canada, July 2007, pages 57-66 Files: [ pdf ] [ bib ] Title: On Tractability and Hypertree Width Author(s): Yuliya Zabiyaka and Adnan Darwiche Files: [ pdf ] [ bib ] Title: The Language of Search Author(s): Jinbo Huang and Adnan Darwiche Citation: Journal of Artificial Intelligence Research, Volume 29, 2007, pages 191-219. Files: [ pdf ] [ bib ] Year 2006 Title: A Variational Approach for Approximating Bayesian Networks by Edge Deletion Author(s): Arthur Choi and Adnan Darwiche Citation: Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI), Cambridge, Massachusetts, July 2006, pages 80-89, Files: [ pdf ] [ ppt ] [ bib ] Title: An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality Author(s): Arthur Choi and Adnan Darwiche Citation: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI), Boston, Massachusetts, July 2006, pages 1107-1114 Files: [ pdf ] [ ppt ] [ bib ] Title: Compiling Relational Bayesian Networks for Exact Inference Author(s): Mark Chavira, Adnan Darwiche, and Manfred Jaeger Citation: International Journal of Approximate Reasoning (IJAR), vol. 42, May 2006, pages 4-20. Files: [ pdf ] [ bib ] Title: Encoding CNFs to Empower Component Analysis Author(s): Mark Chavira and Adnan Darwiche Citation: Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT), Seattle, Washington, August 2006, pages 61-74. Files: [ pdf ] [ bib ] Title: Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies Author(s): Yuliya Zabiyaka and Adnan Darwiche Citation: To appear in Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing(SAT), Seattle, WA, August 2006 Files: [ pdf ] [ ppt ] Title: On the Robustness of Most Probable Explanations Author(s): Hei Chan and Adnan Darwiche Citation: In Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI), pp. 63-71 Files: [ pdf ] [ bib ] Title: Solving MAP Exactly by Searching on Compiled Arithmetic Circuits Author(s): Jinbo Huang, Mark Chavira, and Adnan Darwiche Citation: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI), Boston, Massachusetts, July 2006, pages 143-148 Files: [ pdf ] [ bib ] Year 2005 Title: A Distance Measure for Bounding Probabilistic Belief Change Author(s): Hei Chan and Adnan Darwiche Citation: International Journal of Approximate Reasoning, vol. 38, pp. 149-174 Files: [ pdf ] [ bib ] Title: Compiling Bayesian Networks with Local Structure Author(s): Mark Chavira and Adnan Darwiche Citation: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, August 2005, pages 1306-1312. Files: [ pdf ] [ bib ] Title: DPLL with a Trace: From SAT to Knowledge Compilation Author(s): Jinbo Huang and Adnan Darwiche Citation: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, August 2005, pages 156–162. Files: [ pdf ] [ bib ] Title: Exploiting Evidence in Probabilistic Inference Author(s): Mark Chavira, David Allen, and Adnan Darwiche Citation: Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI), Edinburgh, Scotland, July 2005, pages 112-119. Files: [ pdf ] [ bib ] Title: MUP: A Minimal Unsatisfiability Prover Author(s): Jinbo Huang Citation: Proceedings of the Tenth Asia and South Pacific Design Automation Conference (ASP-DAC), Shanghai, China, January 2005, pages 432–437. Files: [ pdf ] [ bib ] Title: On Bayesian Network Approximation by Edge Deletion Author(s): Arthur Choi and Hei Chan and Adnan Darwiche Citation: Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI), Edinburgh, Scotland, July 2005, pages 128-135. Files: [ pdf ] [ ps ] [ bib ] Title: On Compiling System Models for Faster and More Scalable Diagnosis Author(s): Jinbo Huang and Adnan Darwiche Citation: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, July 2005, pages 300–306. Files: [ pdf ] [ bib ] Title: On the Revision of Probabilistic Beliefs Using Uncertain Evidence Author(s): Hei Chan and Adnan Darwiche Citation: Artificial Intelligence, vol. 163, pp. 67-90 Files: [ pdf ] [ bib ] Title: Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations Author(s): H. Palacios, B. Bonet, A. Darwiche, H. Geffner Citation: Proceedings of the 15th International Conference on Planning and Scheduling (ICAPS), pages 141-150, Monterey. Files: [ pdf ] [ bib ] Title: Sensitivity Analysis in Markov Networks Author(s): Hei Chan and Adnan Darwiche Citation: In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), pp. 1300-1305. Files: [ pdf ] [ bib ] Title: Sensitivity Analysis of Probabilistic Graphical Models Author(s): Hei Chan Citation: PhD Thesis, University of California, Los Angeles Files: [ pdf ] [ bib ] Year 2004 Title: A Differential Semantics for Jointree Algorithms Author(s): James D. Park and Adnan Darwiche Citation: Artificial Intelligence, 156 (2004) pp. 197-216 Files: [ pdf ] [ bib ] Title: A Greedy Algorithm for Time-Space Tradeoff in Probabilistic Inference Author(s): David Allen and Adnan Darwiche and James D. Park Citation: Proceedings of the Second European Workshop on Probabilistic Graphical Models (PGM-2004), The Netherlands, October 2004, 1-8. Files: [ pdf ] [ bib ] Title: Compiling propositional weighted bases Author(s): Adnan Darwiche and Pierre Marquis Citation: Artificial Intelligence, 157(1-2), pages 81-113. Files: [ pdf ] [ bib ] Title: Compiling Relational Bayesian Networks for Exact Inference Author(s): Mark Chavira, Adnan Darwiche, and Manfred Jaeger Citation: Proceedings of the Second European Workshop on Probabilistic Graphical Models (PGM-2004), The Netherlands, October 2004, 49-56. Files: [ pdf ] [ bib ] Title: Complexity Results and Approximation Strategies for MAP Explanations Author(s): James D. Park and Adnan Darwiche Citation: Journal of Artificial Intelligence Research (JAIR), Volume 21, 2004, pages 101-133 Files: [ pdf ] [ bib ] Title: New Advances in Compiling CNF to Decomposable Negational Normal Form Author(s): Adnan Darwiche Citation: Proceedings of European Conference on Artificial Intelligence, pp. 328-332, 2004. Files: [ pdf ] [ bib ] Title: Optimal Time-Space Tradeoff in Probabilistic Inference Author(s): David Allen and Adnan Darwiche Citation: David Allen and Adnan Darwiche, 2004. Advances in Bayesian networks, volume 146 of Studies in Fuzziness and Soft Computing, chapter Optimal Time-Space Tradeoff in Probabilistic Inference, pages 39-55. Springer-Verlag, New York. Files: [ pdf ] [ bib ] Title: Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters Author(s): Hei Chan and Adnan Darwiche Citation: In Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence (UAI), pp. 67-75 Files: [ pdf ] [ bib ] Title: Toward Good Elimination Orders for Symbolic SAT Solving Author(s): Jinbo Huang and Adnan Darwiche Citation: Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Boca Raton, Florida, November 2004, pages 566–573. Files: [ pdf ] [ bib ] Title: Using DPLL for Efficient OBDD Construction Author(s): Jinbo Huang and Adnan Darwiche Citation: Seventh International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, Revised Selected Papers, Lecture Notes in Computer Science, Volume 3542, pages 157–172. Files: [ pdf ] [ bib ] Year 2003 Title: A Differential Approach to Inference in Bayesian Networks Author(s): Adnan Darwiche Citation: In Journal of the ACM, Vol 50, No 3, pages 280-305, 2003. Files: [ pdf ] [ bib ] Title: A Differential Semantics for Jointree Algorithms Author(s): James D. Park and Adnan Darwiche Citation: In Proceedings of the Symposium on Advances in Neural Information Processing Systems (NIPS) 15, pp. 299--307, 2003 Files: [ pdf ] [ bib ] Title: A Structure-Based Variable Ordering Heuristic for SAT Author(s): Jinbo Huang and Adnan Darwiche Citation: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico, August 2003, pages 1167–1172. Files: [ pdf ] [ bib ] Title: Causes and Explanations Revisited Author(s): James D. Park Citation: In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) pp 154-159, 2003 Files: [ pdf ] Title: Morphing the Hugin and Shenoy-Shafer Architectures Author(s): James D. Park and Adnan Darwiche Citation: In Proceedings of the 7th Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), LNAI 2711, pp 149-160, 2003 Files: [ pdf ] [ bib ] Title: New Advances in Inference by Recursive Conditioning Author(s): David Allen and Adnan Darwiche Citation: In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI-2003), Acapulco, Mexico, August 2003, pages 2-10. Files: [ pdf ] [ bib ] Title: On the Revision of Probabilistic Beliefs Using Uncertain Evidence Author(s): Hei Chan and Adnan Darwiche Citation: In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI), pp. 99-105 Files: [ pdf ] [ bib ] Title: Optimal Time-Space Tradeoff in Probabilistic Inference Author(s): David Allen and Adnan Darwiche Citation: In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), Acapulco, Mexico, August 2003, pages 969-975. Files: [ pdf ] [ bib ] Title: Reasoning About Bayesian Network Classifiers Author(s): Hei Chan and Adnan Darwiche Citation: In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI), pp. 107-115 Files: [ pdf ] [ bib ] Title: Solving MAP Exactly using Systematic Search Author(s): James D. Park and Adnan Darwiche Citation: In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI) pp 459-468, 2003 Files: [ pdf ] [ bib ] Year 2002 Title: A Compiler for Deterministic, Decomposable Negation Normal Form Author(s): Adnan Darwiche Citation: Proceedings of the Eighteenth National Conference on Artificial Intelligence, pages 627-634, 2002. Files: [ pdf ] [ bib ] Title: A Distance Measure for Bounding Probabilistic Belief Change Author(s): Hei Chan and Adnan Darwiche Citation: In Proceedings of the 18th National Conference on Artificial Intelligence (AAAI), pp. 539-545 Files: [ pdf ] [ bib ] Title: A Knowledge Compilation Map Author(s): Adnan Darwiche and Pierre Marquis Citation: In Journal of Artificial Intelligence Research, Vol 17, pages 229-264, 2002. Files: [ pdf ] [ bib ] Title: A Logical Approach to Factoring Belief Networks Author(s): Adnan Darwiche Citation: In Proceedings of International Conference on Knowledge Representation and Reasoning, pages 409-420, 2002. Files: [ pdf ] [ bib ] Title: A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms Author(s): Mark Hopkins and Adnan Darwiche Citation: In Proceedings of the First European Workshop on Probabilistic Graphical Models (PGM), pp. 71-80, 2002. Files: [ pdf ] [ ps ] [ bib ] Title: MAP Complexity Results and Approximation Methods Author(s): James D. Park Citation: In Proceedings of the 18th Conference on Uncertainty in Artificial Intelligence (UAI) pp 388-396, 2002 Files: [ ps ] [ bib ] Title: Using Weighted MAX-SAT Engines to Solve MPE Author(s): James D. Park Citation: In Proceedings of the 18th National Conference on Artificial Intelligence (AAAI) pp 682-687 Files: [ ps ] Title: When Do Numbers Really Matter? Author(s): Hei Chan and Adnan Darwiche Citation: Journal of Artificial Intelligence Research, vol. 17, pp. 265-287 Files: [ pdf ] [ bib ] Year 2001 Title: Approximating MAP using Local Search Author(s): James D. Park and Adnan Darwiche Citation: In Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI), pp 403-410, 2001 Files: [ ps ] [ bib ] Title: Decomposable Negation Normal Form Author(s): Adnan Darwiche Citation: In Journal of ACM, Vol 48, No 4, pages 608-647, July 2001. Files: [ ps ] [ bib ] Title: Recursive Conditioning Author(s): Adnan Darwiche Citation: In Artificial Intelligence Journal. Vol 125, No 1-2, pages 5-41 Files: [ ps ] [ bib ] Title: Using Recursive Decomposition to Construct Elimination Orders, Join Trees, and Dtrees Author(s): Adnan Darwiche and Mark Hopkins Citation: In Proceedings of the Sixth European Conference for Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU), 2001 Files: [ pdf ] [ ps ] [ bib ] Title: When Do Numbers Really Matter? Author(s): Hei Chan and Adnan Darwiche Citation: In Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI), pp. 65-74 Files: [ pdf ] [ bib ] Year 2000 Title: Model-based Diagnosis under Real World Constraints Author(s): Adnan Darwiche Citation: In AI Magazine, Vol 21, No 2, pages 57-73, 2000. Files: [ ps ] [ bib ] Title: On the Tractable Counting of Theory Models and its Applications to Belief Revision and Truth Maintenance Author(s): Adnan Darwiche Citation: In Journal of Applied Non-Classical Logics. Files: [ ps ] Year 1998 Title: Model--Based Diagnosis using Structured System Descriptions Author(s): Adnan Darwiche Citation: In Journal of Artificial Intelligence Research, Vol 8, pages 165-222, 1998. Files: [ ps ] [ bib ] Year 1997 Title: A Logical Notion of Conditional Independence: Properties and Applications Author(s): Adnan Darwiche Citation: In Artificial Intelligence Journal, Vol 97, No 1-2, pages 45-82, 1997. Files: [ ps ] [ bib ] Title: On the Logic of Iterated Belief Revision Author(s): Adnan Darwiche and Judea Pearl Citation: In Artificial Intelligence Journal, Vol 87, No 1-2, pages 1-29, 1997. Files: [ ps ] [ bib ] Title: Query {DAGs}: A Practical Paradigm for Implementing Belief--Network Inference Author(s): Adnan Darwiche and Gregory Provan Citation: In Journal of Artificial Intelligence Research, Vol 6, pages 147-176, 1997. Files: [ ps ] [ bib ] Year 1996 Title: Inference in Belief Networks: A Procedural Guide Author(s): Cecil Huang and Adnan Darwiche Citation: In International Journal of Approximate Reasoning, Vol 15, No 3, pages 225-263, 1996. Files: [ pdf ] [ bib ]