pub:software:heart
This is an old revision of the document!
Table of Contents
HeaRT
Description
Runtime environment and engine for the XTT2 method and the HMR representation, originally developed within the HeKatE project.
Main feaures:
- ALSV(FD) inference
- XTT2 specs compliance
- HMR support for knowledge representation
HeaRT is part of HeDEs.
See HeaRT.
Concept, design, implementation, supervision: Grzegorz J. Nalepa Extended implementation: Szymon Bobek and Michał Gawędzki
Releases
See the HeaRT website.
Specification
ALSV(FD)
Values
Operators
Inference strategies
Protocol
Comments
Support: Szymon Bobek
ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software
Go back to → software
pub/software/heart.1395412794.txt.gz · Last modified: 2014/03/21 14:39 by sbk