This is an archive of an inactive wiki and cannot be modified.

MINS is a reasoner for Datalog programs with negation and function symbols. MINS supports the Well-Founded Semantics. The acronym MINS stands for Mins Is Not Silri, it is based on the SILRI inference engine by Stephan Decker and J├╝rgen Angele.

Mins Web Page