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 R. Griffor
Browse the full PRIMA paper archive.