@inproceedings{ecdb9638956d4b19b583d9c9b2aea293,
title = "Interdisciplinary Aspects of Cognition",
abstract = "This position paper analyses the multidisciplinarity of cognitive research and its challenges from three perspective: the foundations of cognitive science, which draw from logic and neuroscience and their interconnections in studying human logic; computation as a means to identify mathematical patterns in human cognition, represent them symbolically and use such representations in computer emulations of human cognitive activities and possibly verify properties of such activities; education, devising and implementing learning models that exploit as well as address human cognition.",
keywords = "Cognitive learning, Cognitive science, Formal methods, Human-computer interaction, Logic, Neuroscience",
author = "Antonio Cerone and Siamac Fazli and Malone, \{Kathy L.\} and Pietarinen, \{Ahti Veikko\}",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2019, International Workshop on Automated and verifiable Software System Development, ASYDE 2019, International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2019 and 17th International Workshop on Foundations of Coordination Languages and Self-Adaptiveness of Software Applications, FOCLASA 2019, co-located with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 ; Conference date: 16-09-2019 Through 20-09-2019",
year = "2020",
month = sep,
day = "10",
doi = "10.1007/978-3-030-57506-9\_9",
language = "English",
isbn = "9783030575052",
series = "Lecture Notes in Computer Science",
publisher = "Springer Cham",
pages = "103--118",
editor = "Javier Camara and Martin Steffen",
booktitle = "Software Engineering and Formal Methods",
edition = "1st",
url = "https://link.springer.com/book/10.1007/978-3-030-30446-1, https://link.springer.com/book/10.1007/978-3-030-57506-9",
}