Invited Talks

The Fifteenth Intl. Conf. on Automated Deduction. (CADE '98).

Challenge Problems for Propositional Reasoning and Search

The Eleventh Australian Joint Conference on Artificial Intelligence (AI'98). July 11-17, 1998. TALK (.ppt)

Sixth European Workshop on Logics in AI (JELIA '98). October 12-15, 1998.

Other Professional Activities

Associate Editor, Journal of Artificial Intelligence (JAIR).

Editorial Board, Constraints: An International Journal.

Co-Chair, Tutorial Forum, AAAI98. (with Padhraic Smyth)

Program Committee, Fifteenth National Conference on Artificial Intelligence (AAAI98).

Program Committee, The Sixth Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'98).

Program Committee, The Thirteenth 13th Biennual European Conference on Artificial Intelligence (ECAI98).

Program Committee, The Fourth Intl. Conf. on Artificial Intelligence Planning Systems (AIPS98).

Program Committee, The Eight Intl. Conf. on Artificial Intelligence: Mehodology, Systems, Applications (AIMSA'98).

Program Committee, Symp. on Abstraction, Reformulation and Approximation (SARA98).

Program Committee, Recommender Systems (Workshop, AAAI98).

Program Committee, Software Tools for Developing Agents (Workshop, AAAI98).

Program Committee, Planning as Combinatorial Search (Worshop, AIPS98).