Editorial Board
Shape from texture: General principle
An algorithm to compute circumscription
On the relationship between circumscription and negation as failure
BS∗: An admissible bidirectional staged heuristic search algorithm
A generalization of collapsible cases of circumscription
Logical foundations of artificial intelligence: Michael R. Genesereth and Nils J. Nilsson, (Morgan Kaufmann, Los Altos, CA, 1987); xviii + 406 pages
Logical foundations of artificial intelligence: Michael R. Genesereth and Nils J. Nilsson, (Morgan Kaufmann, Los Altos, CA, 1987); 406 + xviii pages
On logical foundations of artificial intelligence: A response to the reviews by S. Smoliar and J. Sowa
Announcement
Forthcoming papers