Comment by Roon on Debate tools: an experience report · 2010-07-27T14:32:42.666Z · LW · GW

I'm surprised more tools to do this kind of thing don't already exist. It reminds me of the Truth Maintenance Systems I learned about in AI classes in the mid-90s.