Submissions from 1998
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-Rosé
The structure of multiple-headed negotiations, Carolyn Penstein-Rosé
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., Ignjatovič
Conditioning and Intervening, Christopher Meek and Clark Glymour
Computability Theory, Daniele Mundici and Wilfried Sieg
Paper Machines, Daniele Mundici and Wilfried Sieg
Computability theory, Mundici and Sieg
Paper machines, Mundici and Sieg
Implementation of a principle-based parser : based on On-Line Locality Principle, Massimo Paolucci
Computer environments for proof construction, Richard Scheines and Sieg