Embodied Functional Relations: A Formal Account Combining Abstract Logical Theory with Grounding in Simulation.

Mihai Pomarlan John A. Bateman

Published in: FOIS (2020)

Keyphrases

logical theories
mathematical models
logical reasoning
model theoretic
embodied cognition
formal methods
mathematical foundations
mathematical model
simulation model
formal model
formal models
mathematical theory
logical structure
logical properties
neural network
theoretical framework