Volume 20,
Number 1-4,
1997
- Yannis Dimopoulos, Vangelis Magirou, Christos H. Papadimitriou:
On Kernels, Defaults and Even Graphs.
1-12
- Eithan Ephrati, Jeffrey S. Rosenschein:
A Heuristic Technique for Multi-Agent Planning.
13-67
- Robert A. Hummel, Larry M. Manevitz:
Combination Calculi for Uncertainty Reasoning: Representing Uncertainty Using Distributions.
69-109
- Sarit Kraus:
Beliefs, Time and Incomplete Information in Multiple Encounter Negotiations Among Autonomous Agents.
111-159
- Ambuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal:
On the Asymptotic Performance of IDA*.
161-193
- William C. Rounds, Guo-Qiang Zhang:
Logical Considerations on Default Semantics.
195-226
- Guo-Qiang Zhang, William C. Rounds:
Nonmonotonic Consequences in Default Domain Theory.
227-265
- Eugene Santos:
On Multiple Spline Approximations for Bayesian Computations.
267-300
- Suning Wang, Peter E. Caines:
Automated Reasoning with Function Evaluation for COCOLOG.
301-334
- Knut Hinkelmann, Helge Hintze:
State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems.
335-356
- John V. Franco, Ramjee P. Swaminathan:
Average Case Results for Satisfiability Algorithms Under the Random-Clause-Width Model.
357-391
- Paul Walton Purdom Jr.:
Backtracking and Random Constraint Satisfaction.
393-410
Copyright © Mon Nov 30 20:23:22 2009
by Michael Ley (ley@uni-trier.de)