Library (Alpha)

Home

Calculi

Benchmarks

Tools

Events

Links

Tools

Qualitative constraint solvers

Calculus-specific constraint solvers

Allen's interval algebra

• Solver for Allen's interval algebra, by Bernhard Nebel: Paper, Source
• Allen's interval algebra divide-and-conquer SAT-modeling by Jason Jingshi Li: Paper, Source

RCC-8

• Solver for RCC-8, by Ronny Fehling, Bernhard Nebel, and Jochen Renz: Paper, Source

Generic qualitative constraint solvers

• GQR: GQR(Generic Qualitative Reasoner) is a solver for binary qualitative constraint networks.
• SparQ: SparQ (Spatial Reasoning done Qualitatively) is a collection of tools for qualitative spatial reasoning in applications developed at the University of Bremen.
• QAT: The QAT (Qualitative Algebras Toolkit) project provides tools and libraries for qualitative algebras. It is written in Java and allows for manipulating qualitative algebras and solving qualitative networks.

page last built 2010/10/11 21:03:27