Publications

Franz Baader, Francesco Kriegel, and Adrian Nuradiansyah. Treating role assertions as first-class citizens in repair and error-tolerant reasoning. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 974--982, ACM, New York, NY, USA, March 2023. [PUMA: Xack assertions citizens error-tolerant first-class reasoning repair role]