Yacin Hamami

Orcid: 0000-0002-0780-7996

According to our database1, Yacin Hamami authored at least 9 papers between 2012 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Mathematical Rigor and Proof.
Rev. Symb. Log., 2022

2021
Plans and Planning in Mathematical Proofs.
Rev. Symb. Log., 2021

Counterexample Search in Diagram-Based Geometric Reasoning.
Cogn. Sci., 2021

2018
Mathematical Inference and Logical Inference.
Rev. Symb. Log., 2018

2015
Logics of questions.
Synth., 2015

The interrogative model of inquiry meets dynamic epistemic logics.
Synth., 2015

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., 2015

2013
Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning.
J. Log. Lang. Inf., 2013

2012
Euclid's diagrammatic logic and cognitive science.
Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, 2012


  Loading...