Philip Heltweg

According to our database, Philip Heltweg authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Challenges to Open Collaborative Data Engineering.

Philip Heltweg, Dirk Riehle

Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

2021

On Using Model Checking for the Certification of Iterated Belief Changes.

Kai Sauerwald, Philip Heltweg

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021