Treating role assertions as first-class citizens in repair and error-tolerant reasoning
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, page 974--982. New York, NY, USA, ACM, (March 2023)
%0 Conference Paper
%1 Baader2023-du
%A Baader, Franz
%A Kriegel, Francesco
%A Nuradiansyah, Adrian
%B Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
%C New York, NY, USA
%D 2023
%I ACM
%K Xack assertions citizens error-tolerant first-class reasoning repair role
%P 974--982
%T Treating role assertions as first-class citizens in repair and error-tolerant reasoning
@inproceedings{Baader2023-du,
added-at = {2025-01-08T12:14:07.000+0100},
address = {New York, NY, USA},
author = {Baader, Franz and Kriegel, Francesco and Nuradiansyah, Adrian},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/259f6e81644edf30c7b14902621ba07ec/scadsfct},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing},
conference = {SAC '23: 38th ACM/SIGAPP Symposium on Applied Computing},
interhash = {efcabd43c2da378654a362b23191287c},
intrahash = {59f6e81644edf30c7b14902621ba07ec},
keywords = {Xack assertions citizens error-tolerant first-class reasoning repair role},
location = {Tallinn Estonia},
month = mar,
pages = {974--982},
publisher = {ACM},
timestamp = {2025-02-05T11:27:57.000+0100},
title = {Treating role assertions as first-class citizens in repair and error-tolerant reasoning},
year = 2023
}
