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