Fourth Workshop on Bridging the Gap between Human and Automated Reasoning
The workshop is part of the FAIM workshop program located at the Federated Artificial Intelligence Meeting (FAIM) which includes the major conferences IJCAI-ECAI, ECML, AAMAS, ICCBR and SoCS.
The aim of the workshop is to bring together leading researchers from artificial intelligence, automated deduction, computational logics and psychology of reasoning who are interested in the foundations of human reasoning. See http://ratiolog.uni-koblenz.de/bridging2018 for further details. The call for papers is available here: http://ratiolog.uni-koblenz.de/cfpbridging2018.pdf
Date of news Apr 18, 2018 03:55 PM
Filed under:
Meldung FB4 International