Stefania Costantini, Giovanni De Gasperis. Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems. In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. Volume 1195 of CEUR Workshop Proceedings, pages 241-255, CEUR-WS.org, 2014. [doi]
@inproceedings{CostantiniG14,
title = {Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems},
author = {Stefania Costantini and Giovanni De Gasperis},
year = {2014},
url = {http://ceur-ws.org/Vol-1195/long16.pdf},
researchr = {https://researchr.org/publication/CostantiniG14},
cites = {0},
citedby = {0},
pages = {241-255},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014},
editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato},
volume = {1195},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}