Skip to content. | Skip to navigation

Personal tools

Log in

Sections

You are here: Home → Tools

Tools

Tools for qualitative reasoning and proposed benchmarks

GQR - The generic qualitative reasoner

GQR is a fast reasoner for binary qualitative constraint calculi

SparQ - Spatial Reasoning done Qualitatively

A toolbox for qualitative spatial reasoning

Add New Tool