Match algorithms for generalized Rete networks
Two views of belief: belief as generalized probability and belief as evidence
A guide to completeness and complexity for modal logics of knowledge and belief
Abstract minimality and circumscription
An efficient method for eliminating varying predicates from a circumscription
Books received
Forthcoming papers
Author index—Volume 54 (1992)