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,
  url = {http://ceur-ws.org/Vol-2961/paper_3.pdf}
}

@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,
  url = {https://nmr.cs.tu-dortmund.de/proceedings/NMR2021Proceedings.pdf#page=257}
}

@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}
}

@article{Heltweg2023-ps,
  title = {A Systematic Analysis of Problems in Open Collaborative Data
               Engineering},
  author = {Heltweg, Philip and Riehle, Dirk},
  journal = {Trans. Soc. Comput.},
  publisher = {Association for Computing Machinery},
  volume = 6,
  number = {3-4},
  pages = {1--30},
  month = dec,
  year = 2023,
  address = {New York, NY, USA},
  doi = {10.1145/3629040}
}

This file was generated by bibtex2html 1.99.