Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

9 July 2016, Second Workshop on Bridging the gap between human and automated reasoning, New York NY, U.S.A.

Date: 9 July 2016
Location: New York NY, U.S.A.
Deadline: 18 April 2016

Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human rea- soning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.

This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12.

For more information, see http://ratiolog.uni-koblenz.de/bridging2016

Papers, including the description of work in progress are welcome. Full Paper submission deadline: April 18th, 2016.

Please note that this newsitem has been archived, and may contain outdated information or links.