[1] Heltweg, P., and Riehle, D. Challenges to open collaborative data engineering. In Proceedings of the 56th Hawaii International Conference on System Sciences (Jan. 2023), T. X. Bui, Ed., pp. 679--688. [ bib | DOI ]
[2] Heltweg, P. Implementing a structured approach to belief revision by deterministic switching between total preorders. Master's thesis, University in Hagen, 2021. [ bib ]
[3] Sauerwald, K., Heltweg, P., and Beierle, C. Certification of iterated belief changes via model checking and its implementation. In 19th International Workshop on Non-Monotonic Reasoning (NMR 2021), Hanoi, Vietnam, November 2-5, 2021, Proceedings (2021), L. Amgoud and R. Booth, Eds., pp. 250--254. [ bib ]
[4] Sauerwald, K., and Heltweg, P. On using model checking for the certification of iterated belief changes. In 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 (2021), C. Beierle, M. Ragni, F. Stolzenburg, and M. Thimm, Eds., vol. 2961 of CEUR Workshop Proceedings,, pp. 23--33. [ bib ]
[5] Heltweg, P. logic-components, 2021. [ bib | DOI ]
[6] Heltweg, P. logic-ts, 2021. [ bib | DOI ]

This file was generated by bibtex2html 1.99.

< Back to home