Differences

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

--- pub:software:heart [2011/04/02 16:40] – gjn
+++ pub:software:heart [2018/10/14 20:51] (current) – gjn
@@ Line 4: / Line 4: @@
 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.
-See [[https://ai.ia.agh.edu.pl/wiki/hekate:heart|HeaRT]].
+Main feaures:
+  * ALSV(FD) inference
+  * XTT2 specs compliance
+  * [[https://ai.ia.agh.edu.pl/wiki/hekate:HMR|HMR]] support for knowledge representation
-Concept, design, implementation, supervision: [[pub:about_us:people:gjn|Grzegorz J. Nalepa]]
+HeaRT is part of [[https://ai.ia.agh.edu.pl/wiki/hekate:HaDEs|HeDEs]].
-Extended implementation:  [[pub:about_us:people:sbk|Szymon Bobek]] and Michał Gawędzki
+See [[https://ai.ia.agh.edu.pl/wiki/hekate:heart|HeaRT]].
-===== Releases =====
+Concept, design, implementation, supervision: [[pub:about_us:gjn|Grzegorz J. Nalepa]]
-See the [[https://ai.ia.agh.edu.pl/wiki/hekate:heart#releases|HeaRT]] website.
+Extended implementation:  [[pub:about_us:sbk|Szymon Bobek]] and Michał Gawędzki
 ===== Comments =====
-Support: [[pub:about_us:people:sbk|Szymon Bobek]]
+Support: [[pub:about_us:sbk|Szymon Bobek]]
 {{tag>ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software}}