Witteveen, Cees (Cornelis), 1952-
Witteveen, Cees 1952-
Cees Witteveen Ph.D. Universiteit Utrecht 1984
VIAF ID: 283793221 (Personal)
Permalink: http://viaf.org/viaf/283793221
Preferred Forms
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Algorithms for simple temporal reasoning | |
Computing modes of finite automata | |
Constructive identification with Poole's default logic | |
Extending the domain of stratified logic programs | |
Labeling problems in truth maintenance systems | |
Participation and interaction in projects : a game-theoretic analysis | |
Programmed production systems | |
Recent and future contributions of Delft University of Technology to smart grids | |
Recovery of nonmonotonic theories | |
Reduction and reconstruction of control knowledge in rule based systems : part II: Algorithms for minimal reductions | |
Revision by communication : program revision by consulting weaker semantics | |
Revision by expansion in logic programs | |
Shifting and condensing normal logic programs and disjunctive databases | |
Skeptical reason maintenance and belief revision | |
A three-valued cumulative semantics for TMS | |
Using a back-up semantics for revising and updating nonmonotonic databases |