IoT-Intelligence and Web Stream Reasoning Towards Complex Reasoning over Big Data Streams with Answer Set Programming Alessandra Mileo Senior Research Fellow

Source URL: www.vcla.at

On Repairing Reasoning Reversals via Representational Refinements ∗ Alan Bundy, Fiona McNeill and Chris Walton , , School of Informatics, University of Edinbu

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

Towards a higher reasoning level in formalized Homological Algebra? Jes´ us Aransay1, Clemens Ballarin2, and Julio Rubio1 1 2

Source URL: www21.in.tum.de

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey

Source URL: plv.mpi-sws.org

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Monoid
• Monad
• Separation logic
• Invariant
• Modal logic
• Free monoid
• Syntactic monoid

Mind the Gap: Investigating Toddlers’ Sensitivity to Contact Relations in Predictive Events Paul Muentener1*, Elizabeth Bonawitz2, Alexandra Horowitz3, Laura Schulz1 1 Department of Brain & Cognitive Sciences, Massachu

Source URL: eccl.mit.edu

• Philosophy of science
• Theoretical physics
• General relativity
• Causality
• Conditionals
• Causal reasoning
• Causal structure
• Imitation
• Developmental psychology

13 International Workshop on Non-Monotonic Reasoning, NMROn the Complexity of Temporal Defeasible Logic Guido Governatori∗

Source URL: www.governatori.net

Teaching Ambiguous Evidence 1 Teaching three-and-a-half-year-olds to revise their beliefs given ambiguous evidence Elizabeth B. Bonawitz1, Adina Fischer2, & Laura Schulz3 1

Source URL: ccdlab.rutgers.edu

• Statistics
• Logic
• Philosophy
• Statistical inference
• Causal inference
• Epistemology
• Reasoning
• Design of experiments
• Causality
• Theory-theory
• Inductive reasoning
• Bayesian inference

ON TEMPORAL PLANNING AND REASONING WITH POINT-INTERVAL LOGIC by Syed Muhammad Mashhood Ishaque A Thesis Submitted to the Graduate Faculty of

Source URL: www.eecs.tufts.edu

• Algorithm
• Mathematical logic
• Theoretical computer science
• Graph of a function
• Mathematics
• Academia
• Abstraction

Question Answering via Integer Programming over Semi-Structured Knowledge Daniel Khashabi† , Tushar Khot‡ , Ashish Sabharwal‡ , Peter Clark‡ , Oren Etzioni‡ , Dan Roth† † University of Illinois at Urbana-Ch

Source URL: ai2-website.s3.amazonaws.com

• Reasoning
• Natural language processing
• Question answering
• Inference
• Multiple choice
• Yahoo! Answers
• Question
• Knowledge representation and reasoning
• Statistics
• Machine learning

Developmental Psychology Children’s Causal Inferences From Conflicting Testimony and Observations Sophie Bridgers, Daphna Buchsbaum, Elizabeth Seiver, Thomas L. Griffiths, and Alison Gopnik Online First Publication, No

Source URL: cocosci.berkeley.edu

• Philosophy
• Metaphysics
• Philosophy of science
• Knowledge
• Information
• Causality
• Conditionals
• Statistical models
• Informant
• Bayesian network
• Determinism
• Causal reasoning