#### Submissions from 1998

Review of "The Art of Causal Conjecture by Glenn Shafer, Clark Glymour

What Went Wrong: Reflections on Science by Observation and The Bell Curve, Clark Glymour

Causal Mechanism and Probability: A Normative Approach, Clark Glymour and Patricia W. Cheng

Ramon Lull and the Infidels, Clark Glymour, Kennth M. Ford, and Patrick J. Hayes

Iterated Belief Revison, Reliability, and Inductive Amnesia, Kevin Kelly

Iterated belief revision, reliability, and inductive amnesia, Kevin T. Kelly

The Learning Power of Belief Revision, Kevin T. Kelly

Virtue and Consequences: Hobbes on the Value of the Moral Virtues, Alex John London

The TETRAD Project: Constraint Based Aids to Causal Model Specificatoin, Richard Scheines, Pater Spirtes, Clark Glymour, Christopher Meek, and Thomas Richardson

Toward finitist proof theory, Sieg

An abstract model for parallel computations : Gandy's thesis, Sieg and John Byrnes

Towards Finitist Proof Thoery, Wilfried Sieg

An Abstract Model for Parallel Computation: Gandy's Thesis, Wilfried Sieg and John Byrnes

Common Knowledge: Analysis and Applications, Peter Vanderschraaf

Game Theory, Evolution and Justice, Peter Vanderschraaf

#### Submissions from 1997

Belief Revision Conditionals: Models of Suppositional Reasoning, Horacio Arlo-Costa

Plausibly Hard Combinatorial Tautologies, Jeremy Avigad

Predicative Functionals and an Interpretation of ID^_, Jeremy Avigad

A Model-Theoretic Approach to Ordinal Analysis, Jeremy Avigad and Richard Sommer

The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength, Jeremy Avigad and Richard Sommer

Sheaf Representation for Topoi, Steve Awodey

Sheaf representation for topoi, Steve Awodey

Topological completeness for higher-order logic, Steve Awodey and C Butz

Topological Completeness for Higher-Order Logic, Steve Awodey and C. Butz

An Evaluation of Machine-Learning Methods for Predicting Pneumonia Mortality, Gregory F. Cooper, Constantin F. Aliferis, Richard Ambrosino, John Aronis, Bruce G. Buchanon, Richard Caruana, Michael J. Fine, Clark Glymour, Geoffrey Gordon, Barbara H. Hanusa, Janine E. Janosky, Christopher Meek, Tom Mitchell, Thomas Richardson, and Peter Spirtes

Gun Control, Preston K. Covey

Statistical Themes and Lessons for Data Mining, Clark Glymour, David Madigan, Daryl Pregibon, and Padhraic Smyth

Church's Thesis and Hume's Problem, Kevin T. Kelly and Oliver Schulte

Reliable Belief Revision, Kevin T. Kelly, Oliver Schulte, and Vincent Hendricks

Learning Theory and the Philosophy of Science, Kevin T. Kelly, Oliver Schulte, and Cory Juhl

An Introduction to Causal Inference, Richard Scheines

Hilbert's programs : 1917-1922, Sieg

Normal natural deduction proofs (in classical logic), Sieg and John Byrnes

Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science, Wilfried Sieg

Gödel, Turing, and K-Graph Machines, Wilfried Sieg and John Byrnes

Reply to Humphreys and Freedman's Review of Causation, Prediction, and Search, Peter Spirtes, Calrk Glymour, and Richard Scheines

Casual Inference in the Presence of Latent Variables and Selection Bias, Peter Spirtes, Christopher Meek, and Thomas Richardson

Using Path Diagrams as a Structural Equation Modelling Tool, Peter Spirtes, Thomas Richardson, Chris Meek, Richard Scheines, and Clark Glymour

Common knowledge : analysis and applications, Peter Vanderschraaf

#### Submissions from 1996

An Effective Proof that Open Sets are Ramsey, Jeremy Avigad

Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic, Jeremy Avigad

On the Relationship Between ID^_, Jeremy Avigad

Common Reasoning About Admissiblity, Christina Bicchieri and Oliver Schulte

Common reasoning about admissibility, Cristina Bicchieri and Oliver Schulte

Statistical Inference and Data Mining, Clark Glymour, David Madigan, Daniel Pregibon, and Padhraic Smyth

Fast Recalculation of the Covariance Matrix Implied by a Recursive Structural Equation Model, Thomas Richardron

Discovering cyclic causal structure, Thomas Richardson

Discovering Cyclic Causal Structure, Thomas Richardson

