Carnegie Mellon University

Technical Reports


194 Daniel Malinsky and Peter Spirtes Estimating Causal Effects with Ancestral Graph Markov Models


193 Isaac Davis, Erich Kummerfeld, David Danks, and Sergey Plis Inferring Observed Structure For Dynamic Graphs
with Unobserved Variables
192 Patricia Rich
and Kevin Zollman
Honesty through repeated interactions


191 Remco Heesen Network Formation with Heterogeneous Nodes and Stochasticity


190 Erich Kummerfeld and David Danks Model Change and Methodological Virtues in Scientific Inference


189 Erich Kummerfeld and David Danks Online Causal Structure Learning
188 Conor Mayo-Wilson, Kevin Zollman, and David Danks Wisdom of the Crowds vs. Groupthink: Learning in Groups and in Isolation
187 Joseph Ramsey Bootstrapping the PC and CPC Algorithms to Improve Search Accuracy
186 Conor Mayo-Wilson and Kevin Kelly Ockham Efficiency Theorem for Stochastic Empirical Methods
185 Michael Freenor and Clark Glymour Searching the DCM Model Space, and Some Generalizations


184 Edward T. Dean Dedekind's treatment of Galois theory in the Vorlesungen
183 Peter Spirtes A Tutorial On Causal Inference
182 Rory Smead and Kevin Zollman The Stability of Strategic Plasticity


181 Steve Kieffer, Jeremy Avigad, and Harvey Friedman A language for mathematical knowledge management


180 Steve Awodey and Kohei Kishida Topology and Modality: The Topological Interpretation of First-Order Modal Logic


179 Jeremy Avigad A variant of the double-negation translation
178 Wilfried Sieg Church Without Dogma: Axioms for Computability
177 Joseph Ramsey A PC-Style Markov Blanket Search for High Dimensional Datasets


176 Maralee Harrell Using Argument Diagrams to Improve Critical Thinking Skills in 80-100 What Philosophy Is
175 Wilfred Sieg Church Without Dogma: Axioms for Computability
174 Wilfred Sieg Gödel on Computability
173 Wilfred Sieg and Rosella Lupiccini Computing Machines: Entry for the Second Edition of the Encyclopedia of Philosophy
171 Tianjaou Chu, David Danks, and Clark Glymour Data Driven Methods for Nonlinear Granger Causality: Climate Teleconnection Mechanisms
170 Steve Awodey Notes on Algebraic Set Theory
169 JiJi Zhang and Peter Spirtes A Transformational Characterization of Markov Equivalence between DAGs with Latent Variables
168 JiJi Zhang and Peter Spirtes A Characterization of Markov Equivalence Classes for Ancestral Graphical Models
167 Peter Vanderschraaf Reputational Enforcement of Covenants
166 Wilfred Sieg Relative Consistency and Accesible Domains
165 Steve Awodey and A. W. Carus The Turning Point and the Revolution: Philosophy of Mathematics in Logical Empiricism from Tractatus on Logical Syllogism


163 Jeremy Avigad Notes on a Formalization of the Prime Number Theorem
162 Jeremy Avigad Dedekind's 1871 Version of the Theory of Ideals
161 Frederick Eberhardt, Clark Glymour, and Richard Scheines N-1 Experiments Suffice to Determine the Causal Relations Among N Variables
160 Horacio Arlo-Costa and Issac Levi Contraction: On the Decision Theoretical Origins of Minimal Change and Entrenchment
159 Steve Awodey Book Review: Sketches of an Elephant
158 Maralee Harrell The Improvement of Critical Thinking Skills in What Philosophy
157 David Danks Psychological Theories of Categorizations as Probabilistic Models
156 Steve Awodey and Henrik Forssell Algebraic Models of Intuitionistic Theories of Sets and Classes
155 Steve Awodey and Michael A. Warren Predictive Algebraic Set Theory
154 Wilfred Sieg and Mark Ravaglia David Hilbert and Paul Bernays, Grundlagen der Mathematik I and II: A Landmark
153 Wilfred Sieg and Dirk Schlimm Dedekind's Analysis of Number: Systems and Axioms


