Annals of Mathematics and Artificial Intelligence, Volume 4

Volume 4, 1991

• Bon K. Sy: Reasoning composite beliefs using a qualitative approach. 1-23 BibTeX
• Wray L. Buntine: Modelling default and likelihood reasoning as probabilistic reasoning. 25-68 BibTeX
• Chun-Hung Tzeng: A mathematical formulation of uncertain information. 69-87 BibTeX
• Mark E. Stickel: A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. 89-105 BibTeX
• Alvin M. Despain, Robert Yung: An integrated prolog architecture for symbolic and numeric executions. 107-133 BibTeX
• Norman Y. Foo, Anand S. Rao: Belief revision in a microworld. 135-155 BibTeX
• Sukhamay Kundu: A new variant of the A-algorithm which closes a node at most once. 157-176 BibTeX
• Amelia Lochovsky Fong: Analysis of parallel algorithms using pipeline architectures in computer vision applications. 177-209 BibTeX
• Amihood Amir, Martin Farach: Efficient matching of nonrectangular shapes. 211-224 BibTeX
• Arnon Avron: Hypersequents, logical consequence and intermediate logics for concurrency. 225-248 BibTeX
• Victor L. Brailovsky: Search for the best decision rules with the help of a probabilistic estimate. 249-267 BibTeX
• Ido Dagan, Alon Itai: A set expression based inheritance system. 269-280 BibTeX
• Alexander Gammerman: The representation and manipulation of the algorithmic probability measure for problem solving. 281-300 BibTeX
• Joseph Y. Halpern: The relationship between knowledge, belief and certainty. 301-322 BibTeX
• Moshe Koppel: ESBL: an integrated method for learning from partial information. 323-343 BibTeX
• Alfred M. Bruckstein, Michael Lindenbaum: Reconstruction of polygonal sets by constrained and unconstrained double probing. 345-361 BibTeX