Fast re-calculation of the covariance matrix implied by a recursive structural equation model, Thomas Richardson

Automated Discovery of Linear Feedback Models, Thomas Richardson and Peter Spirtes

Automated discovery of linear feedback models, Thomas Richardson and Peter Spirtes

Proof theory, Sieg

Godel, Turing, and K-graph machines, Sieg and John Byrnes

K-graph machines : generalizing Turing's machines and arguments, Sieg and John Byrnes

Proof Theory, Wilfried Sieg

K-Graph Machines: Generalizing Turing's Machines and Arguments, Wilfried Sieg and John Byrnes

Normal Natural Deduction Proofs (In Classical Logic), Wilfried Sieg and John Byrnes

Discovering Causal Relations Among Latent Variables in Directed Acyclical Graphical Models, Peter Spirtes

Discovering causal relations among latent variables in directed acyclic graphical models, Peter Spirtes

Using d-separation to calculate zero partial correlations in linear models with correlated errors, Peter Spirtes

Using D-Separation to Calculate Zero Partial Correlations in Linear Models with Correlated Errors, Peter Spirtes, Thomas Richardson, Christopher Meek, Richard Scheines, and Clarke Glymour

#### Submissions from 1995

Epistemic Conditionals, Snakes and Stars, Horacio L. Arlo-Costa

Having the Right Tool: Causal Graphs in Teaching Research Design, Marek J. Druzdzel and Clark Glymour

Discussion of Causal Diagrams for Empirical Research by J. Pearl, Stephen E. Fienberg, Clark Glymour, and Peter Spirtes

The Computable Testability of Theories with Uncomputable Predictions, Kevin T. Kelly and Oliver Schulte

Comparison and superlatives : what's the best?, Deryle W. Lonsdale

Complete orientation rules for patterns, Chris Meek

Relating graphical frameworks : undirected, directed acyclic and chain graph models, Chris Meek

Strong-completeness and faithfulness in belief networks, Chris Meek

Complete Orientation Rules for Patterns, Christopher Meek

Related Graphical Frameworks: Undircted, Directed Acyclic and Chain Graph Models, Christopher Meek

Strong-Completeness and Faithfulness in Belief Networks, Christopher Meek

The Structure of Multiple-Headed Negotiations, Carolyn Penstein-Rosé

The structure of multiple-headed negotiations, Carolyn Penstein-Rose╠ü

The structure of multiple-headed negotiations, Carolyn Penstein-Rose╠ü

A Polynomial Algorithm for Deciding Equivalence in Directed Acyclic Graphical Models, Thomas Richardson

A polynomial algorithm for deciding equivalence in directed cyclic graphical models, Thomas Richardson

Bayesian estimation and testing of structural equation models, Richard Scheines, Herbert Hoijtink, and Anne Boomsma

Bayesian Estimation and Testing of Structural Equation Models, Richard Scheines, Herbert Hoijtink, and Anne Boomsma

Hilbert's Program: 1917-1922, Wilfried Sieg

#### Submissions from 1994

Backwards Forwards Induction, Gian Aldo Antonelli and Cristina Bicchieri

Forward Induction, Gian Aldo Antonelli and Cristina Bicchieri

Backwards forward induction, Gian Aldo. Antonelli and Cristina Bicchieri

Forward induction, Gian Aldo. Antonelli and Cristina Bicchieri

An extended account of 'modal flip' and partial verb phrase fronting in German, Kathryn L. Baker

Game Theoretic Axioms for Local Rationality and Bounded Knowledge, Cristina Bicchieri and Gian Aldo Antonelli

Game-theoretic axioms for local rationality and bounded knowledge, Cristina Bicchieri and Gian Aldo. Antonelli

Evolution and revolution : the dynamics of corruption, Cristina Bicchieri and Carlo Rovelli

Evolution and Revolution: The Dynamics of Corruption, Cristina Biccieri and Carlo Rovelli

ALE : the attribute logic engine user's guide, version 2.0.1, Bob Carpenter and Gerald Penn

What Do College Ranking Data Tell Us About Student Retention?, Marek Druzdzel and Clark Glymour

Aspectual composition using weak type coercion, Alex Franz

On the Methods of Cognitive Neuropsychology, Clark Glymour

Regression and causation, Clark N. Glymour

Regression and Causation, Clark Glymour, Richard Scheines, Peter Spirtes, and Christopher Meek

Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles (I), Aleksandar Ignjatović

Delineating classes of computational complexity via second order theories with weak set existence principles., Ignjatovic╠î

Conditioning and Intervening, Christopher Meek and Clark Glymour