Login / Signup
FCR@KI
2020
2023
2020
2023
Keyphrases
Publications
2023
Daniele Porello
,
Guendalina Righetti
,
Nicolas Troquard
,
Roberto Confalonieri
,
Oliver Kutz
An Ontological Modelling of Prototype Theories.
FCR@KI
(2023)
Kenneth Skiba
,
Matthias Thimm
,
Johannes Peter Wallner
Ranking-based Semantics for Assumption-based Argumentation.
FCR@KI
(2023)
Mena Leemhuis
,
Özgür Lütfü Özçep
Analogical Proportions and Betweenness.
FCR@KI
(2023)
Kenneth Skiba
Bridging the Gap between Ranking-based Semantics and Extension-ranking Semantics.
FCR@KI
(2023)
volume 3500, 2023
Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023.
FCR@KI
3500 (2023)
2022
Islam Hamada
On Contextual Programs Under Three-Valued Łukasiewicz Logic.
FCR@KI
(2022)
Carsten Maletzki
,
Eric Rietzke
,
Ralph Bergmann
Utilizing Expert Knowledge to Support Medical Emergency Call Handling.
FCR@KI
(2022)
Jandson S. Ribeiro
Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report).
FCR@KI
(2022)
Dominik Battefeld
,
Stefan Kopp
Formalizing Cognitive Biases in Diagnostic Reasoning.
FCR@KI
(2022)
Ringo Baumann
,
Christopher Harmen Penndorf
Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability Order.
FCR@KI
(2022)
Rafael Peñaloza
,
Anni-Yasmin Turhan
User-aware Explications of Ontology Consequences: Levelling Technicality.
FCR@KI
(2022)
Mena Leemhuis
,
Özgür Lütfü Özçep
A Goodman-style Betweenness Relation on Orthoframes.
FCR@KI
(2022)
Francesco Bartoli
,
Marco Botta
,
Roberto Esposito
,
Laura Giordano
,
Valentina Gliozzi
,
Daniele Theseider Dupré
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration.
FCR@KI
(2022)
Alexandra Pavlova
Public Announcements for Intuitionistic Epistemic Logic IEL.
FCR@KI
(2022)
volume 3242, 2022
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022.
FCR@KI
3242 (2022)
2021
Faiq Miftakhul Falakh
,
Sebastian Rudolph
,
Kai Sauerwald
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).
FCR@KI
(2021)
Abhaya Nayak
From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract).
FCR@KI
(2021)
Christian Alrabbaa
,
Willi Hieke
,
Anni-Yasmin Turhan
Counter Model Transformation for Explaining Non-Subsumption in EL.
FCR@KI
(2021)
Jonas Haldimann
,
Gabriele Kern-Isberner
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders.
FCR@KI
(2021)
Meghna Bhadra
,
Steffen Hölldobler
The Weak Completion Semantics and Counter Examples.
FCR@KI
(2021)
Sara Todorovikj
,
Marco Ragni
Deductive vs. Inductive Instructions: Evaluating the Predictive Powers of Cognitive Models for Conditional Reasoning.
FCR@KI
(2021)
Marco Wilhelm
,
Diana Howey
,
Gabriele Kern-Isberner
,
Kai Sauerwald
,
Christoph Beierle
A Brief Introduction Into Activation-Based Conditional Inference.
FCR@KI
(2021)
Kai Sauerwald
,
Philip Heltweg
On Using Model Checking for the Certification of Iterated Belief Changes.
FCR@KI
(2021)
volume 2961, 2021
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021.
FCR@KI
2961 (2021)
2020
Jan Frederik Schaefer
,
Michael Kohlhase
GLIF: A Declarative Framework for Symbolic Natural Language Understanding.
FCR@KI
(2020)
Nourhan Ehab
,
Haythem O. Ismail
Reasoning with Artificial Mental States: An Algebraic Approach.
FCR@KI
(2020)
Michael Kohlhase
Deep FAIR - Knowledge Representation for Research Data about Complex Objects.
FCR@KI
(2020)
Yasser Ammar
,
Haythem O. Ismail
On the Joint Revision of Belief and Trust.
FCR@KI
(2020)
Ulrike Barthelmeß
,
Claudia Schon
,
Ulrich Furbach
Consciousness and Automated Reasoning.
FCR@KI
(2020)
Tomer Libal
,
Matteo Pascucci
,
Leon van der Torre
,
Dov M. Gabbay
A Bimodal Simulation of Defeasibility in the Normative Domain.
FCR@KI
(2020)
Willi Hieke
,
Anni-Yasmin Turhan
Towards Model Transformation in Description Logics - Investigating the Case of Transductions.
FCR@KI
(2020)
volume 2680, 2020
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020.
FCR@KI
2680 (2020)