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]
Abstract is missing.