pub:software:heart
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
pub:software:heart [2011/04/02 16:40] – gjn | pub:software:heart [2018/10/14 20:51] (current) – gjn | ||
---|---|---|---|
Line 4: | Line 4: | ||
Runtime environment and engine for the [[http:// | Runtime environment and engine for the [[http:// | ||
- | See [[https:// | + | Main feaures: |
+ | * ALSV(FD) inference | ||
+ | * XTT2 specs compliance | ||
+ | * [[https:// | ||
- | Concept, design, implementation, | + | HeaRT is part of [[https:// |
- | Extended implementation: | + | |
+ | See [[https:// | ||
- | ===== Releases ===== | + | Concept, design, implementation, |
- | See the [[https://ai.ia.agh.edu.pl/ | + | Extended implementation: |
===== Comments ===== | ===== Comments ===== | ||
- | Support: [[pub: | + | Support: [[pub: |
{{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.1301762439.txt.gz · Last modified: 2011/04/02 16:40 by gjn