Knowledge Engineering for Planning-Based Hypothesis Generation

no code implementations • 27 Aug 2014 • Shirin Sohrabi, Octavian Udrea, Anton V. Riabov

To capture the model description we propose a language called LTS++ and a web-based tool that enables the specification of the LTS++ model and a set of observations.

Malware Detection