====== HeaRT ======

===== Description =====
Runtime environment and engine for the [[http://ai.ia.agh.edu.pl/wiki/hekate:xtt2|XTT2 method]] and the [[http://ai.ia.agh.edu.pl/wiki/hekate:hmr|HMR representation]], originally developed within the HeKatE project.

Main feaures:
  * ALSV(FD) inference
  * XTT2 specs compliance
  * [[https://ai.ia.agh.edu.pl/wiki/hekate:HMR|HMR]] support for knowledge representation

HeaRT is part of [[https://ai.ia.agh.edu.pl/wiki/hekate:HaDEs|HeDEs]].

See [[https://ai.ia.agh.edu.pl/wiki/hekate:heart|HeaRT]].

Concept, design, implementation, supervision: [[pub:about_us:gjn|Grzegorz J. Nalepa]]
Extended implementation:  [[pub:about_us:sbk|Szymon Bobek]] and Michał Gawędzki

===== Comments =====

Support: [[pub:about_us:sbk|Szymon Bobek]]

{{tag>ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software}}

----

Go back to -> [[start|software]]