Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/ki/AmmarI20,
  author       = {Yasser Ammar and
                  Haythem O. Ismail},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {On the Joint Revision of Belief and Trust},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2680},
  pages        = {55--68},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2680/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:53 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/AmmarI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/BarthelmessSF20,
  author       = {Ulrike Barthelme{\ss} and
                  Claudia Schon and
                  Ulrich Furbach},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {Consciousness and Automated Reasoning},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2680},
  pages        = {12--26},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2680/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/BarthelmessSF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/EhabI20,
  author       = {Nourhan Ehab and
                  Haythem O. Ismail},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {Reasoning with Artificial Mental States: An Algebraic Approach},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2680},
  pages        = {27--40},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2680/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/EhabI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/HiekeT20,
  author       = {Willi Hieke and
                  Anni{-}Yasmin Turhan},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {Towards Model Transformation in Description Logics - Investigating
                  the Case of Transductions},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2680},
  pages        = {69--82},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2680/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/HiekeT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Kohlhase20,
  author       = {Michael Kohlhase},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {Deep {FAIR} - Knowledge Representation for Research Data about Complex
                  Objects},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2680},
  pages        = {3},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2680/invited.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/Kohlhase20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/LibalPTG20,
  author       = {Tomer Libal and
                  Matteo Pascucci and
                  Leon van der Torre and
                  Dov M. Gabbay},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {A Bimodal Simulation of Defeasibility in the Normative Domain},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2680},
  pages        = {41--54},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2680/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/LibalPTG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/SchaeferK20,
  author       = {Jan Frederik Schaefer and
                  Michael Kohlhase},
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {{GLIF:} {A} Declarative Framework for Symbolic Natural Language Understanding},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2680},
  pages        = {4--11},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2680/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/SchaeferK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ki/2020fcr,
  editor       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2680},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2680},
  urn          = {urn:nbn:de:0074-2680-0},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/2020fcr.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}