| |
| |
Year 2020 | |
| | Title: | |
A New Perspective on Learning Context-Specific Independence | | Author(s): | |
Yujia Shen and Arthur Choi and Adnan Darwiche | | Citation: | |
In Proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM), Aalborg, Denmark, 2020. | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
An Advance on Variable Elimination with Applications to Tensor-Based Computation | | Author(s): | |
Adnan Darwiche | | Citation: | |
To appear in Proceedings of the 24th European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain, June 2020. | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
On Symbolically Encoding the Behavior of Random Forests | | Author(s): | |
Arthur Choi and Andy Shih and Anchal Goyanka and Adnan Darwiche | | Citation: | |
Presented at the 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), 2020 | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
On The Reasons Behind Decisions | | Author(s): | |
Adnan Darwiche and Auguste Hirth | | Citation: | |
To appear in Proceedings of the 24th European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain, June 2020. | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
On Tractable Representations of Binary Neural Networks | | Author(s): | |
Weijia Shi and Andy Shih and Adnan Darwiche and Arthur Choi | | Citation: | |
In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR), Rhodes, Greece, September 2020. | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
Supervised Learning with Background Knowledge | | Author(s): | |
Yizuo Chen and Arthur Choi and Adnan Darwiche | | Citation: | |
In Proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM), Aalborg, Denmark, 2020.
| | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
Supervised Learning with Background Knowledge (workshop version) | | Author(s): | |
Yizuo Chen and Arthur Choi and Adnan Darwiche | | Citation: | |
In Proceedings of the 1st Workshop on Foundations of Trustworthy AI - Integrating Learning, Optimization and Reasoning (TAILOR), Santiago de Compostela, Spain, September 2020. | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
Three Modern Roles for Logic in AI | | Author(s): | |
Adnan Darwiche | | Citation: | |
In Proceedings of the 39th Symposium on Principles of Database Systems (PODS’20), June 14–19, Portland, OR, USA, 2020. | | Files: | | [ pdf ] [ bib ] | |
|
| |
Year 2019 | |
| | Title: | |
Compiling Bayesian Networks into Decision Graphs | | Author(s): | |
Andy Shih and Arthur Choi and Adnan Darwiche | | Citation: | |
In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI), Honolulu, Hawaii, USA, January 2019 | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
Compiling Neural Networks into Tractable Boolean Circuits | | Author(s): | |
Arthur Choi and Weijia Shi and Andy Shih and Adnan Darwiche | | Citation: | |
Presented at the AAAI Spring Symposium on Verification of Neural Networks (VNN), Stanford, CA, USA, 2019 | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
Conditional Independence in Testing Bayesian Networks | | Author(s): | |
Yujia Shen and Haiying Huang and Arthur Choi and Adnan Darwiche | | Citation: | |
In Proceedings of the Thirty-Sixth International Conference on Machine Learning (ICML), Long Beach, United States, pages 5701-5709, June 2019. | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
On the Relative Expressiveness of Bayesian and Neural Networks | | Author(s): | |
Arthur Choi and Ruocheng Wang and Adnan Darwiche | | Citation: | |
International Journal of Approximate Reasoning (IJAR), Volume 113, October 2019, pages 303-323
| | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
Structured Bayesian Networks: From Inference to Learning with Routes | | Author(s): | |
Yujia Shen and Anchal Goyanka and Adnan Darwiche and Arthur Choi | | Citation: | |
In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI), Honolulu, Hawaii, USA, January 2019 | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
Verifying Binarized Neural Networks by Angluin-Style Learning | | Author(s): | |
Andy Shih and Adnan Darwiche and Arthur Choi | | Citation: | |
In Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT), Lisbon, Portugal, pages 354-370, July 2019 | | Files: | | [ pdf ] [ bib ] | |
|
| | Title: | |
Verifying Binarized Neural Networks by Local Automaton Learning (workshop version) | | Author(s): | |
Andy Shih and Adnan Darwiche and Arthur Choi | | Citation: | |
Presented at the AAAI Spring Symposium on Verification of Neural Networks (VNN), Stanford, CA, USA, 2019 | | Files: | | [ pdf ] [ bib ] | |
|
| |
Year 2018 | |
| | Title: | |
A Symbolic Approach to Explaining Bayesian Network Classifiers | | Author(s): | |
Andy Shih and Arthur Choi and Adnan Darwiche | | Citation: | |
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: | |
In Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM), Prague, Czech Republic, 2018 | | 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? In Communications of the ACM (CACM), Volume 61 Issue 10, October 2018, pages 56-67. | | 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: | |
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 ] | |
|