BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1064-2246@fb-ki.gi.de
CLASS: PUBLIC
SUMMARY:Formal and Cognitive Reasoning, Workshop at KI 2017
DESCRIPTION:Information for real life AI applications is usually pervaded b
 y uncertainty and subject to change, and thus demands for non-classical rea
 soning approaches. At the same time, psychological findings indicate that h
 uman reasoning cannot be completely described by classical logical systems.
  Explanations may be incomplete knowledge, incorrect beliefs, or inconsiste
 ncies.\n\nKnowledge representation offers a rich palette of methods for unc
 ertain reasoning both to describe human reasoning and to model AI approache
 s. Its many facets like qualitative vs. quantitative reasoning, defeasible 
 and analogical reasoning, argumentation and negotiation in multi-agent syst
 ems, causal reasoning for action and planning, as well as nonmonotonicity a
 nd belief revision, among many others, have become very active fields of re
 search. Beyond computational aspects, these methods aim to reflect the rich
  variety of human reasoning in uncertain and dynamic environments.
LOCATION:Technische Universität Dortmund
DTSTAMP:20181212T091427Z
DTSTART:20170926T070000Z
DTEND:20170926T140000Z
END:VEVENT
END:VCALENDAR