Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan ·

Source URL: www.lri.fr

• Computer arithmetic
• Computing
• Computer architecture
• IEEE floating point
• Double-precision floating-point format
• Long double
• Extended precision
• C99
• Single-precision floating-point format
• SSE2
• Strictfp
• Normal number

Simply Logical Intelligent Reasoning by Example Peter Flach University of Bristol, United Kingdom

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

Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks Department of Computer Science, University of Manchester Oxford Road, Manchester M13 9PL, UK

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

Microsoft Word - coverpage1.doc

Source URL: www.tmrfindia.org

• Cybernetics
• Genetic algorithm
• Mathematical optimization
• Knowledge economy
• Knowledge representation and reasoning
• Intelligent tutoring system
• Knowledge

NRICH http://nrich.maths.org Problems Linked to the Primary National Curriculum for Mathematics in EYFS, Year 1 and Year 2 NRICH tasks embrace the aims of the curriculum (problem solving, reasoning and fluency) as well a

Source URL: nrich.maths.org

Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University

Source URL: ssll.cecs.anu.edu.au

Sticking to the Evidence? A computational and behavioral case study of micro-theory change in the domain of magnetism Elizabeth Bonawitza , Tomer Ullmanb , Alison Gopnika , Josh Tenenbaumb (liz ), (tomeru@m

Source URL: ccdlab.rutgers.edu

• Inductive reasoning
• Critical thinking
• Scientific method
• Machine learning
• Causality
• Conditionals
• Theory
• Magnet
• Scientific theory
• Psychology
• Intelligence
• Concept learning

Stream Reasoning-Related Activities at KRR Uni Potsdam

Source URL: www.vcla.at

Capturing News Stories Once, Retelling a Thousand Ways José Luis Redondo García EURECOM Biot, France

Source URL: giusepperizzo.github.io

• Knowledge representation and reasoning
• Reasoning
• Scientific modeling
• Semantic Web
• Conceptual model

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (Technical Appendix) Ralf Jung MPI-SWS & Saarland University

Source URL: plv.mpi-sws.org