Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP

Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward Griffor. Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. In Takahiro Uchiya, Quan Bai, Iván Marsá-Maestre, editors, PRIMA 2020: Principles and Practice of Multi-Agent Systems - 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings. Volume 12568 of Lecture Notes in Computer Science, pages 51-67, Springer, 2020. [doi]

Abstract

Abstract is missing.