152 Wilfred Sieg Only Two Letters: The Correspondence Between Herbrand and Gödel
151 Horacio Arlo-Costa and Rohit Rarikh Conditional Probability and Defeasible Inference
150 Horacio Arlo-Costa Non-Adjunctive Inference and Classical Modalities
149 David Danks Learning Integrated Structure from Distributed Databases with Overlapping Variables
148 Peter Spirtes and Richard Scheines Causal Inference and Ambiguous Manipulations
146 Steve Awodey, Carsten Buz, Alex Simpson, and Thomas Streicher Relating Topos Theory and Set Theory Via Categories of Classes
145 Steve Awodey and A. W. Carus Carnap's Dream: Gödel, Wittgenstein, and Logical Syntax
144 Wilfred Sieg and Clinton Field Automated Search for Gödel's Proofs
143 Steve Awodey An Answer to Hellman's Question: "Does Category Theory Provide a Framework for Mathematical Structuralism?"
142 Peter Vanderschraaf and J. McKenzie Alexander Local Interactions with Influence Neighborhoods
141 Bernd Buldt On RC 102-43-14
140 Aurora P. Jackson and Richard Scheines Single Mother's Efficacy, Parenting in the Home Environment, and Children's Development in a Two-Wave Study
139 Wilfred Sieg and Dirk Schlimm Dedekind's Analysis of Number (1): Systems and Axioms
138 Kevin T. Kelly and Clark Glymour Why Bayesian Confirmation Does Not Capture the Logic of Scientific Justification


137 Kevin T. Kelly A Close Shave with Realism: How Ockham's Razor Helps Us Find The Truth
136 Steve Awodey and Jonas Eliasson Ultrasheaves and Double-Negation
135 Richard Scheines, Gaea Leinhardt, Joel Smith, and Kwangsu Cho Teaching and Learning with Online Courses
134 Jeremy Avigad Number Theory and Elementary Arithmetic
133 Tianjaou Chu Sampling, Amplifying, and Resampling
131 Shane Harwood and Richard Scheines Genetic Algorithm Search Over Causal Models
130 Wilfred Sieg and Saverio Cittadini Normal Natural Deduction Proof (In Non-Classical Logics)
128 Shane Harwood and Richard Scheines Learning Linear Causal Structure Equation Models with Genetic Algorithms
127 Michael Kohlhase and Mandy Simons Interpreting Negatives in Discourse
126 Steve Awodey and Jesse Hughes Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem
125 Jeremy Avigad Notes on II-conservativity, w-submodels, and the Collection Schema


124 Richard Scheines and Joe Ramsey Simulating Genetic Regulatory Networks
123 Steve Awodey and A. W. Carus How Carnap Could Have Replied to Gödel
122 Steve Awodey and Andrej Bauer Propositions as {Types}
121 Wilfred Sieg Four Introductory Notes
120 Jeremy Avigad and Erich H. Reck Clarifying the Nature of The Infinite: The Development of Metamathematics and Proof Theory
119 Peter Vanderschraaf and Brian Skyrms Learning to Take Turns
118 Steve Awodey and Erich H. Reck Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics
117 Steve Awodey and Audrej Bauer Sheaf Toposes for Realizability


116 Steve Awodey Continuity and Logical Completeness: An Application of Sheaf Theory and Topoi
115 Jeremey Avigad Weak Theories of Nonstandard Arithmetic and Analysis
114 Jeremey Avigad Update Procedures and the 1-Consistency of Arithmetic
113 Jeremey Avigad Eliminating Definitions and Skolem Functions in First-Order Logic
112 Jeremey Avigad Saturated Models of Universal Theories
111 Jeremey Avigad Algebraic Proofs of Cut Elimination
110 Jeremey Avigad and Jeffery Helzner Transfer Principles in Nonstandard Intuitionistic Arithmetic
109 Steve Awodey and Jeffery Hughes The Coalegebraic Dual of Birkoff's Variety Theorm
107 Horacio Arlo-Costa First Order Extensions of Classical Systems of Modal Logic: The Role of Barcan Schemas
106 Steve Awodey and A. W. Carus Carnap Versus Gödel: On Syntax and Tolerance
105 Wilfried Sieg Calculations by Man and Machine: Mathematical Presentation


104 Wilfried Sieg Calculations by Man and Machine: Conceptual Analysis
103 Steve Awodey and Lars Birkedal Elementary Axioms for Local Maps of Toposes
102 Thomas Richardson and Peter Spirtes Parameterizing and Scoring Mixed Ancestral Graphs
101 Kevin Kelly Naturalism Logicized
100 Mandy Simons On The Felicity Conditions of Disjunctive Sentences
99 S. Awodey, L. Birkendal, and D. Scott Local Realizability Toposes and a Modal Logic for Computability
98 Thomas Richardson and Peter Spirtes Scoring Ancestral Graph Models
97 James M. Robins, Richard Scheines, Peter Spirtes, and Larry Wasserman The Limits of Causal Knowledge


