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/2024/newsitem/14999/24
 -September-2024-10th-Workshop-on-Formal-and-Cognit
 ive-Reasoning-FCR-2024-Würzburg-Germany-
DTSTAMP:20240528T150559
SUMMARY:10th Workshop on Formal and Cognitive Reas
 oning (FCR 2024), Würzburg (Germany)
DTSTART;VALUE=DATE:20240924
LOCATION:Würzburg (Germany)
DESCRIPTION:In real-life AI applications, informat
 ion is usually pervaded by uncertainty and subject
  to change, and thus requires non-classical system
 s. At the same time, psychological findings indica
 te that human reasoning cannot be completely descr
 ibed by classical logical systems. Sources of expl
 anations are incomplete knowledge, incorrect belie
 fs, or inconsistencies. A wide range of reasoning 
 mechanisms has to be considered, such as analogica
 l or defeasible reasoning, possibly in combination
  with machine learning methods. The field of knowl
 edge representation and reasoning offers a rich pa
 lette of methods for uncertain reasoning both to d
 escribe human reasoning and to model AI approaches
 .  The aim of this series of workshops is to addre
 ss recent challenges and to present novel approach
 es to uncertain reasoning and belief change in the
 ir broad senses, and in particular provide a forum
  for research work linking different paradigms of 
 reasoning. A special focus is on papers that provi
 de a base for connecting formal-logical models of 
 knowledge representation and cognitive models of r
 easoning and learning, addressing formal and exper
 imental or heuristic issues. FCR'24 will be co-loc
 ated with the 47th German Conference on Artificial
  Intelligence (KI 2024).  We welcome papers on the
  following and any related topics: Action and chan
 ge Agents and multiagent systems, Analogical reaso
 ning, Argumentation theories, Belief change and be
 lief merging, Cognitive modeling and empirical dat
 a, Common sense and defeasible reasoning, Computat
 ional thinking, Decision theory and preferences, I
 nductive reasoning and cognition, Knowledge repres
 entation in theory and practice, Learning and know
 ledge discovery in data, Neuro-symbolic AI, Nonmon
 otonic and uncertain reasoning, Ontologies and des
 cription logics, Probabilistic approaches of reaso
 ning, Syllogistic reasoning.  Papers should be for
 matted in CEUR style (2-column style) without enab
 led header and footer.  The length of each paper s
 hould not exceed 8-12 pages. All papers must be wr
 itten in English and submitted in PDF format via t
 he EasyChair system. One of the authors is expecte
 d to participate in the workshop and present their
  paper.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>In real-l
 ife AI applications, information is usually pervad
 ed by uncertainty and subject to change, and thus 
 requires non-classical systems. At the same time, 
 psychological findings indicate that human reasoni
 ng cannot be completely described by classical log
 ical systems. Sources of explanations are incomple
 te knowledge, incorrect beliefs, or inconsistencie
 s. A wide range of reasoning mechanisms has to be 
 considered, such as analogical or defeasible reaso
 ning, possibly in combination with machine learnin
 g methods. The field of knowledge representation a
 nd reasoning offers a rich palette of methods for 
 uncertain reasoning both to describe human reasoni
 ng and to model AI approaches.</p>\n  <p>The aim o
 f this series of workshops is to address recent ch
 allenges and to present novel approaches to uncert
 ain reasoning and belief change in their broad sen
 ses, and in particular provide a forum for researc
 h work linking different paradigms of reasoning. A
  special focus is on papers that provide a base fo
 r connecting formal-logical models of knowledge re
 presentation and cognitive models of reasoning and
  learning, addressing formal and experimental or h
 euristic issues. FCR'24 will be co-located with th
 e 47th German Conference on Artificial Intelligenc
 e (KI 2024).</p>\n</div><div>\n  <p>We welcome pap
 ers on the following and any related topics: Actio
 n and change Agents and multiagent systems, Analog
 ical reasoning, Argumentation theories, Belief cha
 nge and belief merging, Cognitive modeling and emp
 irical data, Common sense and defeasible reasoning
 , Computational thinking, Decision theory and pref
 erences, Inductive reasoning and cognition, Knowle
 dge representation in theory and practice, Learnin
 g and knowledge discovery in data, Neuro-symbolic 
 AI, Nonmonotonic and uncertain reasoning, Ontologi
 es and description logics, Probabilistic approache
 s of reasoning, Syllogistic reasoning.</p>\n  <p>P
 apers should be formatted in <a href="http://ceur-
 ws.org/Vol-XXX%20/CEURART.zip" target="_blank" rel
 ="noopener">CEUR style</a> (2-column style) withou
 t enabled header and footer.&nbsp; The length of e
 ach paper should not exceed 8-12 pages. All papers
  must be written in English and submitted in PDF f
 ormat via the <a href="https://easychair.org/confe
 rences/?conf=ki2024" target="_blank" rel="noopener
 ">EasyChair</a> system. One of the authors is expe
 cted to participate in the workshop and present th
 eir paper.</p>\n</div>
URL:https://fcr.krportal.org/2024/
CONTACT:Özgür L. Özçep at oezguer.oezcep at uni-ha
 mburg.de
END:VEVENT
END:VCALENDAR
