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.
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.