Basic Modal Logic. - John L. Pollock (J. Symb. Log., 1967)

Henkin style completeness proofs in theories lacking negation. - John L. Pollock (Notre Dame J. Formal Log., 1971)

A refined theory of counterfactuals. - John L. Pollock (J. Philos. Log., 1981)

Defeasible Reasoning. - John L. Pollock (Cogn. Sci., 1987)

How to build a person - a prolegomenon. - John L. Pollock (MIT Press, 1989)

OSCAR: a general theory of rationality. - John L. Pollock (J. Exp. Theor. Artif. Intell., 1989)

OSCAR. - John L. Pollock (CADE, 1990)

Interest Driven Suppositional Reasoning. - John L. Pollock (J. Autom. Reason., 1990)

A theory of defeasible reasoning. - John L. Pollock (Int. J. Intell. Syst., 1991)

Self-defeating arguments. - John L. Pollock (Minds Mach., 1991)

How to Reason Defeasibly. - John L. Pollock (Artif. Intell., 1992)

New foundations for practical reasoning. - John L. Pollock (Minds Mach., 1992)

The Phylogeny of Rationality. - John L. Pollock (Cogn. Sci., 1993)

Justification and Defeat. - John L. Pollock (Artif. Intell., 1994)

The Role of Probability in Epistemology. - John L. Pollock (Comput. Intell., 1994)

Reason in a Changing World. - John L. Pollock (FAPR, 1996)

A General-Purpose Defeasible Reasoner. - John L. Pollock (J. Appl. Non Class. Logics, 1996)

Taking Perception Seriously. - John L. Pollock (Agents, 1997)

The Logical Foundations of Goal-Regression Planning in Autonomous Agents. - John L. Pollock (Artif. Intell., 1998)

Perceiving and Reasoning about a Changing World. - John L. Pollock (Comput. Intell., 1998)

On The Evaluation of Agent Architectures. - Henry Hexmoor; Marcus J. Huber; Jörg P. Müller; John L. Pollock; Donald Steiner (ATAL, 1999)

Rational Cognition in OSCAR. - John L. Pollock (ATAL, 1999)

Defeasible Reasoning in OSCAR - John L. Pollock (CoRR, 2000)

Belief Revision And Epistemology. - John L. Pollock; Anthony S. Gillies (Synth., 2000)

Defeasible reasoning with variable degrees of justification. - John L. Pollock (Artif. Intell., 2001)

Causal Probability. - John L. Pollock (Synth., 2002)

Against Optimality: Logical Foundations for Decision-Theoretic Planning in Autonomous Agents. - John L. Pollock (Comput. Intell., 2006)

OSCAR: An Agent Architecture Based on Defeasible Reasoning. - John L. Pollock (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

OSCAR: An Architecture for Generally Intelligent Agents. - John L. Pollock (AGI, 2008)

A Recursive Semantics for Defeasible Reasoning. - John L. Pollock (Argumentation in Artificial Intelligence, 2009)

Defeasible Reasoning and Degrees of Justification. - John L. Pollock (Argument Comput., 2010)

A resource-bounded agent addresses the newcomb problem. - John L. Pollock (Synth., 2010)

Reasoning defeasibly about probabilities. - John L. Pollock (Synth., 2011)