- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j14 |      | Jeanne Peijnenburg, Branden Fitelson, Igor Douven: Introduction to the Special Issue: Probability, Confirmation and Fallacies. Synthese 184(1): 1 (2012) |
| i3 | | |
| 2010 | ||
| j13 | | |
| 2008 | ||
| j12 | | |
| 2007 | ||
| j11 | | Branden Fitelson, Edward N. Zalta: Steps Toward a Computational Metaphysics. J. Philosophical Logic 36(2): 227-247 (2007) |
| j10 | | |
| j9 | | |
| j8 | | Branden Fitelson: Likelihoodism, Bayesianism, and relational confirmation. Synthese 156(3): 473-489 (2007) |
| 2002 | ||
| j7 | | William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos: Short Single Axioms for Boolean Algebra. J. Autom. Reasoning 29(1): 1-16 (2002) |
| j6 | | Larry Wos, Dolph Ulrich, Branden Fitelson: Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. J. Autom. Reasoning 29(2): 107-124 (2002) |
| j5 | | Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos: Shortest Axiomatizations of Implicational S4 and S5. Notre Dame Journal of Formal Logic 43(3): 169-179 (2002) |
| i2 | | Larry Wos, Dolph Ulrich, Branden Fitelson: Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. CoRR cs.LO/0211014 (2002) |
| i1 | | Larry Wos, Dolph Ulrich, Branden Fitelson: XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus. CoRR cs.LO/0211015 (2002) |
| 2001 | ||
| j4 | | Kenneth Harris, Branden Fitelson: Distributivity in [Lstrok][aleph]0 and Other Sentential Logics. J. Autom. Reasoning 27(2): 141-156 (2001) |
| j3 | | |
| j2 | | Kenneth Harris, Branden Fitelson: Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. J. Philosophical Logic 30(1): 51-55 (2001) |
| j1 | | Branden Fitelson, Larry Wos: Finding Missing Proofs with Automated Reasoning. Studia Logica 68(3): 329-356 (2001) |
| 2000 | ||
| c1 | | Larry Wos, Branden Fitelson: Automating the Search for Answers to Open Questions. TPHOLs 2000: 519-525 |
| 1 | Igor Douven | |
| 2 | Zachary Ernst | |
| 3 | Andrew Feist | |
| 4 | Kenneth Harris | |
| 5 | William McCune | |
| 6 | Daniel Osherson | |
| 7 | Jeanne Peijnenburg | |
| 8 | Dolph Ulrich | |
| 9 | Robert Veroff | |
| 10 | Larry Wos | |
| 11 | Edward N. Zalta |
Colors in the list of coauthors
Last update Fri May 24 04:20:20 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page