Differences

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

--- pub:software:heart [2013/01/10 12:57] – external edit 127.0.0.1
+++ pub:software:heart [2014/03/21 14:38] – sbk
@@ Line 3: / Line 3: @@
 ===== 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
+  * [[HMR]] support for knowledge representation
+HeaRT is part of [[HaDEs]].
 See [[https://ai.ia.agh.edu.pl/wiki/hekate:heart|HeaRT]].
@@ Line 11: / Line 18: @@
 ===== Releases =====
 See the [[https://ai.ia.agh.edu.pl/wiki/hekate:heart#releases|HeaRT]] website.
+===== Specification =====
+==== ALSV(FD)====
+=== Values ===
+=== Operators ===
+==== Inference strategies ====
+==== Protocol ====
 ===== Comments =====