Differences

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

--- pub:software:heart [2010/10/26 11:42] – external edit 127.0.0.1
+++ pub:software:heart [2018/10/14 20:51] (current) – gjn
@@ Line 1: / Line 1: @@
-====== Heart ======
+====== HeaRT ======
-Runtime environment and engine for the HeKatE project.
-See [[https://ai.ia.agh.edu.pl/wiki/hekate:heart|HeaRT]].
-Concept, design, implementation, supervision - Dr G. J. Nalepa, Prof. A. Ligęza; extended implementation by MSc. students: S. Bobek and M. Gawędzki
 ===== 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 =====
+Support: [[pub:about_us:sbk|Szymon Bobek]]
 {{tag>ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software}}