Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (I)

IJCAI-01 Contents - Volume 1

Ordering Information..iv

Foreword...v

IJCAI-01

Conference Organization..vi

Local Arrangements Committee..vi

Program Committee..vii

Corporate Sponsorship..vii

IJCAII Organization..viii

AAAI Organization...ix

IJCAI-01 Awards...x

Invited Speakers...x

Panels...x IJCAI-01

Reviewers..xi

Contents... xv

Knowledge Representation and Reasoning... 1

Search, Satisfiability, and Constraint Satisfaction Problems..231

Cognitive Modeling..367

Planning....413

Games...521

Diagnosis...541

Logic Programming and Theorem Proving...587

Uncertainty and Probabilistic Reasoning..663