|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri 0001, Oliver Kutz |
An Ontological Modelling of Prototype Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 20-31, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner |
Ranking-based Semantics for Assumption-based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 44-52, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Mena Leemhuis, Özgür Lütfü Özçep |
Analogical Proportions and Betweenness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 8-19, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Kenneth Skiba |
Bridging the Gap between Ranking-based Semantics and Extension-ranking Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 32-43, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Islam Hamada |
On Contextual Programs Under Three-Valued Łukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 16-28, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Carsten Maletzki, Eric Rietzke, Ralph Bergmann |
Utilizing Expert Knowledge to Support Medical Emergency Call Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 79-89, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Jandson S. Ribeiro |
Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 4-15, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Dominik Battefeld, Stefan Kopp |
Formalizing Cognitive Biases in Diagnostic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 102-118, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Ringo Baumann, Christopher Harmen Penndorf |
Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 53-65, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza, Anni-Yasmin Turhan |
User-aware Explications of Ontology Consequences: Levelling Technicality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 90-101, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Mena Leemhuis, Özgür Lütfü Özçep |
A Goodman-style Betweenness Relation on Orthoframes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 41-52, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 66-78, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Alexandra Pavlova |
Public Announcements for Intuitionistic Epistemic Logic IEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 29-40, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald |
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 48-59, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Abhaya Nayak |
From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 3, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan |
Counter Model Transformation for Explaining Non-Subsumption in EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 9-22, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Jonas Haldimann, Gabriele Kern-Isberner |
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 34-47, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Meghna Bhadra, Steffen Hölldobler |
The Weak Completion Semantics and Counter Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 60-73, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Sara Todorovikj, Marco Ragni |
Deductive vs. Inductive Instructions: Evaluating the Predictive Powers of Cognitive Models for Conditional Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 74-87, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
A Brief Introduction Into Activation-Based Conditional Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 4-8, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Kai Sauerwald, Philip Heltweg |
On Using Model Checking for the Certification of Iterated Belief Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 23-33, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Jan Frederik Schaefer, Michael Kohlhase |
GLIF: A Declarative Framework for Symbolic Natural Language Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 4-11, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Nourhan Ehab, Haythem O. Ismail |
Reasoning with Artificial Mental States: An Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 27-40, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Michael Kohlhase |
Deep FAIR - Knowledge Representation for Research Data about Complex Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 3, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Yasser Ammar, Haythem O. Ismail |
On the Joint Revision of Belief and Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 55-68, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach |
Consciousness and Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 12-26, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay |
A Bimodal Simulation of Defeasibility in the Normative Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 41-54, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Willi Hieke, Anni-Yasmin Turhan |
Towards Model Transformation in Description Logics - Investigating the Case of Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: 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., pp. 69-82, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|