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

Specification

ALSV(FD)

Values

Operators

Inference strategies

Protocol

Comments

Support: Szymon Bobek

tag>ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software

Go back to → software