Differences

This shows you the differences between two versions of the page.

--- pub:software:heart [2009/07/29 10:43] – admin
+++ pub:software:heart [2018/10/14 20:51] (current) – gjn
@@ Line 1: / Line 1: @@
-====== Heart ======
+====== HeaRT ======
 ===== Description =====
-===== Releases =====
+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 =====
-{{tag>ai intelligent_systems engine rules hekate}}
+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]]