Information Technology
Multistage negotiation in distributed planning
Conry, S. E. | Meyer, R. A. | Lesser, V. R.
In A. H. Bond and L. Gasser (Eds.), Readings in distributed artificial intelligence. San Mateo, Calif.: Morgan Kaufmann, 367- 384
A Survey of Automated Deduction
Full text of chapter not available. In: Howard Shrobe, editor, Exploring Artificial Intelligence. Morgan Kaufmann
The CDP: A unifying formulation for heuristic search, dynamic programming, and branch-and-bound
In Kanal, L. N. and Kumar, V. (Eds.), Search in Artificial Intelligence, chap. 1, pp. 1–27. Springer-Verlag.
Temporal reasoning
In Howard Shrobe, editor, Exploring Artificial Intelligence. Morgan Kaufmann
Formulation of Tradeoffs in Planning under Uncertainty
In this proposal, I describe a. method for formulating plans from
Setting up large-scale qualitative models
Proceedings of the Seventh National Conference on Artificial Intelligence: 301-306