We stand with Ukraine  

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 five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Mathematical Rigor and Proof.
[BibTeX]
[DOI]
Yacin Hamami
Rev. Symb. Log., 2022

2021
Plans and Planning in Mathematical Proofs.
[BibTeX]
[DOI]
Yacin Hamami
,
Rebecca Lea Morris
Rev. Symb. Log., 2021

Counterexample Search in Diagram-Based Geometric Reasoning.
[BibTeX]
[DOI]
Yacin Hamami
,
John Mumma
,
Marie Amalric
Cogn. Sci., 2021

2018
Mathematical Inference and Logical Inference.
[BibTeX]
[DOI]
Yacin Hamami
Rev. Symb. Log., 2018

2015
Logics of questions.
[BibTeX]
[DOI]
Yacin Hamami
,
Floris Roelofsen
Synth., 2015

The interrogative model of inquiry meets dynamic epistemic logics.
[BibTeX]
[DOI]
Yacin Hamami
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).
[BibTeX]
[DOI]
Yacin Hamami
Künstliche Intell., 2015

2013
Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning.
[BibTeX]
[DOI]
Yacin Hamami
,
John Mumma
J. Log. Lang. Inf., 2013

2012
Euclid's diagrammatic logic and cognitive science.
[BibTeX]
[DOI]
Yacin Hamami
,
John Mumma
Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, 2012


  Loading...