This book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95 in Montreal, Canada in August 1995. The 26 papers are revised final versions …
A Theory of Objects
by Abadi, Martín, Cardelli, Luca
fromMonographs in Computer Science
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing …
PRICAI '96 : topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intel…
by Goebel, Randy, Pacific Rim International Conference on Artificial Intelligence, Pacific Rim International Conference on Artificial Intelligence, Foo, N. Y, Pacific Rim International Conference on Artificial Intelligence
fromLecture Notes in Computer Science
This volume constitutes the refereed proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, PRICAI '96, held in Cairns, Queensland, Australia in August 1996. The 56 revised full papers included in the book were carefully selected for presentation…
This volume constitutes the refereed proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, PRICAI '96, held in Cairns, Queensland, Australia in August 1996. The 56 revised full papers included in the book were carefully selected for presentation…