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 [2014/03/21 14:38]
sbk
pub:software:heart [2018/10/14 20:51] (current)
gjn
Line 7: Line 7:
   * ALSV(FD) inference   * ALSV(FD) inference
   * XTT2 specs compliance   * XTT2 specs compliance
-  * [[HMR]] support for knowledge representation+  * [[https://ai.ia.agh.edu.pl/wiki/hekate:HMR|HMR]] support for knowledge representation
  
-HeaRT is part of [[HaDEs]].+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]].
Line 15: Line 15:
 Concept, design, implementation, supervision: [[pub:about_us:gjn|Grzegorz J. Nalepa]] Concept, design, implementation, supervision: [[pub:about_us:gjn|Grzegorz J. Nalepa]]
 Extended implementation:  [[pub:about_us:sbk|Szymon Bobek]] and Michał Gawędzki Extended implementation:  [[pub:about_us:sbk|Szymon Bobek]] and Michał Gawędzki
- 
-===== 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 =====
pub/software/heart.1395412700.txt.gz · Last modified: 2014/03/21 14:38 by sbk