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/08/16 15:58]
wtf opis + tagi
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 ===== ===== 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 =====
 +
 +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}}
 +
 +----
 +
 +Go back to -> [[start|software]]
pub/software/heart.1250438338.txt.gz · Last modified: 2009/08/16 15:58 by wtf