|
|
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. |
FCR@KI |
2023 |
DBLP BibTeX RDF |
|
1 | Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri 0001, Oliver Kutz |
An Ontological Modelling of Prototype Theories. |
FCR@KI |
2023 |
DBLP BibTeX RDF |
|
1 | Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner |
Ranking-based Semantics for Assumption-based Argumentation. |
FCR@KI |
2023 |
DBLP BibTeX RDF |
|
1 | Mena Leemhuis, Özgür Lütfü Özçep |
Analogical Proportions and Betweenness. |
FCR@KI |
2023 |
DBLP BibTeX RDF |
|
1 | Kenneth Skiba |
Bridging the Gap between Ranking-based Semantics and Extension-ranking Semantics. |
FCR@KI |
2023 |
DBLP BibTeX RDF |
|
1 | Islam Hamada |
On Contextual Programs Under Three-Valued Łukasiewicz Logic. |
FCR@KI |
2022 |
DBLP BibTeX RDF |
|
1 | Carsten Maletzki, Eric Rietzke, Ralph Bergmann |
Utilizing Expert Knowledge to Support Medical Emergency Call Handling. |
FCR@KI |
2022 |
DBLP BibTeX RDF |
|
1 | Jandson S. Ribeiro |
Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report). |
FCR@KI |
2022 |
DBLP BibTeX RDF |
|
1 | Dominik Battefeld, Stefan Kopp |
Formalizing Cognitive Biases in Diagnostic Reasoning. |
FCR@KI |
2022 |
DBLP BibTeX RDF |
|
1 | Ringo Baumann, Christopher Harmen Penndorf |
Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability Order. |
FCR@KI |
2022 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza, Anni-Yasmin Turhan |
User-aware Explications of Ontology Consequences: Levelling Technicality. |
FCR@KI |
2022 |
DBLP BibTeX RDF |
|
1 | Mena Leemhuis, Özgür Lütfü Özçep |
A Goodman-style Betweenness Relation on Orthoframes. |
FCR@KI |
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. |
FCR@KI |
2022 |
DBLP BibTeX RDF |
|
1 | Alexandra Pavlova |
Public Announcements for Intuitionistic Epistemic Logic IEL. |
FCR@KI |
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. |
FCR@KI |
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). |
FCR@KI |
2021 |
DBLP BibTeX RDF |
|
1 | Abhaya Nayak |
From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract). |
FCR@KI |
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. |
FCR@KI |
2021 |
DBLP BibTeX RDF |
|
1 | Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan |
Counter Model Transformation for Explaining Non-Subsumption in EL. |
FCR@KI |
2021 |
DBLP BibTeX RDF |
|
1 | Jonas Haldimann, Gabriele Kern-Isberner |
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. |
FCR@KI |
2021 |
DBLP BibTeX RDF |
|
1 | Meghna Bhadra, Steffen Hölldobler |
The Weak Completion Semantics and Counter Examples. |
FCR@KI |
2021 |
DBLP BibTeX RDF |
|
1 | Sara Todorovikj, Marco Ragni |
Deductive vs. Inductive Instructions: Evaluating the Predictive Powers of Cognitive Models for Conditional Reasoning. |
FCR@KI |
2021 |
DBLP BibTeX RDF |
|
1 | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
A Brief Introduction Into Activation-Based Conditional Inference. |
FCR@KI |
2021 |
DBLP BibTeX RDF |
|
1 | Kai Sauerwald, Philip Heltweg |
On Using Model Checking for the Certification of Iterated Belief Changes. |
FCR@KI |
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. |
FCR@KI |
2020 |
DBLP BibTeX RDF |
|
1 | Jan Frederik Schaefer, Michael Kohlhase |
GLIF: A Declarative Framework for Symbolic Natural Language Understanding. |
FCR@KI |
2020 |
DBLP BibTeX RDF |
|
1 | Nourhan Ehab, Haythem O. Ismail |
Reasoning with Artificial Mental States: An Algebraic Approach. |
FCR@KI |
2020 |
DBLP BibTeX RDF |
|
1 | Michael Kohlhase |
Deep FAIR - Knowledge Representation for Research Data about Complex Objects. |
FCR@KI |
2020 |
DBLP BibTeX RDF |
|
1 | Yasser Ammar, Haythem O. Ismail |
On the Joint Revision of Belief and Trust. |
FCR@KI |
2020 |
DBLP BibTeX RDF |
|
1 | Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach |
Consciousness and Automated Reasoning. |
FCR@KI |
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. |
FCR@KI |
2020 |
DBLP BibTeX RDF |
|
1 | Willi Hieke, Anni-Yasmin Turhan |
Towards Model Transformation in Description Logics - Investigating the Case of Transductions. |
FCR@KI |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|