BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1052-2246@fb-ki.gi.de
CLASS: PUBLIC
SUMMARY:Formal and Cognitive Reasoning, Workshop at KI 2015
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.
  Sources of explanations are incomplete knowledge, incorrect beliefs, or in
 consistencies. Generally, people employ both inductive and deductive reason
 ing to arrive at beliefs; but the same argument that is inductively strong 
 or powerful may be deductively invalid. Therefore, a wide range of reasonin
 g mechanism has to be considered, such as analogical or defeasible reasonin
 g. The field of knowledge representation and reasoning offers a rich palett
 e of methods for uncertain reasoning both to describe human reasoning and t
 o model AI approaches. Its many facets like qualitative vs. quantitative re
 asoning, argumentation and negotiation in multi-agent systems, causal reaso
 ning for action and planning, as well as nonmonotonicity and belief revisio
 n, among many others, have become very active fields of research. Beyond co
 mputational aspects, these methods aim to reflect the rich variety of human
  reasoning in uncertain and dynamic environments.\n\nThe aim of this series
  of workshops is to address recent challenges and to present novel approach
 es to uncertain reasoning and belief change in their broad senses, and in p
 articular provide a forum for research work linking different paradigms of 
 reasoning. Previous events of the Workshop on "Dynamics of Knowledge and Be
 lief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011)
 , and Koblenz (2013). Previous editions of the Workshop on "KI & Kognition"
  (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (201
 4).\n\nThis year, we put a special focus on papers from both fields that pr
 ovide a base for connecting formal-logical models of knowledge representati
 on and cognitive models of reasoning, addressing formal as well as experime
 ntal or heuristic issues. Reflecting this focus, the workshop "Formal and C
 ognitive Reasoning" at KI-2015 is organized jointly by the GI special inter
 est groups FG Wissensrepräsentation und Schließen and FG Kognition. We welc
 ome papers on the following and any related topics:\n\n 	Action and change 
 	Agents and multiagent systems 	Analogical reasoning 	Argumentation theorie
 s 	Belief revision and belief update 	Cognitive modeling and empirical data
  	Common sense and defeasible reasoning 	Decision theory and preferences 	I
 nductive reasoning and cognition 	Knowledge representation in theory and pr
 actice 	Learning and knowledge discovery in data 	Nonmonotonic and uncertai
 n reasoning 	Ontologies and description logics 	Probabilistic approaches of
  reasoning 
LOCATION:Technische Universität Dresden
DTSTAMP:20181212T091539Z
DTSTART:20150922T070000Z
DTEND:20150922T140000Z
END:VEVENT
END:VCALENDAR