Sign in
Rise of the HaCRS: Augmenting Autonomous Cyber Reasoning Systems with Human Assistance.
Yan Shoshitaishvili
Michael Weissbacher
Lukas Dresel
Christopher Salls
Ruoyu Wang
Christopher Kruegel
Giovanni Vigna
Published in:
CCS (2017)
Keyphrases
</>
reasoning systems
automated reasoning
knowledge representation and reasoning
description logics
diagnostic reasoning
expert systems
knowledge representation
object oriented
human users
cyber security
owl dl
search algorithm
autonomous learning