Items where Subject is "B Philosophy. Psychology. Religion > BC Logic"
Number of items at this level: 48. Article
|
Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovacs, Laura and Temur, Kutsia and Koji, Nakagawa and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang
(2006)
Theorema: Towards computer-aided mathematical theory exploration.
Journal of Applied Logic, 4
(4).
pp. 470-504.
ISSN 1570-8683.
The full text of this publication is not available from this repository.
|
|
|
Goldstein, Laurence
(2002)
Refuse Disposal.
Analysis , 62
(3).
pp. 236-241.
ISSN 0003-2638.
|
|
|
Goldstein, Laurence
(2004)
Reply to Sherry.
Philosophia, 31
(3-4).
pp. 579-588.
ISSN 0048-3893 (print).
Access to this publication is restricted.
|
|
|
Tanney, J.
(2002)
Self-knowledge, Normativity, and Construction.
Logic, Thought and Language, Royal Institute of Philosophy Supplement, 51
.
pp. 37-55.
ISSN 1358-2461.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2003)
Bayesianism and Language Change.
Journal of Logic, Language and Information, 12
(1).
pp. 53-97.
ISSN 0925-8531.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2002)
Maximising entropy efficiently.
Electronic Transactions in Artificial Intelligence, 7
.
ISSN 1401-9841.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2008)
Objective Bayesian probabilistic logic.
Journal of Algorithms, 63
(4).
pp. 167-183.
ISSN 0196-6774 .
The full text of this publication is not available from this repository.
|
|
Book section
|
Goldstein, Laurence
(2008)
Doubting Thomas: from Bradwardine back to Anon.
In: Rahman, Shahid and Tulenheimo, Tero and Genot, Emmanuel, eds.
Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox.
Logic, Epistemology, and the Unity of Science
.
Springer, Berlin, Germany, pp. 65-85.
ISBN 9781402084676.
The full text of this publication is not available from this repository.
|
|
|
Goldstein, Laurence
(2011)
Adding a Dimension to Logic Diagramming.
In: Blackburn, Patrick and van Ditmarsch, Hans and Manzano, Maria, eds.
Tools for teaching logic : third international congress, TITTL 2011, Salamanca, Spain, June 1-4, 2011. proceedings.
Lecture notes in artificial intelligence
(6680).
Springer, New York, pp. 101-108.
ISBN 9783642213496.
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)  Preview |
|
|
Goldstein, Laurence
(2004)
The Barber, Russell's Paradox, Catch-22, God, Contradiction and much more.
In: Priest, G. and Beall, J.C. and Armour-Garb, B., eds.
The Law of Non-Contradiction:New Philosophical Essays.
Oxford University Press, Oxford, UK, pp. 295-313.
ISBN 0 19 926517 8.
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)  Preview |
|
|
Haenni, Rolf and Romeijn, Jan-Willem and Wheeler, Gregory and Williamson, J.
(2008)
Possible Semantics for a Common Framework of Probabilistic Logics.
In: Huynh, Van-Nam and Nakamori, Yoshiteru and Ono, Hiroakira and Lawry, Jonathan and Kreinovich, Vladik and Nguyen, Hung T., eds.
Interval / Probabilistic Uncertainty and Non-Classical Logics.
Advances in Intelligent and Soft Computing, 46
.
Springer , Berlin, pp. 268-279.
ISBN 9783540776635.
The full text of this publication is not available from this repository.
|
|
|
Wheeler, Gregory and Williamson, J.
(2011)
Evidential probability and objective Bayesian epistemology.
In: Bandyopadhyay, Prasanta S. and Forster, Malcolm R., eds.
Philosophy of statistics.
Handbook of the Philosophy of Science, 7
.
Elsevier, pp. 307-331.
ISBN 9780444518620.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2002)
Probability logic.
In:
Handbook of the Logic of Inference and Argument: The Turn Toward the Practical.
Elsevier Science & Technology, Amsterdam, pp. 397-424.
ISBN 9780444506504.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2011)
An objective Bayesian account of confirmation.
In:
Explanation, Prediction, and Confirmation. New Trends and Old Ones Reconsidered.
The Philosophy of Science in a European Perspective, 2
.
Springer, pp. 53-81.
ISBN 9789400711808.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2001)
Bayesian networks for logical reasoning.
In:
Proceedings of the AAAI Fall Symposium on using Uncertainty within Computation.
AAAI Press, pp. 136-143.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2001)
Foundations for Bayesian networks.
In:
Foundations of Bayesianism.
Applied Logic Series
(24).
Kluwer , Dordrecht, pp. 75-115.
ISBN 1402002238.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2009)
Philosophies of probability.
In: Gabbay, D.M. and Thagard, P. and Woods, J., eds.
Philosophy of Mathematics.
Handbook of the Philosophy of Science
.
Elsevier Science & Technology/ North Holland, Oxford, pp. 493-533.
ISBN 9780444515551.
The full text of this publication is not available from this repository.
|
|
|
Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus
(2006)
Theorema.
In: Wiedijk, Freek, ed.
The Seventeen Provers of the World.
Lecture Notes in Artificial Intelligence, 3600
.
Springer, pp. 96-107.
ISBN 9783540307044.
The full text of this publication is not available from this repository.
|
|
Conference or workshop item
|
Williamson, J.
(2008)
Objective Bayesianism with predicate languages.
In: Conference on Experimental Reasoning, Reliability, Objectivity, and Rationality - Induction, Statistics, and Modeling (ERROR 2006), June 2006, Virginia Tech, Blacksburg, VA.
The full text of this publication is not available from this repository.
|
|
Book
|
Haenni, Rolf and Romeijn, Jan-Willem and Wheeler, Gregory and Williamson, J.
(2011)
Probabilistic logics and probabilistic networks.
Synthese Library, 350
.
Springer, 155 pp.
The full text of this publication is not available from this repository.
|
|
|
Williamson, J.
(2010)
In Defence of Objective Bayesianism.
Oxford University Press, Oxford, 185 pp.
ISBN 9780199228003.
The full text of this publication is not available from this repository.
|
|
Edited book
|
Corfield, D.N. and Williamson, J., eds.
(2001)
Foundations of Bayesianism.
Kluwer Academic Publishers, 428 pp.
ISBN 978-1402002236.
The full text of this publication is not available from this repository.
|
|
Research report (external)
Review
This list was generated on Fri May 24 15:25:57 2013 BST.
|