Adnan Darwiche. Recursive Conditioning: Any-space conditioning algorithm with treewidth-bounded complexity. To appear in Artificial Intelligence Journal, Special Issue on Resource Bounded Reasoning, 2000.
Adnan Darwiche. Model-based diagnosis under real-world constraints. To appear in AI Magazine, 2000.
Adnan Darwiche. Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research, 8:165-222, June, 1998. Abstract.
Adnan Darwiche. A logical notion of conditional independence: Properties and applications. Artificial Intelligence, 97(1-2):45-82, December, 1997. Abstract.
Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(1-2):1-29, January, 1997. Abstract.
Adnan Darwiche and Gregory Provan. Query DAGs: A practical paradigm for implementing belief-network inference. Journal of Artificial Intelligence Research, 6:147-176, May, 1997. Abstract.
Cecil Huang and Adnan Darwiche. Inference in belief networks: A procedural guide. International Journal of Approximate Reasoning, 15(3):225-263, October, 1996. Abstract.
Adnan Darwiche, Raymond E. Levitt, and Barbara Hayes-Roth. Oarplan: Generating project plans in a blackboard system by reasoning about objects, actions, and resources. Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 2(3):169-181, 1988.
Nabil A. Zaghloul and Adnan Darwiche. Solutions of
the gradually varied flow problems using the direct step method with the
IBM PC lotus system. Environmental Software, 2(4):199-206, 1987.
Under Review
Adnan Darwiche. Compiling devices: A structured-based approach.
Adnan Darwiche. On the tractable counting of theory models and its application
to belief revision and truth maintenance.
Adnan Darwiche. Compiling knowledge into decomposable negation normal form. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 1999. Abstract.
Adnan Darwiche. Utilizing device behavior in structure-based diagnosis. In Proceedings of Internatio nal Joint Conference on Artificial Intelligence (IJCAI), 1999. Abstract.
Adnan Darwiche. Compiling Devices: A Structure-Based Approach. In Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 156-166, 1998. Abstract.Long version.
Adnan Darwiche. Dynamic Jointrees. In Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (CUAI), pages 97-104, 1998. Abstract.
Adnan Darwiche and Gregory Provan. The effect of observations on the complexity of model-based diagnosis. In Proceedings of the 14th National Conference on Artificial Intelligence (AAAI), pages 99-104, 1997. Abstract.
Adnan Darwiche and Gregory Provan. A standard approach for optimizing belief network inference using query dags. In Proceedings of the 13th Conference on Uncertainty in Artificial Intelligence (CUAI), pages 116-123, 1997. Abstract.
Adnan Darwiche. Utilizing knowledge-base semantics in graph-based algorithms. In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI), pages 607-613, 1996. Abstract.
Adnan Darwiche and Gregory Provan. Query DAGs: A practical paradigm for implementing belief network inference. In Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (CUAI), pages 203-210, 1996. Abstract.
Adnan Darwiche. Model-based diagnosis using causal networks. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pages 211-217, 1995. Abstract.
Adnan Darwiche. Conditioning methods for exact and approximate inference in causal networks. In Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (CUAI), pages 99-107, 1995. Abstract.
Moises Goldszmidt and Adnan Darwiche. Plan simulation using Bayesian networks. In 11th IEEE Conference on Artificial Intelligence Applications, pages 155-161, 1995.
Adnan Darwiche and Judea Pearl. Symbolic causal networks. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI), pages 238-244, 1994. Abstract.
Adnan Darwiche and Moises Goldszmidt. Action networks:A framework for reasoning about actions and change under uncertainty. In Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (CUAI), pages 136-144, 1994.
Adnan Darwiche and Moises Goldszmidt. On the relation between kappa calculus and probabilistic reasoning. In Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (CUAI), pages 145-153, 1994.
Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. In Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1994 Conference, pages 5-23. Morgan Kaufmann Publishers, Inc., San Mateo, California, 1994. Abstract.
Adnan Darwiche. Argument calculus and networks. In Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (CUAI), pages 420-427, 1993. Abstract.
Adnan Darwiche and Matthew L. Ginsberg. A symbolic generalization of probability theory. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI), pages 622-627, 1992. Abstract.
Adnan Darwiche. Objection-based causal networks. In Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (CUAI), pages 67-73, 1992.
Adnan Darwiche. Utilizing Device Non-Structural Properties in Structure-Based Diagnosis. In Proceedings of the 9th International Workshop on Principles of Diagnosis, pages 32-39, 1998. Abstract.
Adnan Darwiche. New advances in structure-based diagnosis: A method for compiling devices. In Proceedings of the 8th International Workshop on Principles of Diagnosis, pages 35-42, 1997. Abstract.
Adnan Darwiche and Gregory Provan. Exploiting system structure in model-based diagnosis of discrete-event systems. In Proceedings of the Seventh International Workshop on Principles of Diagnosis, pages 95-105, 1996. Abstract.
Adnan Darwiche. Conditional independence in ATMSs: Independence-based algorithms for computing labels and diagnoses. In Proceedings of the Fifth International Workshop on Principles of Diagnosis, pages 70-77, 1994.
Max Henrion, Adnan Darwiche, Moises Goldszmidt, Gregory Provan, and Brendan del Favero. An experimental comparison of infinitesimal and numerical probabilities for diagnostic reasoning. In Proceedings of the Fifth International Workshop on Principles of Diagnosis, pages 131-139, 1994.
D-101 Adnan Darwiche. Compiling belief networks for logarithmic update.
D-102 Adnan Darwiche. An introduction to inference in Bayesian networks.
D-103 Adnan Darwiche. Compiling devices: A structured-based
approach.
D-104 Adnan Darwiche. Compiling knowledge into decomposable negation
normal form.
D-105 Adnan Darwiche. Model-based diagnosis under
real-world constraints.
D-106 Adnan Darwiche. Recursive Conditioning: Any-space conditioning
algorithm with treewidth bounded complexity.
D-108 Adnan Darwiche. A Differential Approach to
Inference in Bayesian Networks.
since 8/23/99