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

Next revision
Previous revision
pub:software:heart [2009/07/28 13:18] – created adminpub: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>[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.1248787134.txt.gz · Last modified: 2009/07/28 13:18 by admin

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki