Cognitive Logics

Cognitive logics is aiming at bringing together logics from AI (in particular, nonmonotonic logics) and cognitive theories/models of human reasoning.
If you wish to contribute to this interdisciplinary field by sharing papers, announcing suitable conferences/workshops etc, please contact: Gabriele Kern-Isberner

Recent Activities

Workshop at IJCAI 2022

Workshop on Cognitive Aspects of Knowledge Representation

Take place at the IJCAI 2022 on July 23-29, 2022 (exact date to be confirmed).
Organizing Committee: Jesse Heyninck, Gabriele Kern-Isberner, Tommie Meyer, Marco Ragni and Matthias Thimm
Website: http://cakr22.krportal.org
Informal Discussion at KR 2021

Cognitive Logics

Will be held at the KR 2021 on Tuesday, 9. Nov. 2021, 11:00 - 11:30
Discussion Leaders: Gabriele Kern-Isberner and Tommie Meyer
Website: https://kr2021.kbsg.rwth-aachen.de
Tutorial at KR 2020

Cognitive Logics:
Formal and Cognitive Methods for Reasoning in an Uncertain and Dynamic World

Will be held at the KR 2020 on Sun, 9. Sept. 2020
Presenters: Gabriele Kern-Isberner and Marco Ragni
Website: http://cognitive-logics.org/kr2020/
Tutorial at ECAI 2020

Cognitive Logics:
Mechanisms Predicting Human Inference Patterns

Presented at the ECAI 2020
Presenters: Marco Ragni, Kai Sauerwald and Gabriele Kern-Isberner
Website: http://cognitive-logics.org/ecai2020/
Highlight paper at ECAI 2020

Cognitive Logics:
Features, Formalisms, and Challenges

Highlight Article with Poster at the ECAI 2020
Authors: Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle and Kai Sauerwald
Article: download Poster: download
Tutorial at the KR Conventicle 2019

Cognitive Logics:
Formal and Cognitive Methods for Reasoning in a Dynamic World

Presented at the KR Conventicle 2019 (PRICAI 2019)
Presenters: Gabriele Kern-Isberner and Marco Ragni
Website: http://cognitive-logics.org/pricai2019/

Papers

  • Maj-Britt Isberner, Gabriele Kern-Isberner. A Formal Model of Plausibility Monitoring in Language Comprehension. FLAIRS Conference 2016, p. 662-667
  • Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner. Simulating Human Inferences in the Light of New Information: A Formal Analysis. IJCAI 2016, p. 2604-2610
  • Christian Eichhorn, Gabriele Kern-Isberner, Marco Ragni: Rational Inference Patterns Based on Conditional Logic. AAAI 2018, p. 1827-1834

People