This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data processing syste

The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoni

This is an analysis of the philosophical assumptions and implications of current artificial intelligence (AI) representation schemes, particularly those dealing

Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories