Switch to: References

Citations of:

Mathematical models of cognitive space and time

In D. Andler, M. Okada & I. Watanabe (eds.), Reasoning and Cognition. pp. 125--128 (2006)

Add citations

You must login to add citations.
  1. The parallel structure of mathematical reasoning.Andrew Aberdein - 2012 - In Alison Pease & Brendan Larvor (eds.), Proceedings of the Symposium on Mathematical Practice and Cognition Ii: A Symposium at the Aisb/Iacap World Congress 2012. Society for the Study of Artificial Intelligence and the Simulation of Behaviour. pp. 7--14.
    This paper proposes an account of mathematical reasoning as parallel in structure: the arguments which mathematicians use to persuade each other of their results comprise the argumentational structure; the inferential structure is composed of derivations which offer a formal counterpart to these arguments. Some conflicts about the foundations of mathematics correspond to disagreements over which steps should be admissible in the inferential structure. Similarly, disagreements over the admissibility of steps in the argumentational structure correspond to different views about mathematical practice. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Evaluating Human-Computer Co-creative Processes in Music: A Case Study on the CHAMELEON Melodic Harmonizer.Asterios Zacharakis, Maximos Kaliakatsos-Papakostas, Stamatia Kalaitzidou & Emilios Cambouropoulos - 2021 - Frontiers in Psychology 12.
    CHAMELEON is a computational melodic harmonization assistant. It can harmonize a given melody according to a number of independent harmonic idioms or blends between idioms based on principles of conceptual blending theory. Thus, the system is capable of offering a wealth of possible solutions and viewpoints for melodic harmonization. This study investigates how human creativity may be influenced by the use of CHAMELEON in a melodic harmonization task. Professional and novice music composers participated in an experiment where they were asked (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mathematical reasoning with higher-order anti-unifcation.Markus Guhe, Alison Pease, Alan Smaill, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger & Ulf Krumnack - 2010 - In S. Ohlsson & R. Catrambone (eds.), Proceedings of the 32nd Annual Conference of the Cognitive Science Society. Cognitive Science Society.
    Download  
     
    Export citation  
     
    Bookmark