Goto

Collaborating Authors

 Technology

Exploring Artificial Intelligence

Classics

Morgan Kaufinann,

On the proper treatment of connectionism

Classics

BBS, 2, 1–74.

The early years of logic programming

Classics

CACM, 31, 38–43.

Multistage negotiation in distributed planning

Classics

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

Classics

Full text of chapter not available. In: Howard Shrobe, editor, Exploring Artificial Intelligence. Morgan Kaufmann

An analysis of time-dependent planning

Classics

In AAAI-88, pp. 49–54.

Practical Planning: Extending the AI Planning Paradigm

Classics

Morgan Kaufmann.

The CDP: A unifying formulation for heuristic search, dynamic programming, and branch-and-bound

Classics

In Kanal, L. N. and Kumar, V. (Eds.), Search in Artificial Intelligence, chap. 1, pp. 1–27. Springer-Verlag.

Temporal reasoning

Classics

In Howard Shrobe, editor, Exploring Artificial Intelligence. Morgan Kaufmann

Formulation of Tradeoffs in Planning under Uncertainty

Classics

In this proposal, I describe a. method for formulating plans from