This volume constitutes the refereed proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, PRICAI '96, held in Cairns, Queensl

This book constitutes the refereed proceedings of the Second International Conference on Case-Based Reasoning, ICCBR-97, held in Providence, RI, USA, in July 19

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96

This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&

This monograph presents a comprehensive state-of-the-art survey on approaches to the design of intelligent agents. On the theoretical side, the author identifie