Year 2018 Title: A Symbolic Approach to Explaining Bayesian Network Classifiers Author(s): Andy Shih and Arthur Choi and Adnan Darwiche Citation: To appear in Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI), Stockholm, Sweden, July 2018. Files: [ pdf ] [ bib ] Title: An Exhaustive DPLL Algorithm for Model Counting Author(s): Umut Oztok and Adnan Darwiche Citation: Journal of Artificial Intelligence Research (JAIR), Volume 62, 2018, pages 1-32 Files: [ pdf ] [ bib ] Title: Conditional PSDDs: Modeling and Learning with Modular Knowledge Author(s): Yujia Shen and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI), New Orleans, LA, USA, pages 6433-6442, February 2018 Files: [ pdf ] [ bib ] Title: Formal Verification of Bayesian Network Classifiers Author(s): Andy Shih and Arthur Choi and Adnan Darwiche Citation: To appear in Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM), Prague, Czech Republic, 2018 Files: [ pdf ] [ bib ] Title: On Pruning with the MDL Score Author(s): Eunice Yuh-Jie Chen and Adnan Darwiche and Arthur Choi Citation: International Journal of Approximate Reasoning (IJAR), 92:363-375, 2018. Files: [ pdf ] [ bib ] Title: On the Relative Expressiveness of Bayesian and Neural Networks Author(s): Arthur Choi and Adnan Darwiche Citation: To appear in Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM), Prague, Czech Republic, 2018 Files: [ pdf ] [ bib ] Year 2017 Title: A Tractable Probabilistic Model for Subset Selection Author(s): Yujia Shen and Arthur Choi and Adnan Darwiche Citation: To appear in Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI), Sydney, Australia, August 2017 Files: [ pdf ] [ bib ] Title: Human-Level Intelligence or Animal-Like Abilities? Author(s): Adnan Darwiche Citation: Adnan Darwiche. Human-Level Intelligence or Animal-Like Abilities? Submitted to CACM, July 2017. Files: [ pdf ] [ bib ] Title: On Compiling DNNFs without Determinism Author(s): Umut Oztok and Adnan Darwiche Files: [ pdf ] Title: On Relaxing Determinism in Arithmetic Circuits Author(s): Arthur Choi and Adnan Darwiche Citation: To appear in Proceedings of the Thirty-Fourth International Conference on Machine Learning (ICML), Sydney, Australia, August 2017 Files: [ pdf ] [ bib ] Title: Optimal Feature Selection for Decision Robustness in Bayesian Networks Author(s): YooJung Choi and Adnan Darwiche and Guy Van den Broeck Citation: In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI), Melbourne, Australia, pages 1554-1560, August 2017. Files: [ pdf ] [ bib ] Title: Tractability in Structured Probability Spaces Author(s): Arthur Choi and Yujia Shen and Adnan Darwiche Citation: In Advances in Neural Information Processing Systems 30 (NIPS), Long Beach, California, pages 3480-3488, December 2017 Files: [ pdf ] [ bib ] Year 2016 Title: Enumerating Equivalence Classes of Bayesian Networks using EC Graphs Author(s): Eunice Yuh-Jie Chen and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics (AISTATS), Cadiz, Spain, pages 591-599, 2016. Files: [ pdf ] [ bib ] Title: Learning Bayesian Networks with Ancestral Constraints Author(s): Eunice Yuh-Jie Chen and Yujia Shen and Arthur Choi and Adnan Darwiche Citation: To appear in Advances in Neural Information Processing Systems 29 (NIPS), Barcelona, Spain, December 2016 Files: [ pdf ] [ bib ] Title: On Pruning with the MDL Score Author(s): Eunice Yuh-Jie Chen and Arthur Choi and Adnan Darwiche Citation: To appear in Proceedings of the 8th International Conference on Probabilistic Graphical Models (PGM), Lugano, Switzerland, 2016. Files: [ pdf ] [ bib ] Title: Open-World Probabilistic Databases Author(s): Ismail Ilkan Ceylan and Adnan Darwiche and Guy Van den Broeck Citation: In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), Cape Town, South Africa, pages 339-348, April 2016. Files: [ pdf ] [ bib ] Title: Solving PP^PP-Complete Problems Using Knowledge Compilation Author(s): Umut Oztok and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), Cape Town, South Africa, pages 94-103, April 2016. Files: [ pdf ] [ bib ] Title: Structured Features in Naive Bayes Classification Author(s): Arthur Choi and Nazgol Tavabi and Adnan Darwiche Citation: In Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI), Phoenix, AZ, USA, pages 3233-3240, February 2016 Files: [ pdf ] [ bib ] Title: Tractable Operations for Arithmetic Circuits of Probabilistic Models Author(s): Yujia Shen and Arthur Choi and Adnan Darwiche Citation: To appear in Advances in Neural Information Processing Systems 29 (NIPS), Barcelona, Spain, December 2016 Files: [ pdf ] [ bib ] Year 2015 Title: A Top-Down Compiler for Sentential Decision Diagrams Author(s): Umut Oztok and Adnan Darwiche Citation: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, pages 3141-3148, July 2015 Files: [ pdf ] [ bib ] Title: A Top-Down Compiler for Sentential Decision Diagrams (Long Version) Author(s): Umut Oztok and Adnan Darwiche Citation: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, pages 3141-3148, July 2015 Files: [ pdf ] [ bib ] Title: An Upper Bound on the Global Optimum in Parameter Estimation Author(s): Khaled S. Refaat and Adnan Darwiche Citation: In Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI), Amsterdam, Netherlands, pages 772-781, July 2015 Files: [ pdf ] [ bib ] Title: Computer Adaptive Testing Using the Same-Decision Probability Author(s): Suming Chen and Arthur Choi and Adnan Darwiche Citation: Presented at the 12th Annual Bayesian Modeling Applications Workshop (BMAW), Amsterdam, Netherlands, 2015. Files: [ pdf ] [ bib ] Title: Data Compression for Learning MRF Parameters Author(s): Khaled S. Refaat and Adnan Darwiche Citation: In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, pages 3784-3790, July 2015 Files: [ pdf ] [ bib ] Title: Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data Author(s): Guy Van den Broeck and Karthika Mohan and Arthur Choi and Adnan Darwiche and Judea Pearl Citation: In Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI), Amsterdam, Netherlands, pages 161-170, July 2015 Files: [ pdf ] [ bib ] Title: Learning Bayesian Network Parameters under Equivalence Constraints Author(s): Tiansheng Yao and Arthur Choi and Adnan Darwiche Citation: To appear in Artificial Intelligence (AIJ), 2015. Files: [ pdf ] [ bib ] Title: Learning Bayesian Networks with Non-Decomposable Scores Author(s): Eunice Yuh-Jie Chen and Arthur Choi and Adnan Darwiche Citation: In the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR'15), Lecture Notes in Artificial Intelligence, pages 50-71. Files: [ pdf ] [ bib ] Title: On the Role of Canonicity in Knowledge Compilation Author(s): Guy Van den Broeck and Adnan Darwiche Citation: In Proceedings of the 29th Conference on Artificial Intelligence (AAAI), Austin, TX, USA, pages 1641-1648, January 2015 Files: [ pdf ] [ bib ] Title: On the Role of Canonicity in Knowledge Compilation (Long Version) Author(s): Guy Van den Broeck and Adnan Darwiche Citation: In Proceedings of the 29th Conference on Artificial Intelligence (AAAI), Austin, TX, USA, pages 1641-1648, January 2015 Files: [ pdf ] [ bib ] Title: Probability Distributions over Structured Spaces Author(s): Arthur Choi and Guy Van den Broeck and Adnan Darwiche Citation: Presented at the AAAI Spring Symposium on Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches (KRR), Stanford University, CA, USA, March 2015 Files: [ pdf ] [ bib ] Title: Tractable Learning for Complex Probability Queries Author(s): Jessa Bekker and Jesse Davis and Arthur Choi and Adnan Darwiche and Guy Van den Broeck Citation: In Advances in Neural Information Processing Systems 28 (NIPS), Montreal, Quebec, Canada, pages 2233-2241, December 2015. Files: [ pdf ] [ bib ] Title: Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions Author(s): Arthur Choi and Guy Van den Broeck and Adnan Darwiche Citation: In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, pages 2861-2868, July 2015 Files: [ pdf ] [ bib ] Title: Value of Information Based on Decision Robustness Author(s): Suming Chen and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 29th Conference on Artificial Intelligence (AAAI), Austin, TX, USA, pages 3503-3510, January 2015. Files: [ pdf ] [ bib ] Title: Value of Information Based on Decision Robustness (Long Version) Author(s): Suming Chen and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 29th Conference on Artificial Intelligence (AAAI), Austin, TX, USA, pages 3503-3510, January 2015. Files: [ pdf ] [ bib ] Year 2014 Title: Algorithms and Applications for the Same-Decision Probability Author(s): Suming Chen and Arthur Choi and Adnan Darwiche Citation: Journal of Artificial Intelligence Research (JAIR), Volume 49, 2014, pages 601-633 Files: [ pdf ] [ bib ] Title: CV-width: A New Complexity Parameter for CNFs Author(s): Umut Oztok and Adnan Darwiche Citation: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic, pages 675-680, August 2014 Files: [ pdf ] [ bib ] Title: CV-width: A New Complexity Parameter for CNFs (Long Version) Author(s): Umut Oztok and Adnan Darwiche Citation: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic, pages 675-680, August 2014 Files: [ pdf ] [ bib ] Title: Decomposing Parameter Estimation Problems Author(s): Khaled S. Refaat and Arthur Choi and Adnan Darwiche Citation: In Advances in Neural Information Processing Systems 27 (NIPS), Montreal, Quebec, Canada, pages 1565-1573, 2014 Files: [ pdf ] [ bib ] Title: Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data Author(s): Guy Van den Broeck and Karthika Mohan and Arthur Choi and Judea Pearl Citation: Presented at the ICML Workshop on Causal Modeling & Machine Learning, Beijing, China, June 2014 Files: [ pdf ] [ bib ] Title: On Compiling CNF into Decision-DNNF Author(s): Umut Oztok and Adnan Darwiche Citation: Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming (CP), Lyon, France, pages 42-57, September 2014 (Best Student Paper) Files: [ pdf ] [ bib ] Title: Probabilistic Sentential Decision Diagrams Author(s): Doga Kisa and Guy Van den Broeck and Arthur Choi and Adnan Darwiche Citation: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria, July 2014. Files: [ pdf ] [ bib ] Title: Probabilistic Sentential Decision Diagrams (Long Version) Author(s): Doga Kisa and Guy Van den Broeck and Arthur Choi and Adnan Darwiche Citation: KR14 paper, with full proofs (in Appendix). Files: [ pdf ] [ bib ] Title: Probabilistic Sentential Decision Diagrams: Learning with Massive Logical Constraints Author(s): Doga Kisa and Guy Van den Broeck and Arthur Choi and Adnan Darwiche Citation: Presented at the ICML Workshop on Learning Tractable Probabilistic Models (LTPM), Beijing, China, June 2014 Files: [ pdf ] [ bib ] Title: Skolemization for Weighted First-Order Model Counting Author(s): Guy Van den Broeck and Wannes Meert and Adnan Darwiche Citation: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria, July 2014. Files: [ pdf ] [ bib ] Title: Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference Author(s): Mathias Niepert and Guy Van den Broeck Citation: Proceedings of the 28th Conference on Artificial Intelligence (AAAI), Quebec City, Quebec, Canada, July 2014 Files: [ pdf ] [ bib ] Title: Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting Author(s): Eric Gribkoff and Guy Van den Broeck and Dan Suciu Citation: Proceedings of the 30th Conference on Uncertainty in Artificial Intelligence (UAI) Files: [ pdf ] [ bib ] Year 2013 Title: An Exact Algorithm for Computing the Same-Decision Probability Author(s): Suming Chen and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), Beijing, China, August 2013, pages 2525-2531. Files: [ pdf ] [ bib ] Title: Compiling Probabilistic Graphical Models using Sentential Decision Diagrams Author(s): Arthur Choi and Doga Kisa and Adnan Darwiche Citation: In Proceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Utrecht, The Netherlands, July 2013, pages 121-132. Files: [ pdf ] [ bib ] Title: Dual Decomposition from the Perspective of Relax, Compensate and then Recover Author(s): Arthur Choi and Adnan Darwiche Citation: Technical Report. Files: [ pdf ] Title: Dynamic Minimization of Sentential Decision Diagrams Author(s): Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 27th Conference on Artificial Intelligence (AAAI), Bellevue, WA, USA, July 2013, pages 187-194. Files: [ pdf ] [ bib ] Title: EDML for Learning Parameters in Directed and Undirected Graphical Models Author(s): Khaled S. Refaat, Arthur Choi, Adnan Darwiche Citation: In Advances in Neural Information Processing Systems 26 (NIPS), Lake Tahoe, USA, pages 1502-1510, December 2013 Files: [ pdf ] [ bib ] Title: Lifted Generative Parameter Learning Author(s): Guy Van den Broeck and Wannes Meert and Jesse Davis Citation: Proceedings of the 3rd International Workshop on Statistical Relational AI (StaRAI), Bellevue, WA, USA, July 2013. Files: [ pdf ] [ bib ] Title: On the Complexity and Approximation of Binary Evidence in Lifted Inference Author(s): Guy Van den Broeck and Adnan Darwiche Citation: Advances in Neural Information Processing Systems 26 (NIPS), Lake Tahoe, USA, December 2013 Files: [ pdf ] [ bib ] Title: On the Complexity and Approximation of Binary Evidence in Lifted Inference (workshop version) Author(s): Guy Van den Broeck Citation: Proceedings of the 3rd International Workshop on Statistical Relational AI (StaRAI), Bellevue, WA, USA, July 2013. Files: [ bib ] Title: Software Health Management with Bayesian Networks Author(s): Johann Schumann and Timmy Mbaya and Ole Mengshoel and Knot Pipatsrisawat and Ashok Srivastava and Arthur Choi and Adnan Darwiche Citation: In Innovations in Systems and Software Engineering, Vol. 9, No. 4, 2013, pages 271-292. Files: [ pdf ] [ bib ] Year 2012 Title: A Tutorial on Bayesian Networks for System Health Management Author(s): Arthur Choi, Lu Zheng, Adnan Darwiche, Ole J. Mengshoel Citation: In Machine Learning and Knowledge Discovery for Engineering Systems Health Management, Chapter 2, pages 39-66, 2012. Files: [ pdf ] [ bib ] Title: Basing Decisions on Sentences in Decision Diagrams Author(s): Yexiang Xue and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI), Toronto, Canada, July 2012, pages 842-849. Files: [ pdf ] [ bib ] Title: Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference Author(s): Guy Van den Broeck and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI), Catalina Island, USA, August 2012, pages 131-141. Files: [ pdf ] [ bib ] Title: New Advances and Theoretical Insights into EDML Author(s): Khaled S. Refaat, Arthur Choi and Adnan Darwiche Citation: In Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI), Catalina Island, USA, August 2012, pages 705-714. Files: [ pdf ] [ bib ] Title: Same-Decision Probability: A Confidence Measure for Threshold-Based Decisions Author(s): Arthur Choi and Yexiang Xue and Adnan Darwiche Citation: International Journal of Approximate Reasoning (IJAR), Vol. 53, No. 9, 2012, pp. 1415-1428 Files: [ pdf ] [ bib ] Title: The Same-Decision Probability: A New Tool for Decision Making Author(s): Suming Chen and Arthur Choi and Adnan Darwiche Citation: In Proceedings of the Sixth European Workshop on Probabilistic Graphical Models (PGM-12), Granada, Spain, September 2012, pages 51-58. Files: [ pdf ] [ bib ] Year 2011 Title: EDML: A Method for Learning Parameters in Bayesian Networks Author(s): Arthur Choi, Khaled S. Refaat and Adnan Darwiche Citation: In Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI), Barcelona, Spain, July 2011. Files: [ pdf ] [ bib ] Title: On the Power of Clause-Learning SAT Solvers as Resolution Engines Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: Artificial Intelligence, Vol 175, No 2 (February 2011), pages 512-525. Files: [ pdf ] [ bib ] Title: Relax, Compensate and then Recover Author(s): Arthur Choi and Adnan Darwiche Citation: In New Frontiers in Artificial Intelligence, volume 6797 of Lecture Notes in Computer Science, pages 167-180, 2011. Files: [ pdf ] [ bib ] Title: SDD: A New Canonical Representation of Propositional Knowledge Bases Author(s): Adnan Darwiche Citation: In Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 819-826. Files: [ pdf ] [ bib ] Year 2010 Title: A Lower Bound on the Size of Decomposable Negation Normal Form Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: In Proceedings of the Twenty-Forth AAAI Conference on Artificial Intelligence (AAAI), Chicago, Illinois, July 2010, pages 345-350. Files: [ pdf ] [ bib ] Title: Bayesian Networks Author(s): Adnan Darwiche Citation: Communications of the ACM, December 2010, vol. 53, no. 12 Files: [ pdf ] Title: Inference in Bayesian Networks: A Historical Perspective Author(s): Adnan Darwiche Citation: In "Heuristics, Probability and Causality. A Tribute to Judea Pearl." Edited by Rina Dechter, Hector Geffner and Joe Halpern. College Publications, 2010. Files: [ pdf ] Title: On a Discrete Dirichlet Model Author(s): Arthur Choi and Adnan Darwiche Citation: In the Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM-10), Helsinki, Finland, September 2010, pages 65-72. Files: [ pdf ] [ bib ] Title: On Decomposability and Interaction Functions Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), Lisbon, Portugal, August 16-20, 2010, pages 9-14. Files: [ pdf ] [ bib ] Title: On Modern Clause-Learning Satisfiability Solvers Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: Journal of Automated Reasoning, Vol 44, No 3, pages 277 - 301, 2010. Files: [ pdf ] [ bib ] Title: Optimal Algorithms for Haplotype Assembly From Whole-Genome Sequence Data Author(s): Dan He, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin Citation: In Proceedings of the 18th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB), Boston, Massachusetts, USA, July 2010, pages 183-190. Files: [ pdf ] [ bib ] Title: Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study Author(s): Ole J. Mengshoel, Mark Chavira, Keith Cascio, Scott Poll, Adnan Darwiche, Serdar Uckun Citation: IEEE Transactions on Systems Man & Cybernetics, Part A, Vol. 40, No. 5, pages 874-885, 2010. Files: [ pdf ] Title: Same-Decision Probability: A Confidence Measure for Threshold-Based Decisions under Noisy Sensors Author(s): Adnan Darwiche and Arthur Choi Citation: In the Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM-10), Helsinki, Finland, September 2010, pages 113-120. Files: [ pdf ] [ bib ] Title: Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), Lisbon, Portugal, August 16-20, 2010, pages 3-8. Files: [ pdf ] [ bib ] Year 2009 Title: A New d-DNNF-Based Bound Computation Algorithm for Functional EMAJSAT Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: In Proceedings of the 21th International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, California, USA, July 2009, pages 590-595. Files: [ pdf ] [ ppt ] [ bib ] Title: An Edge Deletion Semantics for Belief Propagation Author(s): Arthur Choi and Adnan Darwiche Citation: Under review. Files: [ pdf ] Title: Approximating Weighted Max-SAT Problems by Compensating for Relaxations Author(s): Arthur Choi and Trevor Standley and Adnan Darwiche Citation: In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP), Lisbon, Portugal, September 2009, pages 211-225. Files: [ pdf ] [ bib ] Title: Modeling and Reasoning with Bayesian Networks Author(s): Adnan Darwiche Citation: Cambridge University Press Title: On the Power of Clause-Learning SAT Solvers with Restarts Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP-09), Lisbon, Portugal, pages 654-668. (Best Student Paper) Files: [ pdf ] [ ppt ] [ bib ] Title: Relax then Compensate: On Max-Product Belief Propagation and More Author(s): Arthur Choi and Adnan Darwiche Citation: In Proceedings of the Twenty-Third Annual Conference on Neural Information Processing Systems (NIPS), Vancouver, Canada, December 2009, pages 351-359 Files: [ pdf ] [ bib ] Title: Width-Based Restart Policies for Clause-Learning Satisfiability Solvers Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: In Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT'09), Swansea, Wales, UK, June 2009, pages 341-355. Files: [ pdf ] [ ppt ] [ bib ] Year 2008 Title: A New Algorithm for Computing Upper Bounds for Functional E-MAJSAT Author(s): Knot Pipatsrisawat and Adnan Darwiche Citation: In 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: Complete Algorithms Author(s): Adnan Darwiche and Knot Pipatsrisawat Citation: In Handbook of Satisfiability. Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh (eds.). IOS Press. Pages 99-130, 2009. Files: [ pdf ] [ 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: In Proceedings of the 8th Workshop on Algorithms in Bioinformatics (WABI), Universität Karlsruhe, Germany, September 2008, pages 135-147. 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: In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India, January 2007, pages 2443-2449. 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: In Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing(SAT), Seattle, WA, August 2006, pages 116-129. 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 Negation 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: [ pdf ] [ ps ] [ bib ] 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 ]