start | find | index | login or register | edit
by earl, 6548 days ago
MINS is not SiLRI

"MINS is a reasoner for Datalog programs with negation and function symbols. MINS supports the Well-Founded Semantics. MINS is based on SiLRI."

People: [create Holger Lausen], [create Uwe Keller], [create Darko Anicic]

powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 8401 days • c'est un vanilla site