<--- Back to Details
First PageDocument Content
Reasoning / Logical consequence / Thought / Cognitive science / Epistemology / Analogy / Reason / Inference / Scientific modelling / Logic / Science / Knowledge
Date: 2011-08-06 12:49:36
Reasoning
Logical consequence
Thought
Cognitive science
Epistemology
Analogy
Reason
Inference
Scientific modelling
Logic
Science
Knowledge

THE COMPUTER REVOLUTION IN PHILOSOPHY[removed]Aaron Sloman Book contents page

Add to Reading List

Source URL: www.cs.bham.ac.uk

Download Document from Source Website

File Size: 99,89 KB

Share Document on Facebook

Similar Documents

Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2

DocID: 1xW1K - View Document

Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov

DocID: 1xW0p - View Document

Software engineering / Formal methods / Mathematical logic / Type theory / Theoretical computer science / Type systems / Edsger W. Dijkstra / Predicate transformer semantics / Extended static checking / ESC/Java / Type inference / HindleyMilner type system

1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.

DocID: 1xW0d - View Document

Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse

DocID: 1xVrt - View Document

Observational astronomy / Astronomy / Parallel computing / Bayesian network / Sloan Digital Sky Survey / Computing / Bayesian inference / Astronomical survey / Gravitational lens / Computer cluster

Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ ,

DocID: 1xVn9 - View Document