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 [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:// |
- | HeaRT is part of [[HaDEs]]. | + | HeaRT is part of [[https:// |
See [[https:// | See [[https:// | ||
Line 15: | Line 15: | ||
Concept, design, implementation, | Concept, design, implementation, | ||
Extended implementation: | Extended implementation: | ||
- | |||
- | ===== Releases ===== | ||
- | See the [[https:// | ||
- | |||
- | ===== 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