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