BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1042-2246@fb-ki.gi.de
CLASS: PUBLIC
SUMMARY:Human Reasoning and Automated Deduction, Workshop at KI 2012
DESCRIPTION:Automated deduction aims at formalizing diverse aspects of reas
 oning and has many application areas from software verification to mathemat
 ical theorem proving. It is originally based on algorithmic methods derived
  from mathematical logics. In contrast, human reasoning cannot be completel
 y described by logical systems. Sources of explanations are incomplete know
 ledge, incorrect beliefs, or inconsistencies. Still, humans have an impress
 ive ability to derive acceptable conclusions. From the very beginning of AI
  research, there has been a strong emphasis on incorporating mechanisms of 
 human rationality and cognition into reasoning systems.\n\nThe workshop aim
 s at bringing together researchers from AI, Automated Deduction, and Cognit
 ive Science to foster a multi-disciplinary exchange and to discuss possibil
 ities to overcome the historic separation. Topics of interest include, but 
 are not limited to the following:\n\n 	Non-monotonic, defeasible, and class
 ical reasoning and possible explanations for human reasoning 	Limits and di
 fferences between automated and human reasoning 	Application fields of auto
 mated reasoning in the interaction with human reasoners (e.g., in spatial k
 nowledge processing) 	Human-computer interaction and cognitive robotics (re
 garding the relevance for reasoning methods) \n\nThis workshop continues a 
 series of successful workshops initiated by the Special Interest Group "Cog
 nition" in the GI.\n\nIt will be held in conjcunction with KI 2012.
LOCATION:Universität des Saarlandes
DTSTAMP:20181212T091937Z
DTSTART:20120924T070000Z
DTEND:20120924T103000Z
END:VEVENT
END:VCALENDAR