BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2016/newsitem/7293/9-J uly-2016-Second-Workshop-on-Bridging-the-gap-betwe en-human-and-automated-reasoning-New-York-NY-U-S-A - DTSTAMP:20160414T000000 SUMMARY:Second Workshop on Bridging the gap betwee n human and automated reasoning, New York NY, U.S .A. DTSTART;VALUE=DATE:20160709 DTEND;VALUE=DATE:20160709 LOCATION:New York NY, U.S.A. DESCRIPTION:Human reasoning or the psychology of d eduction is well researched in cognitive psycholog y and in cognitive science. Automated deduction, o n the other hand, is mainly focusing on the automa ted proof search in logical calculi. Recently a co upling of the areas of cognitive science and autom ated reasoning is addressed in several approaches. For example there is increasing interest in model ing human rea- soning within automated reasoning s ystems including modeling with answer set programm ing, deontic logic or abductive logic programming. There are also various approaches within AI resea rch. This workshop is intended to get an overvie w of existing approaches and make a step towards a cooperation between computational logic and cogni tive science. The workshop will be held in conjunc tion with IJCAI-16 and is supported by IFIP TC12. For more information, see http://ratiolog.uni-ko blenz.de/bridging2016 Papers, including the descr iption of work in progress are welcome. Full Paper submission deadline: April 18th, 2016. X-ALT-DESC;FMTTYPE=text/html:
Human reasoning or the psychology of deduction is well\n researched in cognitive psychology and in cognitive science.\n Automated deduc tion, on the other hand, is mainly focusing\n on the automated proof search in logical calc uli.\n Recently a coupling of the areas of cognitive science and\n automated reaso ning is addressed in several approaches. For\n example there is increasing interest in modeli ng human rea-\n soning within automated re asoning systems including modeling\n with a nswer set programming, deontic logic or abduc tive\n logic programming. There are also v arious approaches within\n AI research.\n
\nThis workshop is intended to get an overview of existing approaches and\n make a step towards a cooperation between computational\n logic and cognitive science .\n The workshop will be held in conjunctio n with IJCAI-16 and\n is supported by IFI P TC12.\n
\n \n \nFor mo re information, see\n h ttp://ratiolog.uni-koblenz.de/bridging2016\n
Papers, including th e\n description of work in progress are wel come.\n Full Paper submission deadline: Apr il 18th, 2016.\n
\n