GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:software:heart

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

Comments

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