InKreSAT: Modal Reasoning via Incremental Reduction to SAT Mark Kaminski1 and Tobias Tebbi2 1 Department of Computer Science, University of Oxford, UK

Source URL: www.ps.uni-saarland.de

From the book Networks, Crowds, and Markets: Reasoning about a Highly Connected World. By David Easley and Jon Kleinberg. Cambridge University Press, 2010. Complete preprint on-line at http://www.cs.cornell.edu/home/klei

Source URL: www.cs.cornell.edu

Diagnostic Reasoning using Prognostic Information for Unmanned Aerial Systems Johann Schumann1 , Indranil Roychoudhury2 , and Chetan Kulkarni3 1,2,3 Stinger Ghaffarian Technologies, Inc., NASA Ames Research Center, Moff

Source URL: www.phmsociety.org

Measure, Topology and Probabilistic Reasoning in Cosmology† Erik Curiel‡ September 15, 2015 Keywords: cosmology; probability; measure theory; topology; infinite-dimensional spaces

Source URL: strangebeautiful.com

Knowledge Trees Strategies Future Work Strategies as Knowledge Trees for Reasoning About Information Flow

Source URL: crest.cs.ucl.ac.uk

The Development of Analogical Reasoning in Children: A Computational Account Robert G. Morrison () Xunesis, PO BoxChicago, ILUSA Leonidas A. A. Doumas ()

Source URL: learninglab.uchicago.edu

Probabilistic Reasoning for Assembly-Based 3D Modeling

Source URL: geometry.stanford.edu

• Statistical models
• Machine learning
• Bayesian statistics
• Cluster analysis
• Mixture model
• Pattern recognition
• Graphical model
• Bayesian network
• Probabilistic logic
• Principal component analysis
• Expectationmaximization algorithm
• Probability distribution

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Source URL: dream.inf.ed.ac.uk

• Logic programming
• Constraint programming
• Logical consequence
• Statements
• Theorem
• Unification
• Lambda calculus
• Constraint logic programming
• Constraint satisfaction

Open Graphs and Computational Reasoning Lucas Dixon Ross Duncan, Aleks Kissinger University of Edinburgh

Source URL: homepages.inf.ed.ac.uk

An Implemented Context System that Combines Belief Reasoning, Metaphor-Based Reasoning and Uncertainty Handling John A. Barnden and Mark G. Lee School of Computer Science, The University of Birmingham Birmingham, B15 2TT

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