Witteveen, Cornelis (1952-)

A three-valued cumulative semantics for TMS / Cees Witteveenschema:ProductModel Complexity of canonical revisions in logic programs / Cees Witteveenschema:ProductModel Constructive fixpoint semantics for Truth Maintenance Systems / Cees Witteveenschema:ProductModel Identification of control structures : inductive inference methods for controlled rule based systems / Cees Witteveenschema:ProductModel Labeling problems in truth maintenance systems / Cees Witteveen, Luc Stakenborgschema:ProductModel Nonmonotonic theory revision in logic programming / Cees Witteveen and Wiebe van der Hoekschema:ProductModel Programmed production systems / door Cornelis Witteveenschema:ProductModel Reconstruction and reduction of control knowledge : Part III: Reconstruction from finite samples / C. Witteveenschema:ProductModel Recovery of nonmonotonic theories / C. Witteveen and W. van der Hoekschema:ProductModel Recovery of nonmonotonic theories / Cees Witteveen, Wiebe van der Hoekschema:ProductModel Reduction and reconstruction of control knowledge in rule based systems : part II: Algorithms for minimal reductions / by Cees Witteveenschema:ProductModel Revision by communication : program revision by consulting weaker semantics / C. Witteveen and W. van der Hoekschema:ProductModel Revision by expansion in logic programs / Cees Witteveen, Catholijn Jonkerschema:ProductModel Semantic based theory revision in nonmonotonic logic / C. Witteveen and W. van der Hoekschema:ProductModel Shifting and condensing normal logic programs and disjunctive databases / Cees Witteveenschema:ProductModel Skeptical reason maintenance and belief revision / Cees Witteveen, Gerhard Brewkaschema:ProductModel Using a back-up semantics for revising and updating nonmonotonic databases / Cees Witteveen & Wiebe van der Hoekschema:ProductModel

Algorithms for simple temporal reasoning / Léon Robert Plankenschema:ProductModel Computing modes of finite automata / R. Sommerhalder and C. Witteveenschema:ProductModel Constructive identification with Poole's default logic / Willem Evert Nijenhuis, Cees Witteveenschema:ProductModel Extending the domain of stratified logic programs / David Lindeijer, Cees Witteveenschema:ProductModel Participation and interaction in projects : a game-theoretic analysis / Gleb Polevoyschema:ProductModel Recent and future contributions of Delft University of Technology to smart grids / J.M. Tang, C. Vuik, C. Witteveenschema:ProductModel