@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.
< Back to home