Issue 1-4/1997
Content (12 Articles)
Combination calculi for uncertainty reasoning: representing uncertainty using distributions
Robert Hummel, Larry M. Manevitz
State‐saving transformations for efficient bottom‐up evaluation of logic programs and rule‐based systems
Knut Hinkelmann, Helge Hintze
Average case results for satisfiability algorithms under the random‐clause‐width model
J. Franco, R.P. Swaminathan