F. C. Bartlett, Remembering: a study in experimental and social psychology, 1932.
DOI : 10.1017/CBO9780511759185

M. A. Bedau, Artificial life: organization, adaptation and complexity from the bottom up, Trends in Cognitive Sciences, vol.7, issue.11, pp.505-512, 2003.
DOI : 10.1016/j.tics.2003.09.012

B. Bonet and H. Geffner, Planning as heuristic search, Artificial Intelligence, vol.129, issue.1-2, pp.5-33, 2001.
DOI : 10.1016/S0004-3702(01)00108-4
URL : http://doi.org/10.1016/s0004-3702(01)00108-4

D. Bouyssou, D. Dubois, H. Prade, and M. Pirlot, Decision Making Process: Concepts and Methods, 2013.
DOI : 10.1002/9780470611876

D. Braha and Y. Reich, Topological structures for modeling engineering design processes, Research in Engineering Design, vol.14, issue.4, pp.185-199, 2003.
DOI : 10.1007/s00163-003-0035-3

L. E. Brouwer, De Onbetrouwbaarheid der logische principes, Tijdschrift voor Wijsbegeerte, vol.2, pp.152-158, 1908.

L. E. Brouwer, Consciousness, Philosophy and Mathematics, Proceedings of the 10th International Congress of Philosophy, Conference Location, pp.1235-1249, 1948.
DOI : 10.1017/cbo9781139171519.006

L. Bucciarelli, An ethnographic perspective on engineering design, Design Studies, vol.9, issue.3, pp.159-168, 1988.
DOI : 10.1016/0142-694X(88)90045-2

W. J. Clancey, Conceptual coordination: how the mind orders experience in time, 1999.

N. Cross, Design Cognition, pp.79-124, 2001.
DOI : 10.1016/B978-008043868-9/50005-X

K. Dorst, Design Problems and Design Paradoxes, Design Issues, vol.22, issue.3, pp.4-19, 2006.
DOI : 10.1023/A:1021351606209
URL : https://opus.lib.uts.edu.au/bitstream/10453/4866/3/2006004859.pdf

J. A. Edelman, Understanding radikal breaks through media, 2012.

O. Eris, Effective Inquiry for Innovative Engineering Design, 2004.
DOI : 10.1007/978-1-4419-8943-7

O. Eris, Insisting on Truth at the Expense of Conceptualization: Can Engineering Portfolios Help?, International Journal of Engineering Education, vol.22, issue.3, pp.551-559, 2006.

R. E. Fikes and N. Nisson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.189-208, 1971.
DOI : 10.1016/0004-3702(71)90010-5

G. Goth, Software on Mars, Communications of the ACM, vol.55, issue.11, pp.13-15, 2012.
DOI : 10.1145/2366316.2366321

A. Hatchuel and B. Weil, C-K design theory: an advanced formulation, Research in Engineering Design, vol.15, issue.4, pp.181-192, 2009.
DOI : 10.1007/s00163-008-0043-4

L. Hendriks, A. Kazakci, S. J. Conference, B. J. Culley, T. C. Mcaloone et al., A method for design reasoning using logic: from semantic tableaux to design tableaux. ICED, Proceedings of the 18th International Conference on Engineering Design (ICED11), pp.275-286, 2011.

A. Heyting, . L. Ed, and . Brouwer, Collected Works 1. Philosophy and Foundations of Mathematics BLACKBOX: A new approach to the application of theorem proving to problem solving, AIPS98 Workshop on Planning as Combinatorial Search, Conference Location, pp.58-60, 1975.

A. Kazakci, On the imaginative constructivist nature of design: a theoretical approach, Research in Engineering Design, vol.134, issue.3473, pp.127-145, 2013.
DOI : 10.1007/s00163-012-0150-0
URL : https://hal.archives-ouvertes.fr/hal-00770648

G. Konidaris, S. Kuindersma, R. Grupen, and A. S. Barreto, Constructing skill trees for reinforcement learning agents from demonstration trajectories Advances in neural information processing systems, Conference Location, pp.1162-1170, 2010.

J. R. Koza, Human-competitive machine intelligence by means of genetic algorithms, Festschrift in Honor of John H, pp.15-22, 1999.

J. R. Koza, F. H. Bennett, I. , and O. Stiffelman, Genetic Programming as a Darwinian Invention Machine, 1999.
DOI : 10.1007/3-540-48885-5_8

J. Lehman and K. O. Stanley, Exploiting Open-Endedness to Solve Problems Through the Search for Novelty, Conference Location, pp.329-336, 2008.

H. J. Levesque, A logic of implicit and explicit belief, AAAI, Conference Location, pp.198-202, 1984.

O. Maimon and D. Braha, A Mathematical Theory of Design, International Journal of General Systems, vol.27, pp.4-5, 1996.

T. Nagata, M. Yamazaki, and M. Tsukamoto, Robot planning system based on problem solvers, Proceedings of the 3rd international joint conference on Artificial intelligence, Conference Location, pp.388-395, 1973.

J. Niekus, Brouwer's Incomplete Objects, History and Philosophy of Logic, vol.110, issue.1, pp.31-46, 2010.
DOI : 10.1007/BF00263659
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.7983

G. Renner and A. Ekárt, Genetic algorithms in computer aided design, Computer-Aided Design, vol.35, issue.8, pp.709-726, 2003.
DOI : 10.1016/S0010-4485(03)00003-4

C. Reynès, Etude des Algorithmes génétiques et application aux données de protéomique, 2007.

S. Russell and P. Norvig, Artificial Intelligence: A modern approach, 1995.

M. Schmidt and H. Lipson, Distilling Free-Form Natural Laws from Experimental Data, Science, vol.324, issue.5923, pp.81-85, 2009.
DOI : 10.1126/science.1165893

D. A. Schön and G. Wiggins, Kinds of seeing and their functions in designing, Design Studies, vol.13, issue.2, pp.135-156, 1992.
DOI : 10.1016/0142-694X(92)90268-F

D. Van-dalen and . Ed, Brouwer's Cambridge Lectures on Intuitionism. Cambridge, 1981.