95 Peter Vanderschraaf Game Theory, Evolution and Justice
94 Horacio Arlo-Costa Full Belief, Supposition, and Personal Probablility
92 S. Awodey and A. W. Carus Carnap, Completeness, and Categoricity: The Gabelbarkeitssatz of 1928
91 Jeremey Avigad Interpretating Classical Theories in Constructive Ones
90 Wilfried Sieg Towards Finitist Proof Theory
89 Wilfried Sieg and John Byrnes An Abstract Model for Parallel Computation: Gandy's Thesis
88 Kevin Kelly Iterated Belief Revison, Reliability, and Inductive Amnesia
86 Jeremey Avigad A Realiziability Interpretation for Classical Arithmetic
85 Peter Vanderschraaf Common Knowledge: Analysis and Applications


84 Horacio Arlo-Costa Belief Revision Conditionals: Models of Suppositional Reasoning
82 Spirtes, Richardson, Meek, Scheines, and Glymour Using Path Diagrams as a Structural Equation Modelling Tool
81 S. Awodey and C. Butz Topological Completeness for Higher-Order Logic
80 Steve Awodey Sheaf Representation for Topoi
79 Wilfried Sieg Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science
78 Wilfried Sieg Hilbert's Program: 1917-1922
77 Peter Spirtes Casual Inference in the Presence of Latent Variables and Selection Bias
76 Wilfried Sieg and John Byrnes Gödel, Turing, and K-Graph Machines


75 Thomas Richardson and Peter Spirtes Automated Discovery of Linear Feedback Models
74 Wilfred Sieg and John Byrnes Normal Natural Deduction Proofs (In Classical Logic)
73 Christina Bicchieri and Oliver Schulte Common Reasoning About Admissiblity
72 P. Spirtes, T. Richardson, C. Meek, R. Scheines, and C. Glymour Using D-Separation to Calculate Zero Partial Correlations in Linear Models with Correlated Errors
71 Wilfred Sieg Proof Theory
70 Wilfred Sieg and John Byrnes K-Graph Machines: Generalizing Turing's Machines and Arguments
69 Peter Spirtes Discovering Causal Relations Among Latent Variables in Directed Acyclical Graphical Models
68 Thomas Richardson Discovering Cyclic Causal Structure
67 Thomas Richardson Fast Recalculation of the Covariance Matrix Implied by a Recursive Structural Equation Model


66 R. Scheines, H. Hoijtink and A. Boomsma Bayesian Estimation and Testing of Structural Equation Models
65 Carolyn Penstein-Rosé The Structure of Multiple-Headed Negotiations
64 Christopher Meek Related Graphical Frameworks: Undircted, Directed Acyclic and Chain Graph Models
63 Thomas Richardson A Polynomial Algorithm for Deciding Equivalence in Directed Acyclic Graphical Models
62 Chris Meek Strong-Completeness and Faithfulness in Belief Networks
61 Chris Meek Complete Orientation Rules for Patterns


60 C. Glymour, R. Scheines, P. Spirtes, and C. Meek Regression and Causation
59 Peter Spirtes Conditional Independence in Directed Cyclical Graphical Models Representing Feedback or Mixtures
58 Gian Aldo Antonelli and Cristina Bicchieri Forward Induction
57 Cristina Bicchieri and Carlo Rovelli Evolution and Revolution: The Dynamics of Corruption
56 Wilfred Sieg and Stanley S. Wainer Program Transformation and Proof Transformation
55 Wilfred Sieg and John Byrnes Generalizing Turing's Machine and Arguments
54 Daniele Mundici and Wilfred Sieg Computability Theory
53 Peter Spirtes Conditional Independence in Directed Cyclic Graphical Models for Feedback
52 Richard Scheines and Wilfred Sieg Computer Environments for Proof Construction
51 Gian Aldo Antonelli and Cristina Bicchieri Backwards Forwards Induction
50 Cristina Bicchieri and Gian Aldo Antonelli Game Theoretic Axioms for Local Rationality and Bounded Knowledge
49 Aleksandar Ignjatović Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles (I)
48 Daniele Mundici and Wilfred Sieg Paper Machines
46 Wilfred Sieg Intercalculation Calculi for Classical Logic


