own.bib

@misc{Heltweg2021-qa,
  title = {logic-ts},
  author = {Heltweg, Philip},
  publisher = {Zenodo},
  year = 2021,
  doi = {10.5281/zenodo.5078529}
}

@misc{Heltweg2021-fv,
  title = {logic-components},
  author = {Heltweg, Philip},
  publisher = {Zenodo},
  year = 2021,
  doi = {10.5281/zenodo.4742731}
}

@inproceedings{Sauerwald2021-ag,
  title = {On Using Model Checking for the Certification of Iterated Belief
               Changes},
  booktitle = {Proceedings of the 7th Workshop on Formal and Cognitive
               Reasoning co-located with the 44th German Conference on
               Artificial Intelligence ({KI} 2021), Berlin, Germany, September
               28, 2021},
  author = {Sauerwald, Kai and Heltweg, Philip},
  editor = {Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and
               Thimm, Matthias},
  publisher = {CEUR-WS.org},
  volume = 2961,
  pages = {23--33},
  series = {CEUR Workshop Proceedings},
  year = 2021
}

@inproceedings{Sauerwald2021-rj,
  title = {Certification of Iterated Belief Changes via Model Checking and
               its Implementation},
  booktitle = {19th International Workshop on {Non-Monotonic} Reasoning {(NMR}
               2021), Hanoi, Vietnam, November 2-5, 2021, Proceedings},
  author = {Sauerwald, Kai and Heltweg, Philip and Beierle, Christoph},
  editor = {Amgoud, Leila and Booth, Richard},
  pages = {250--254},
  year = 2021
}

@mastersthesis{Heltweg2021-ou,
  title = {Implementing a Structured Approach to Belief Revision by
            Deterministic Switching Between Total Preorders},
  author = {Heltweg, Philip},
  editor = {Beierle, C},
  year = 2021,
  school = {University in Hagen}
}

@inproceedings{Heltweg2023-wu,
  title = {Challenges to Open Collaborative Data Engineering},
  booktitle = {Proceedings of the 56th Hawaii International Conference on
                     System Sciences},
  author = {Heltweg, Philip and Riehle, Dirk},
  editor = {Bui, Tung X},
  pages = {679--688},
  month = jan,
  year = 2023,
  conference = {56th Hawaii International Conference on System Sciences},
  location = {Hyatt Regency Maui},
  doi = {https://hdl.handle.net/10125/102714}
}

This file was generated by bibtex2html 1.99.