Bridging the gulf between formal calculus and physical reasoning

International Journal of Mathematical Education in Science and Technology ◽

10.1080/0020739800110301 ◽

1980 ◽

Vol 11 (3) ◽

pp. 307-318

Author(s):

A. Van Der Meer

Keyword(s):

Physical Reasoning ◽

Formal Calculus

Download Full-text

Can Dolphins Learn the Shell Game? A Test of Physical Reasoning in a Marine Mammal

PsycEXTRA Dataset ◽

10.1037/e603992013-061 ◽

2006 ◽

Author(s):

Kelly Jaakkola

Keyword(s):

Marine Mammal ◽

Physical Reasoning

Download Full-text

Using an arbitrary control to assess physical reasoning in keas (Nestor notabilis)

PsycEXTRA Dataset ◽

10.1037/e630982013-017 ◽

2013 ◽

Author(s):

Zoe Johnson-Ulrich

Keyword(s):

Physical Reasoning

Download Full-text

How do the object-file and physical-reasoning systems interact? Evidence from priming effects with object arrays or novel labels

Cognitive Psychology ◽

10.1016/j.cogpsych.2020.101368 ◽

2021 ◽

Vol 125 ◽

pp. 101368

Author(s):

Yi Lin ◽

Jie Li ◽

Yael Gertner ◽

Weiting Ng ◽

Cynthia L. Fisher ◽

...

Keyword(s):

Object File ◽

Priming Effects ◽

Physical Reasoning ◽

Reasoning Systems

Download Full-text

Euler operators and conservation laws of the BBM equation

Mathematical Proceedings of the Cambridge Philosophical Society ◽

10.1017/s0305004100055572 ◽

1979 ◽

Vol 85 (1) ◽

pp. 143-160 ◽

Author(s):

Peter J. Olver

Keyword(s):

Wave Equation ◽

Conservation Laws ◽

Calculus Of Variations ◽

Long Wave ◽

Regularized Long Wave Equation ◽

Formal Calculus ◽

Euler Operators ◽

AbstractThe BBM or Regularized Long Wave Equation is shown to possess only three non-trivial independent conservation laws. In order to prove this result, a new theory of Euler-type operators in the formal calculus of variations will be developed in detail.

Download Full-text

Pouring liquids: A study in commonsense physical reasoning

Artificial Intelligence ◽

10.1016/j.artint.2008.04.003 ◽

2008 ◽

Vol 172 (12-13) ◽

pp. 1540-1578 ◽

Author(s):

Ernest Davis

Keyword(s):

Physical Reasoning

Download Full-text

A Formal Calculus for Informal Equality with Binding

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_12 ◽

2007 ◽

pp. 162-176 ◽

Author(s):

Murdoch J. Gabbay ◽

Aad Mathijssen

Keyword(s):

Formal Calculus

Download Full-text

An imperative formal calculus for Java

2010 2nd International Conference on Future Computer and Communication ◽

10.1109/icfcc.2010.5497813 ◽

2010 ◽

Author(s):

Bo Xu ◽

Baojian Hua ◽

Ying Gao

Keyword(s):

Formal Calculus

Download Full-text

How to Fall Slower than Gravity: And Other Everyday (and Not So Everyday) Uses of Mathematics and Physical Reasoning by Paul J. Nahin. Princeton University Press, Princeton, NJ, U.S.A., 2018. 320 pp., illus. Trade. ISBN: 978-0691185026.

Leonardo ◽

10.1162/leon_r_01865 ◽

2020 ◽

Vol 53 (2) ◽

pp. 223-224

Author(s):

Phil Dyke

Keyword(s):

Physical Reasoning ◽

Princeton University

Download Full-text

Physical Reasoning Ability Development of High School Students

Journal of Physics Conference Series ◽

10.1088/1742-6596/1233/1/012064 ◽

2019 ◽

Vol 1233 ◽

pp. 012064

Author(s):

Suhariyono ◽

Djemari Mardapi

Keyword(s):

High School ◽

High School Students ◽

Reasoning Ability ◽

School Students ◽

Physical Reasoning

Download Full-text

Innate Ideas Revisited: For a Principle of Persistence in Infants' Physical Reasoning

Perspectives on Psychological Science ◽

10.1111/j.1745-6916.2008.00056.x ◽

2008 ◽

Vol 3 (1) ◽

pp. 2-13 ◽

Author(s):

Renée Baillargeon

Keyword(s):

Physical Reasoning ◽

Download Full-text