Search for dissertations about: "Michael Reinfrank"

Found 1 swedish dissertation containing the words Michael Reinfrank.

2. 1. Fundamentals and logical foundations of truth maintenance

   Author : Michael Reinfrank; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : 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 logical theory of TMSs. I pursue a two-step, bottom-up approach. First, I specify a direct, but implementation-independent, theory of truth maintenance. READ MORE