Runtime environment and engine for the HeKatE project. See HeaRT. Concept, design, implementation, supervision - Dr G. J. Nalepa, Prof. A. Ligęza; extended implementation by MSc. students: S. Bobek and M. Gawędzki

ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software