GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools

mbstring extension must be loaded in order to run mPDF

Table of Contents



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


pub/software/heart.txt · Last modified: 2018/10/14 22:51 by gjn