| Programme and Pre-proceedings |
|
Free Registration open at https://lists.cwi.nl/mailman/listinfo/sefm2020-list.
The time in the program is according to the CET.
To access the pre-proceedings papers, click on the "Paper (PDF)" link for each paper.
|
|
9:20-9:30 - OPENING and INTRODUCTION
|
|
9:30-11:15 - SESSION 1 (Chair: Pierluigi Graziani)
- 9:30-10:00 - Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence
Yoshihiro Maruyama
Paper (PDF) |
Slides (PDF) |
Video
- 10:00-10:30 - An Interdisciplinary Model for Graphical Representation: Two Case Studies
Giuseppe Antonio Pierro, Alexandre Bergel and Stéphane Ducasse and
Paper (PDF) |
Slides (PDF) |
Video
- 10:30-11:00 - A Pragmatic Model of Justification for Social Epistemology
Raffaela Giovagnoli
Paper (PDF) |
Slides (PDF) |
Video
- 11:00-11:15 - GENERAL DISCUSSION TIME
|
|
11:15-11:30 - BREAK
|
|
11:30-13:15 - SESSION 2 (Chair: Mirko Tagliaferri)
- 11:30-12:00 - False Memories and Personal Identity
Danil Razeev
Paper (PDF) |
Slides (PDF) |
Video
- 12:00-12:30 - Against the Illusory-Will Hypothesis. A Reinterpretation of the
Test Results in Danial Wegner and Thalia Wheatly’s I Spy Experiment
Robert Reimer
Paper (PDF) |
Slides (PDF) |
Video
(Passphrase: %P5cK$$4)
- 12:30-13:00 - Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study
Torben Braüner, Aishwarya Ghosh and Sujata Ghosh
Paper (PDF) |
Slides (PDF) |
Video
- 13:00-13:15 - GENERAL DISCUSSION TIME
|
|
13:15-15:00 - LUNCH BREAK
|
|
15:00-16:45 - SESSION 3 (Chair: Alessandro Aldini)
- 15:00-15:30 - Information Retrieval from Semantic Memory:
BRDL-based Knowledge Representation and Maude-based Computer Emulation
Antonio Cerone and Diana Murzagaliyeva
Paper (PDF) |
Slides (PDF) |
Video
- 15:30-16:00 - Short-circuiting the definition of mathematical knowledge for an Artificial General Intelligence
Samuel Alexander
Paper (PDF) |
Slides (PDF) |
Video
- 16:00-16:30 - A Multi-Agent Depth Bounded Boolean Logic
Giorgio Cignarale and Giuseppe Primiero
Paper (PDF) |
Slides (PDF) |
Video
- 16:30-16:45 - GENERAL DISCUSSION TIME
|
|
16:45-17:00 - BREAK
|
|
17:00-18:10 - SESSION 4 (Chair: Pedro Quaresma)
- 17:00-17:30 - Reasoning about Ignorance and Beliefs
Alessandro Aldini, Pierluigi Graziani, and Mirko Tagliaferri
Paper (PDF) |
Slides (PDF) |
Video
- 17:30-18:00 - The intensional structure of epistemic convictions
Reinhardt Kahle
Paper (PDF) |
Slides (PDF) |
Video
- 18:00-18:10 - GENERAL DISCUSSION TIME
|
|
18:10-19:10 - KEYNOTE SPEAKER: Johan van Benthem (Chair: Pedro Quaresma)
Interfacing Logical Theory and Human Practice
Abstract and Speaker's Biography |
Slides (PDF) |
Video
|
|
19:10-19:30 - DISCUSSION
|
|
19:30 - CLOSING
|
|
| Contact |
|
All inquiries concerning CIFMA 2020 submissions and scientific programme
should be sent to cifma2020@easychair.org
|