This is an old revision of the document!
Runtime environment and engine for the XTT2 method and the HMR representation, originally developed within the HeKatE project.
XTT2 specs compliance
support for knowledge representation
HeaRT is part of HaDEs.
Concept, design, implementation, supervision: Grzegorz J. Nalepa
Extended implementation: Szymon Bobek and Michał Gawędzki
Support: Szymon Bobek
ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software
Go back to → software