Michael J. Miller

Incentive engineering for computational resource management

E. Drexler, Michael J. Miller, 1988 .

A view of one's past and other aspects of reasoned change in belief

Michael J. Miller, 1993 .

Proving self-utterances

Donald Perlis, Michael J. Miller, D. Perlis, 1987, Journal of Automated Reasoning.

Stop the world—I want to think

Donald Perlis, Michael J. Miller, Jennifer J. Elgot-Drapkin, 1990, Int. J. Intell. Syst..

Proving Facts about "|"

Donald Perlis, Michael J. Miller, D. Perlis, 1987, IJCAI.

Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning

Donald Perlis, Michael J. Miller, D. Perlis, 1991, ISMIS.

Automated Inference in Active Logics

Donald Perlis, Michael J. Miller, D. Perlis, 1996, J. Appl. Non Class. Logics.