GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:software:heart

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
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 ===== ===== 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 ===== ===== 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]]
pub/software/heart.1248864197.txt.gz · Last modified: 2009/07/29 10:43 by admin