Journal: Annals of Mathematics and Artificial Intelligence

Volume 20, Issue 1-4

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