Modelling default and likelihood reasoning as probabilistic reasoning Wray Buntine OriginalPaper Pages: 25 - 68
A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation Mark E. Stickel OriginalPaper Pages: 89 - 105
An integrated prolog architecture for symbolic and numeric executions Robert YungAlvin M. Despain OriginalPaper Pages: 107 - 133
A new variant of the A*-algorithm which closes a node at most once Sukhamay Kundu OriginalPaper Pages: 157 - 176
Analysis of parallel algorithms using pipeline architectures in computer vision applications Amelia Fong Lochovsky OriginalPaper Pages: 177 - 209
Second International Symposium on Artificial Intelligence and Mathematics Call for Papers Pages: IV - IV