Year 2018
Title: Conditional PSDDs: Modeling and Learning with Modular Knowledge
Author(s): Yujia Shen and Arthur Choi and Adnan Darwiche
Citation: To appear in Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI), New Orleans, LA, USA, February 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 Pruning with the MDL Score
Author(s): Eunice Yuh-Jie Chen and Adnan Darwiche and Arthur Choi
Citation: To appear in International Journal of Approximate Reasoning (IJAR), 2017.
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: To appear in Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI), Melbourne, Australia, August 2017.
Files:[ pdf ] [ bib ]
Title: Tractability in Structured Probability Spaces
Author(s): Arthur Choi and Yujia Shen and Adnan Darwiche
Citation: To appear in Advances in Neural Information Processing Systems 30 (NIPS), Long Beach, California, December 2016
Files:[ pdf ]
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 ]