Yacin Hamami

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 4

Top Topics

Mathematical Proofs

Top Venues

Rev. Symb. Log.

J. Log. Lang. Inf.

Publications

Yacin Hamami
Mathematical Rigor and Proof. Rev. Symb. Log. 15 (2) (2022)
Yacin Hamami, John Mumma, Marie Amalric
Counterexample Search in Diagram-Based Geometric Reasoning. Cogn. Sci. 45 (4) (2021)
Yacin Hamami, Rebecca Lea Morris
Plans and Planning in Mathematical Proofs. Rev. Symb. Log. 14 (4) (2021)
Yacin Hamami
Mathematical Inference and Logical Inference. Rev. Symb. Log. 11 (4) (2018)
Yacin Hamami, Floris Roelofsen
Logics of questions. Synth. 192 (6) (2015)
Yacin Hamami
Markus Knauff: Space to Reason - A Spatial Theory of Human Thought - The MIT Press, Cambridge, MA, 2013, xvii+312 pp., ISBN: 9780262018654 (Hardcover), ISBN: 9780262313636 (Ebook), $40 (Hardcover), $28 (Ebook). Künstliche Intell. 29 (3) (2015)
Yacin Hamami
The interrogative model of inquiry meets dynamic epistemic logics. Synth. 192 (6) (2015)
Yacin Hamami, John Mumma
Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning. J. Log. Lang. Inf. 22 (4) (2013)
Yacin Hamami, John Mumma
Euclid's diagrammatic logic and cognitive science. ESSLLI Logic & Cognition Workshop (2012)