Philip HELTWEG

2023

• Heltweg P., Riehle D.:
  A Systematic Analysis of Problems in Open Collaborative Data Engineering
  In: ACM Transactions on Social Computing 6 (2023), p. 1-30
  ISSN: 2469-7826
  DOI: 10.1145/3629040
  BibTeX: Download
• Heltweg P., Riehle D.:
  Challenges to Open Collaborative Data Engineering
  Hawaii International Conference on System Sciences 2023 (Hyatt Regency Maui, 2023-01-03 - 2023-01-06)
  In: Bui, Tung X (ed.): Proceedings of the 56th Hawaii International Conference on System Sciences 2023
  URL: https://hdl.handle.net/10125/102714
  BibTeX: Download

2021

• Heltweg P., Sauerwald K., Beierle C.:
  Certification of Iterated Belief Changes via Model Checking and its Implementation
  In: Amgoud L, Booth R (ed.): 19th International Workshop on Non-Monotonic Reasoning NMR} 2021, Hanoi, Vietnam, November 2-5, 2021, Proceedings 2021
  URL: https://nmr.cs.tu-dortmund.de/proceedings/NMR2021Proceedings.pdf#page=257
  BibTeX: Download
• Sauerwald K., Heltweg P.:
  On using model checking for the certification of iterated belief changes
  7th Workshop on Formal and Cognitive Reasoning, FCR 2021
  Open Access: http://ceur-ws.org/Vol-2961/paper_3.pdf
  URL: http://ceur-ws.org/Vol-2961/paper_3.pdf
  BibTeX: Download