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
- 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
- Christoph Beierle, FernUniversität in Hagen
- Gabriele Kern-Isberner, TU Dortmund University
- Marco Ragni, University of Freiburg
- Kai Sauerwald, FernUniversität in Hagen