Search dblp for Publications

export results for "toc:db/conf/ki/fcr2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ki/BartoliBE0GD22,
  author       = {Francesco Bartoli and
                  Marco Botta and
                  Roberto Esposito and
                  Laura Giordano and
                  Valentina Gliozzi and
                  Daniele Theseider Dupr{\'{e}}},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {From Common Sense Reasonig to Neural Network Models: a Conditional
                  and Multi-preferential Approach for Explainability and Neuro-Symbolic
                  Integration},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {66--78},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:53 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/BartoliBE0GD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BattefeldK22,
  author       = {Dominik Battefeld and
                  Stefan Kopp},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {Formalizing Cognitive Biases in Diagnostic Reasoning},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {102--118},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/BattefeldK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BaumannP22,
  author       = {Ringo Baumann and
                  Christopher Harmen Penndorf},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability
                  Order},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {53--65},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/BaumannP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hamada22,
  author       = {Islam Hamada},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {On Contextual Programs Under Three-Valued {\L}ukasiewicz Logic},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {16--28},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/Hamada22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/LeemhuisO22,
  author       = {Mena Leemhuis and
                  {\"{O}}zg{\"{u}}r L{\"{u}}tf{\"{u}} {\"{O}}z{\c{c}}ep},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {A Goodman-style Betweenness Relation on Orthoframes},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {41--52},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/LeemhuisO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MaletzkiRB22,
  author       = {Carsten Maletzki and
                  Eric Rietzke and
                  Ralph Bergmann},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {Utilizing Expert Knowledge to Support Medical Emergency Call Handling},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {79--89},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/MaletzkiRB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Pavlova22,
  author       = {Alexandra Pavlova},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {Public Announcements for Intuitionistic Epistemic Logic {IEL}},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {29--40},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/Pavlova22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/PenalozaT22,
  author       = {Rafael Pe{\~{n}}aloza and
                  Anni{-}Yasmin Turhan},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {User-aware Explications of Ontology Consequences: Levelling Technicality},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {90--101},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/PenalozaT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Ribeiro22,
  author       = {Jandson S. Ribeiro},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {Towards a Semantic Construction for Belief Base Contraction {(A} Preliminary
                  Report)},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  pages        = {4--15},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242/paper0.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/Ribeiro22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2022fcr,
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Kai Sauerwald and
                  Matthias Thimm},
  title        = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3242},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3242},
  urn          = {urn:nbn:de:0074-3242-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/2022fcr.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}