%0 Conference Paper %1 conf/kr/BertoglioLZZ20 %A Bertoglio, Nicola %A Lamperti, Gianfranco %A Zanella, Marina %A Zhao, Xiangfu %B KR %D 2020 %E Calvanese, Diego %E Erdem, Esra %E Thielscher, Michael %K dblp %P 130-140 %T Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. %U http://dblp.uni-trier.de/db/conf/kr/kr2020.html#BertoglioLZZ20 %@ 978-0-9992411-7-2

@inproceedings{conf/kr/BertoglioLZZ20, added-at = {2021-01-29T00:00:00.000+0100}, author = {Bertoglio, Nicola and Lamperti, Gianfranco and Zanella, Marina and Zhao, Xiangfu}, biburl = {https://www.bibsonomy.org/bibtex/26aa97282c804bd9f7cf9d7e264421692/dblp}, booktitle = {KR}, crossref = {conf/kr/2020}, editor = {Calvanese, Diego and Erdem, Esra and Thielscher, Michael}, ee = {https://doi.org/10.24963/kr.2020/14}, interhash = {27216ebc76b4a54b24250a7de2c5f3c9}, intrahash = {6aa97282c804bd9f7cf9d7e264421692}, isbn = {978-0-9992411-7-2}, keywords = {dblp}, pages = {130-140}, timestamp = {2024-04-10T13:33:57.000+0200}, title = {Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2020.html#BertoglioLZZ20}, year = 2020 }