45 Alberto Momigliano and Mario Ornaghi Regular Search Spaces (I): Horn and Normal Clauses
44 Wilfred Sieg and Barbara Kauffmann Unification for Quantified Formula
43 Samuel R. Buss and Aleksandar Ignjatović Unprovability of Consistency Statements in Fragments of Bounded Arithmetic
42 Wilfred Sieg Aspects of Mathematical Experience
41 Alberto Momigliano Theorem Proving via Uniform Proofs
40 Richard Scheines and Wilfred Sieg An Experimental Comparison of Alternative Proof Construction Environments
39 Richard Scheines Unidimensional Linear Latent Variable Models
38 Cristina Bicchieri Counterfactuals, Belief Changes, and Equilibrium Refinements
37 Cristina Bicchieri and Gian Aldo Antonelli Game-Theoretic Axioms for Local Rationality and Bounded Knowledge
36 Daniele Mundici and Wilfred Sieg Mathematics Studies Machines
35 Peter Spirtes Directed Cyclic Graphs, Conditional Independence, and Non-Recursive Linear Constructive Equation Models


34 Aleksandar Ignjatović Hilbert's Program and The Omega-Rule
33 Peter Spirtes and Thomas Verma Equivalence of Causal Models with Latent Variables
32 P. Spirtes, C. Glymour, R. Scheines, C. Meek, S. Fineberg, E. Slate Prediction and Experimental Design with Graphical Causal Models
31 Wilfred Sieg Effectiveness and Provability
30 Wilfred Sieg Mechanisms and Search: Aspects of Proof Theory
29 Saverio Cittadini Intercalation Calculus for Intuitionistic Propositional Logic
28 Kevin T. Kelly, Cory Juhl and Clark Glymour Reliability, Realism, and Relativism
27 Kevin T. Kelly Learning Theory and Descriptive Set Theory
26 Wilfred Sieg Mechanical Procedures and Mathematical Experience
25 Wilfred Sieg “Church's Thesis”, “Consistency”, “Formalization”, “Proof Theory”: Dictionary Entries
24 Wilfred Sieg Mechanisierung Mathematischer Erfahrung Oder: Turings Problem [German]


23 Peter Spirtes Building Causal Graphs from Statistical Data in the Presence of Latent Variables
21 Wilfred Sieg Searching for Proofs (in Sentential Logic)
20 Wilfred Sieg Mechanical Procedures and Mathematical Experience
19 Richard Scheines, Peter Spries and Clark Glymour Building Latent Variable Models
18 Kevin T. Kelly and Clark Glymour Inductive Inference from Theory-Laden Data


16 Peter Spirtes Calculating TETRAD Constraints Implied by Directed Acyclic Graphs
15 Peter Spirtes and Clark Glymour An Algorithm for Fast Recovery of Sparse Causal Graphs
14 Peter Spirtes and Clark Glymour Casual Structure Among Measured Variables Preserved with Unmeasured Variables
13 Kevin T. Kelly General Characteristics of Inductive Inference Over Arbitrary Sets of Data Representations


12 Peter Spirtes, Clark Glymour and Richard Scheines Causality From Probability
11 Bob Carpenter ProP Documentation


10 Clark Glymour and Kevin T. Kelly Thoroughly Modern Meno
9 Clark Glymour and Kevin T. Kelly Theory Discovery from Data with Mixed Quantifiers
8 Peter Spirtes, Richard Scheines and Clark Glymour Simulated Studies of the Reliability of Computer-Aided Model Specification Using the TETRAD, EQS and LISREL Programs
7 Kevin T. Kelly Theory Discovery and Hypothesis Language
6 Kevin T. Kelly Version Spaces, Structural Descriptions and NP-Completeness


5 Clark Glymour, Kevin T. Kelly and Peter Spirtes The Expected Complexity of Problem Solving
4 Clark Glymour Psychology as Physics
3 Kevin T. Kelly and Clark Glymour Convergence to the Truth and Nothing But the Truth


2 Kevin T. Kelly The Automated Discovery of Universal Theories
1 Clark Glymour, Richard Scheines, Peter Spirtes and Kevin Kelly Discovering Causal Structure: Artificial Intelligence, Philosophy of Science and Statistical Modeling