Fundamentals and logical foundations of truth maintenance
Michael Reinfrank · 1989
Despite their importance in AI problem solving, nonmonotonic truth maintenance systems (TMSs) still lack sufficiently well-understood logical foundations. In this thesis, I present a rigorous logic ...