1
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [E-Book] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers /
Table of Contents: ... study -- Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence -- An Interdisciplinary Model for Graphical Representation -- Information Retrieval from Semantic Memory: BRDL-based Knowledge Representation and Maude-based...

Full text