Author:
Roth-Berghofer Thomas R.,Mittag Florian
Reference11 articles.
1. Doyle, J.: A truth maintenance system. Artificial Intelligence 12(3), 231–272 (1979)
2. Mittag, F.: ReduxExp: A justification-based explanation-support server. Project thesis, University of Kaiserslautern (2008)
3. Petrie, C.J.: Context maintenance. In: AAAI, pp. 288–295 (1991). URL http://dblp.uni-trier.de/db/conf/aaai/aaai91-l. html#Petrie91
4. Petrie, C.J.: Constrained decision revision. In: AAAI, pp. 393–400 (1992)
5. Petrie, C.J.: The Redux’ server. In: G. Schlageter, M. Huhns, M. Papazoglou (eds.) Proceedings of the International Conference on Intelligent and Cooperative Information Systems, pp. 134–143. IEEE Computer Society Press, Rotterdam, the Netherlands (1993). URL http://citeseer.ist.psu.edu/petrie93redux.html