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:<div>\n      <p>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  
     </p>\n      <p>This 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      </p>\n    \n      \n      <p>For mo
 re information, see\n        <a target="_blank" hr
 ef="http://ratiolog.uni-koblenz.de/bridging2016">h
 ttp://ratiolog.uni-koblenz.de/bridging2016</a>\n  
     </p>\n    </div><div>\n      <p>Papers, includ
 ing the\n        description of work in progress a
 re welcome.\n        Full Paper submission deadlin
 e: April 18th, 2016.\n      </p>\n      </div>
URL:/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
 -
END:VEVENT
END:VCALENDAR