Cees Witteveen (witteveen)

Contributions à Philosophie.ch

Bibliography

Witteveen, Cees. 1991. “Skeptical Reason Maintenance is Tractable.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 570–581. San Francisco, California: Morgan Kaufmann Publishers.
Witteveen, Cees. 1996. “Belief Revision in Truth Maintenance.” in Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence, edited by André Fuhrmann and Hans Rott, pp. 447–470. Berlin: de Gruyter.
Witteveen, Cees and Brewka, Gerhard. 1993. “Skeptical Reason Maintenance and Belief Revision.” Artificial Intelligence 61(1): 1–36.
Witteveen, Cees and van den Hoek, Wiebe. 1998. “Recovery of (Non)Monotonic Theories.” Artificial Intelligence 106(1): 139–159.
Witteveen, Cees and van den Hoek, Wiebe. 2000. “How to Recover from (Non)Monotonic Inconsistencies.” in Logic, Language and Computation, volume 3, edited by Lawrence Cavedon, Patrick Blackburn, Nick Braisby, and Atsushi Shimojima, pp. 47–65. Stanford, California: CSLI Publications.
Witteveen, Cees, van den Hoek, Wiebe and Nivelle, Hans. 1994. “Revision of Non-Monotonic Theories.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 137–151. Lecture Notes in Computer Science. Berlin: Springer.