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 revisionPrevious revision
Next revision
Previous revision
Last revisionBoth sides next revision
pub:software:heart [2011/04/02 16:40] gjnpub:software:heart [2014/03/21 14:44] sbk
Line 3: Line 3:
 ===== Description ===== ===== 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. 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]]. See [[https://ai.ia.agh.edu.pl/wiki/hekate:heart|HeaRT]].
  
-Concept, design, implementation, supervision: [[pub:about_us:people:gjn|Grzegorz J. Nalepa]] +Concept, design, implementation, supervision: [[pub:about_us:gjn|Grzegorz J. Nalepa]] 
-Extended implementation:  [[pub:about_us:people:sbk|Szymon Bobek]] and Michał Gawędzki+Extended implementation:  [[pub:about_us:sbk|Szymon Bobek]] and Michał Gawędzki
  
 ===== Releases ===== ===== Releases =====
-See the [[https://ai.ia.agh.edu.pl/wiki/hekate:heart#releases|HeaRT]] website.+ 
 + 
 +===== Specification ===== 
 + 
 +==== ALSV(FD)==== 
 +=== Values === 
 +=== Operators === 
 + 
 + 
 + 
 +==== Inference strategies ==== 
 +==== Protocol ====
  
 ===== Comments ===== ===== 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}} {{tag>ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software}}
pub/software/heart.txt · Last modified: 2018/10/14 20:51 by gjn

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki