Adnan Darwiche C.V.

Contents

Back to Homepage

Research Interests

Artificial Intelligence and its applications, especially to diagnostics, decision making and belief revision. The main emphasis is on the use of formal methods based on logic and probability and on inference algorithms for logical and probabilistic reasoning.
Back to Top

Education

Dissertation: A Symbolic Generalization of Probability Theory

Advisor: Professor Matthew Ginsberg

Back to Top

Employment History

Publications

Back to Top

Journals

Adnan Darwiche. A logical notion of conditional independence: Properties and applications. Artificial Intelligence, 97(1-2):45-82, December, 1997.
 
Adnan Darwiche. Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research, 8:165-222, June, 1998.

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.

Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(1-2):1-29, January, 1997.

Cecil Huang and Adnan Darwiche. Inference in belief networks: A procedural guide. International Journal of Approximate Reasoning, 15(3):225-263, October, 1996.

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.

Back to Top

AAAI , IJCAI and KR

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.

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.

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.

Adnan Darwiche. Model-based diagnosis using causal networks. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pages 211-217, 1995.

Adnan Darwiche and Judea Pearl. Symbolic causal networks. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI), pages 238-244, 1994.

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.

Back to Top

CUAI: Conference on Uncertainty in Artificial Intelligence

Adnan Darwiche. Dynamic Jointrees. In Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, 1998. To appear.

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, pages 116-123, 1997.

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, pages 203-210, 1996.

Adnan Darwiche. Conditioning algorithms for exact and approximate inference in causal networks. In Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence, pages 99-107, 1995.

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, 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, pages 145-153, 1994.

Adnan Darwiche. Argument calculus and networks. In Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence, pages 420-427, 1993.

Adnan Darwiche. Objection-based causal networks. In Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence, pages 67-73, 1992.

Back to Top

DX: The International Workshop on Principles of Diagnosis

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.

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.

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.

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.

Back to Top

Others

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. 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.

Adnan Darwiche. A logical notion of conditional independence. In Working notes: AAAI Fall Symposium on Relevance, pages 36-40, 1994.

Adnan Darwiche and Judea Pearl. Symbolic causal networks for reasoning about actions and plans. In Working notes: AAAI Spring Symposium on Decision-Theoretic Planning, pages 41-47, 1994.
 
Adnan Darwiche and Judea Pearl. Causal conditionals. In Proceedings of IJCAI-93 workshop on conditionals in knowledge representation, pages 63-70, 1993.

Mervat H. Gheith, Jinan M. Hussain, Amr S. Azzouz, and Adnan Darwiche. The interface of an intelligent computer-aided instruction in rigid body mechanics. In Proceedings of the First Kuwait Computer Conference, 1989.

Back to Top

Invited Presentations

Academic Institutions

Columbia University, Stanford University, University of California at Berkeley, University of California at Irvine, University of California at Los Angeles.

Industrial Institutions

Allen-Bradley, Bell Labs, Bellcore, Collins Commercial Avionics, General Electric Research and Development Center, Mitsubishi Electric Research Laboratory, Rockwell Aerospace.

Back to Top

Professional Activities

Back to Top