Differences

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

--- pub:software:heart [2009/07/28 13:18] – created admin
+++ pub:software:heart [2014/03/21 14:44] – sbk
@@ Line 1: / Line 1: @@
-====== Heart ======
+====== 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
 ===== Releases =====
+===== Specification =====
+==== ALSV(FD)====
+=== Values ===
+=== Operators ===
+==== Inference strategies ====
+==== Protocol ====
 ===== Comments =====
-{{tag>[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]]