TU Delft Algorithmics
Cees Witteveen
Delft University of Technology Publications ALG Group
EWI ALG Cees WitteveenPublications
eng
 
 
 
 
 
 
Publications
Add or change here
2017
  • N.H. Luong, A. Bouter, M.C. van der Meer, Y. Niatsetski, C. Witteveen, A. Bel, T. Alderliesten, and P.A.N. Bosman (2017). Efficient, Effective, and Insightful Tackling of the High-Dose-Rate Brachytherapy Treatment Planning Problem for Prostate Cancer using Evolutionary Multi-Objective Optimization Algorithms.. In Proceedings of the Medical Applications of Genetic and Evolutionary Computation MedGEC Workshop at the Genetic and Evolutionary Computation Conference - GECCO-2017. [ Bibtex ]
  • M. Virgolin, T. Alderliesten, C. Witteveen, and P.A.N. Bosman (2017). Scalable genetic programming by gene-pool optimal mixing and input-space entropy-based building block learning. In Proceedings of the Genetic and Evolutionary Computation Conference - GECCO-2017. [ Bibtex ]
  • A. Bouter, T. Alderliesten, C. Witteveen, P.A.N. Bosman (2017). Exploiting linkage information in real-valued optimization with the real-valued gene-pool optimal mixing evolutionary algorithm. In Proceedings of the Genetic and Evolutionary Computation Conference - GECCO-2017. [ Bibtex ]
  • A. Bouter, N. H. Luong, C. Witteveen, T.Alderliesten, P.A.N. Bosman (2017). The Multi-Objective Real-Valued Gene-Pool Optimal Mixing Evolutionary Algorithm. In Proceedings of the Genetic and Evolutionary Computation Conference - GECCO-2017. [ Bibtex ]
  • K.S. Mountakis, T. Klos, C. Witteveen (2017). Dynamic Temporal Decoupling. In D. Salvagnin, M. Lombardi (Eds.), Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming. Lecture Notes in Computer Science, Springer. [ Bibtex ]
  • K.S. Mountakis, T. Klos, C. Witteveen (2017). Stochastic task networks: Trading performance for stability. In D. Salvagnin, M. Lombardi (Eds.), Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming. Lecture Notes in Computer Science, Springer. [ Bibtex ]
2016
  • C Witteveen (2016). Optimising Flexibility for Simple Temporal Networks. In Proceedings of the 8th International Conference on Agents and Artificial Intelligence, pp. 524-531,, Rome, Italy. [ Bibtex ]
  • M. Virgolin, I.W.E.M. van Dijk, J. Wiersma, C.M. Ronckers, C. Witteveen, C.R.N. Rasch, A. Bel, T. Alderliesten and P.A.N. Bosman. (2016). Learning to Associate Distances with Historical Patient Data to Enable Fine-grained Studying of Late Adverse Effects of Paediatric Radiotherapy: Data, Methodology, and First Results.. In Proceedings of the International Conference on the use of Computers in Radiation Therapy - ICCR-2016.. [ Bibtex ]
2015
  • Simon Mountakis, Tomas Klos, Cees Witteveen and Bob Huisman (2015). Exact and Heuristic Methods for Trading Off Makespan and Stability in Stochastic Project Scheduling. In Proceedings Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA). [ Bibtex ]
  • Novak, Peter and Witteveen, Cees (2015). Context-aware reconfiguration of large-scale surveillance systems: argumentative approach. Argument & Computation. [ Bibtex ]
2014
2013
  • Peter Novak and Cees Witteveen (2013). Reconfiguration of Large-Scale Surveillance Systems. In Joao Leite and Tran Cao Son and Paolo Torroni and Leon van der Torre and Stefan Woltran (Eds.), Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 325-339. Lecture Notes in Computer Science 8143, Springer. [ Bibtex ]
  • P.Novak and C. Witteveen (2013). Reconfiguration of Large-Scale Surveillance Systems. In Proceedings CLIMA XIV 14th International Workshop on Computational Logic in Multi-Agent Systems (to appear). Lecture Notes in Computer Science 8143, Springer Verlag. [ Bibtex ]
  • Shekhar Gupta, Christian Fritz, Bob Price, Johan de Kleer and Cees Witteveen (2013). Continuous State Estimation for Heterogeneous Hadoop Clusters. In Proceedings 24rd International Workshop on the Principles of Diagnosis: DX-2013 (to appear). [ Bibtex ]
  • Tomas Klos, Michel Wilson, and Cees Witteveen (2013). Flexibility Metrics for Time and Resource Constrained Scheduling Problems. In Kendall, G., Vanden Berghe, G., McCollum, B. (Eds.), Proceedings of the 6th Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA), Ghent. [ Bibtex ]
  • Shekhar Gupta, Christian Fritz, Bob Price, Roger Hoover, Johan DeKleer and Cees Witteveen (2013). ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. In Proceedings 10th ACM International Conference on Autonomic Computing (ICAC '13). ACM. [ Bibtex ]
2012
  • Shekhar Gupta and Nico Roos and Cees Witteveen and Bob Price and Johan DeKleer (2012). Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. In AAAI Conference on Artificial Intelligence, pp. 2425-2426. Association for the Advancement of Artificial IntelligenceAAAI. [ Bibtex ]
  • Michel Wilson and Cees Witteveen and Bob Huisman (2012). Enhancing predictability of schedules by task grouping. In Proceedings of the 20th European Conference on Artificial Intelligence. IOS Press. [ Bibtex ]
2011
  • W. van der Hoek and C. Witteveen and M. Wooldridge (2011). Decomposing Constraint Systems. In K. Tumer, P. Yolum, L. Sonenberg and P. Stone (Eds.), Proceedings of the Tenth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011), pp. 149--156. IFAAMAS. [ Bibtex ]
2010
  • Cees Witteveen (2010). Complete Decomposition in Constraint Systems: Some equivalences and computational properties. [ Bibtex ]
  • Chetan Yadati Narasimha and Cees Witteveen and Yingqian Zhang (2010). Improving Task-based Plan Coordination. In Christian Guttman, Frank Dignum and Michael Georgeff (Eds.), Proceedings of the International Workshop on Collaborative Agents – REsearch and development (CARE 2009/2010). LNAI 6066, Springer Verlag. [ Bibtex ]
  • Chetan Yadati and Cees Witteveen and Yingqian Zhang (2010). COORDINATING AGENTS: An analysis of coordination in supply-chain management like tasks. In Joaquim Filipe, Ana L. N. Fred, Bernadette Sharp (Eds.), The 2nd International Conference on Agents and Artificial Intelligence (ICAART), pp. 218-223. INSTICC Press 2010. [ Bibtex ]
2009
  • A.W. ter Mors and C. Witteveen (2009). Plan Repair in Conflict-Free Routing. In Been-Chian Chien, Tzung-Pei Hong, Shyi-Ming Chen, Moonis Ali (Eds.), Proceedings of the The Twenty Second International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems IEA-AIE 2009, pp. 46-55, Tainan, Taiwan. Lecture Notes in Artificial Intelligence, Springer Verlag LNAI. [ Bibtex ]
2008
  • Oosterman, J. and Ravenhorst, R. and van Leeuwen, P. and Witteveen, C. (2008). Determining Resource Needs of Autonomous Agents in Decoupled Plans. . [ Bibtex ]
  • Chetan Yadati and Cees Witteveen and Yingqian Zhang and Mengxiao Wu and Han La Poutr`e (2008). Autonomous Scheduling with unbounded and bounded agents. In Ralph Bergmann and Gabriela Lindemann and Stefan Kirn and Michal Pechoucek (Eds.), Multiagent System Technologies. 6th German Conference, MATES 2008, pp. 195-206, Kaiserlautern, Germany. Lecture Notes In Computer Science, Springer -Verlag. [ Bibtex ]
  • Chetan Yadati Narasimha and Cees Witteveen and Yingqian Zhang and Mengxiao Wu and Han La Poutr'e (2008). Autonomous Scheduling. In Hamid R Arabnia and Youngsong Mun and Pei Li Zhou (Eds.), Proceedings of the Foundations of Computer Science (FCS 2008), pp. 73-79. CSREA Press. [ Bibtex ]
  • N. Roos and C. Witteveen (2008). Diagnosis of Simple Temporal Networks. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis and N. Avouris (Eds.), Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pp. 593-597, Patras, Greece. IOS Press, Amsterdam. [ Bibtex ]
2007
  • Nico Roos and Cees Witteveen (2007). Diagnosis of Plan Structure Violations. In Paolo Petta, J''org P. M''uller, Matthias Klusch, Michael Georgeff (Eds.), Multiagent System Technologies, 5th German Conference, MATES 2007, pp. 157-169. Lecture Notes in Artificial Intelligence 4687, Springer -- This paper received the MATES2007 Best Paper Award. [ Bibtex ]
2006
  • F. de Jonge and N. Roos and C. Witteveen (2006). Diagnosis of Multi-agent Plan Execution. In Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong (Eds.), Multiagent System Technologies, 4th German Conference, MATES 2006, pp. 86-97. Lecture Notes in Computer Science 4196, Springer. [ Bibtex ]
2005
  • A. W. ter Mors and J. M. Valk and C. Witteveen (2005). Complexity of Task Coordination for Non Cooperative Planning Agents. In Michael Pechoucek and Paolo Petta and László Zsolt Varga (Eds.), Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), pp. 600--603. Lecture Notes in Computer Science 3690, [ Bibtex ]
  • N. Roos and C. Witteveen (2005). Diagnosis of plans and agents. In Michael Pechoucek and Paolo Petta and László Zsolt Varga (Eds.), Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), pp. 357--366. Lecture Notes in Computer Science 3690, [ Bibtex ]
  • Cees Witteveen and Nico Roos and Roman P.J. van der Krogt and Mathijs M. de Weerdt (2005). Diagnosis of single and multi-agent plans. In Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael Wooldridge (Eds.), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-05), pp. 805--812. ACM press. [ Bibtex ]
  • Roman P.J. van der Krogt and Mathijs M. de Weerdt and Nico Roos and Cees Witteveen (2005). Multiagent Planning through Plan Repair. In Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael Wooldridge (Eds.), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-05), pp. 1337--1338. ACM press. [ Bibtex ]
2004
  • N. Roos and C. Witteveen (2004). Plan Diagnosis with Agents. In L. C. Verbrugge and N. Taatgen and L. Schomaker (Eds.), Proceedings of the Belgium-Netherlands Artificial Intelligence Conference (BNAIC), pp. 203--210. [ Bibtex ]
  • A. W. ter Mors and J. M. Valk and C. Witteveen (2004). Complexity of Coordinating Autonomous Planning Agents. In Proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, pp. 995--996. Lecture Notes in Computer Science (LNCS), [ Bibtex ]
2003
2002
  • J. Zutt and L. D. Aronson and R. P. J. van der Krogt and N. Roos and C. Witteveen (2002). Multi-agent transport planning. In H. Blockeel and M. Denecker (Eds.), Proceedings of the 14th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'02), pp. 387--394. [ Bibtex ]
  • J.M. Valk and C. Witteveen (2002). Multi-agent Coordination in Planning. In M. Ishizuka and A. Sattar (Eds.), PRICAI 2002: Trends in Artificial Intelligence: 7th Pacific Rim International Conference on Artificial Intelligence, pp. 335--344. Lecture Notes in Artificial Intelligence 2427, Springer. [ Bibtex ]
2001
  • B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (2001). Boolean Games. In J. van Benthem (Eds.), Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'01), pp. 287--298. Morgan Kaufmann. [ Bibtex ]
2000
  • C. Witteveen and W. van der Hoek (2000). How to Recover from (Non-)monotonic Inconsistency. In L. Cavedon and P. Blackburn and N. Braisby and A. Shimojima (Eds.), Logic, Language and Computation, pp. 319--340. CSLI Publications. [ Bibtex ]
  • J.M. Valk and A. Bos and J. Rogier and J.F.M. Tonino and C. Witteveen (2000). An Approximation Algorithm for a Distributed Planning Problem. In H. Tianfield (Eds.), International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000), pp. 419--424. ICSC Academic Press. [ Bibtex ]
  • H. Tonino and A. Bos and C. Witteveen (2000). Replanning by revision in Collective Agent Based Systems. Technical Report, PDS. [ Bibtex ]
  • W. van der Hoek and C. Witteveen (2000). Classical and General Frameworks for Recovery. In W. Horn (Eds.), Proceedings ECAI-2000, pp. 33--37. IOS Press. [ Bibtex ]
  • A. Bos and N. Roos and C. Witteveen (2000). Complexity reduction by using computational histories. In A. van den Bosch and H. Weigand (Eds.), Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference (BNAIC '00), pp. 207--214. [ Bibtex ]
  • A. Bos and A. van Gemund and C. Witteveen (2000). Model-based Diagnosis Support for Satellite-based Instruments. In IEEE Autotestcon Systems Readiness Technology Conference, pp. 451--464. [ Bibtex ]
  • A. Bos and A. van Gemund and C. Witteveen (2000). Design of a Generic Model-Based Diagnosis System with Automatic Abstraction Generation. In L.J. van Vliet and J.W.J. Heijnsdijk and T. Kielmann and P.M.W. Knijnenburg (Eds.), Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging (ASCI 2000), pp. 29--36. [ Bibtex ]
  • A. Bos and C. Witteveen (2000). Safe Testing for Dynamic Systems. In DX'00 Eleventh International Workshop On Principles of Diagnosis, pp. 9--16. [ Bibtex ]
1999
  • B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (1999). Subgame Perfect Nash-Equilibria in Dynamic Logic. In M. Pauly and A. Baltag (Eds.), Proceedings of the ILLC Workshop on Logic and Games, pp. 29--30. ILLC Prepublications Series PP-1999-25, ILLC. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1999). Recovering from Inconsistency: A general Framework for Theory Recovery. In Proceedings WAIT 99, SADIO, IFIP, pp. 37--50. [ Bibtex ]
  • J. Valk and H. Tonino and C. Witteveen (1999). Automated Theorem Proving for the KARO-architecture: Foundations and applications of Collective Agent Based Systems (CABS). In ESSLLI 99 Workshop. [ Bibtex ]
  • A. Bos and N. Roos and C. Witteveen (1999). Computing with Computational Histories. In Proceedings of the BNAIC'99, pp. 19--26. [ Bibtex ]
  • A. Bos and C. Witteveen (1999). Compilation to speed up the Control of Hybrid Systems. In Proceedings of the Fifth Annual Conference of the Advanced School for Computing and Imaging (ASCI'99), pp. 243--250. [ Bibtex ]
1998
  • C. Witteveen (1998). Recovery and Common-Sense Reasoning. In M. Evens (Eds.), Proceedings MAICS-98, pp. 50--57. AAAI Press. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1998). Theory Recovery in a multi-agent context. In Proceedings Logic and the Foundations of Game and Decision Theory LOFT3, ICER. [ Bibtex ]
  • A. Bos and C. Witteveen (1998). Non-strict Knowledge Compilation. In H. La Poutr'e and J. van den Herik (Eds.), Proceedings of the NAIC 1998, pp. 77--86. [ Bibtex ]
  • A. Bos and C. Witteveen (1998). Non-strict Knowledge Computation. In Proceedings NAIC'98. [ Bibtex ]
1997
  • C. Witteveen and W. van der Hoek (1997). Recovery of Nonmonotonic Theories. Technical Report, Delft University of Technology. Utrecht University, Department of Computer Science, CS. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1997). A general framework for revising non-monotonic theories.. In J. Dix et al. (Eds.), Logic programming and Nonmonotonic Reasoning, LNAI 165, pp. 258--272. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1997). Reducing Updating to Recovery in Nonmonotonic Databases. In K. van Marcke and W. Daelemans (Eds.), Proceedings of the NAIC'97, pp. 22--38. [ Bibtex ]
  • E. Weydert and G. Brewka and C. Witteveen (Eds.) (1997). Proceedings DGNMR'97, Max Planck Institut for Computer Science, Saarbruecken. [ Bibtex ]
1996
  • B.C.M. Wondergem and W. van der Hoek and T.W.C. Huibers and C. Witteveen (1996). Preferential Semantics for Query by Navigation. Technical Report, Computing Science Institute. Faculty of Mathematics and Informatics University of Nijmegen. [ Bibtex ]
  • C. Witteveen (1996). Partial semantics for truth maintenance. In P. Doherty (Eds.), Partiality, Modality and Nonmonotonicity, pp. 197--222. CSLI publications. [ Bibtex ]
  • C. Witteveen (1996). Belief Revision in Truth Maintenance. In A. Fuhrmann and H. Rott (Eds.), Logic, Action, and Information, pp. 447--470. Walter de Gruyter. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Updating Nonmonotonic Databases. In M. Vardi (Eds.), Proceedings of the Fourth Isreal Symposium on Theory of Computing and Systems, pp. 147--154. IEEE Computer Society Press. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Using a back-up semantics for revising and updating nonmonotonic databases.. Technical Report, Delft University of Technology Faculty of Technical Mathematics and Informatics. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Revision and Updating Using a Back-up Semantics.. In J.J. Alferes and L.M. Pereira and E. Orlowska (Eds.) Logics in Artificial Intelligence, LNAI 1126, pp. 388 - 403. Springer Verlag. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Semantic based theory-revision in nonmonotonic logic. In Proceedings of the DRUMS II Workshop, pp. 22-38. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Some postulates for nonmonotonic theory revision applied to logic programming. In P. Schroeder-Heister and R. Dyckhoff and H. Herre (Eds.) Extensions of Logic Programming, pp. 303--318. Springer. [ Bibtex ]
  • D. Lindeyer and C. Witteveen (1996). Extending the domain of stratified logic programs.. Technical Report, Delft University of Technology Faculty of Technical Mathematics and Informatics. [ Bibtex ]
1995
  • C. Witteveen (1995). Every Normal Program has a Nearly Stable Model. In J. Dix and L.M. Pereira and T.C. Przymusinski (Eds.) Non-Monotonic Extensions of Logic Programming, pp. 68--84. Springer Verlag. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Theory Revision in a Multi-agent framework. In Proceedings of the First International Workshop on Decentralized Intelligent and Multi-Agent Systems (DIMAS'95), pp. 427--434. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Semantic Based Theory Revision in Nonmonotonic Logic. Technical Report, Dep. of Comp. Sci, Univ Utrecht. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Nonmonotonic Theory Revision in Logic Programming. Technical Report, Rep. of Techn. Mathem and Comp. Sci, Delft. Delft. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Revision by Communication. In V.W. Marek and A. Nerode and M. Truszczynski (Eds.) Logic Programming and Nonmonotonic Reasoning, pp. 189--202. Springer Verlag. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Program Revision by Consulting Weaker Semantics. In J.C. Bioch and Y-H. Tan (Eds.), Proceedings Seventh Dutch Conference on Artificial Intelligence (NAIC'95), pp. 393--404. [ Bibtex ]
  • A. Bos (1995). Reasoning with abstractions. In G. Brewka and C. Witteveen (Eds.), Proc. of the second Dutch/German Workshop on Non-Monotonic Reasoning. [ Bibtex ]
1994
  • C. Witteveen (1994). A new revision method for incoherent and contradictory logic programs. In T. Przymusinski and J. Dix and L.M. Pereira (Eds.), Proceedings of the Workshop on Non-Monotonic Extensions of Logic Programming, pp. 47--56. Lecture Notes in Artificial Intelligence 927, Springer Verlag. [ Bibtex ]
  • C. Witteveen (1994). Shifting and condensing normal logic porgrams and disjunctive databases.. Technical Report, Delft University of Technology Faculty of Technical Mathematics and Informatics. [ Bibtex ]
  • C. Witteveen (1994). Process knowledge in production systems.. In D. Albert (Eds.), Knowledge Structures, pp. 197--228. Springer-Verlag. [ Bibtex ]
  • C. Witteveen (1994). Revising incoherent and contradictory logic programs. In E. Marchiori (Eds.), Proceedings of the 6th Benelux Workshop on Logic Programming. CWI. [ Bibtex ]
  • C. M. Jonker and C. Witteveen (1994). Revision by expansion. In G. LakeMeyer and B. Nebel (Eds.) Foundations of Knowledge Representation and Reasoning, pp. 333--354. Springer Verlag. [ Bibtex ]
  • W. van der Hoek and C. Witteveen and H. de Nivelle (1994). Revision of non-monotonic theories: Some postulates and an application to logic programming.. In L.M. Pereira and C. MacNish and D. Pearce (Eds.) Logics in Artificial Intelligence, pp. 137-151. Springer Verlag. [ Bibtex ]
1993
  • C. Witteveen (1993). Complexity of Canonical Revisions in Logic Programs. Technical Report, Delft University of Technology. [ Bibtex ]
  • C. Witteveen and C.M. Jonker (1993). Revision by Expansion in Logic Programs. Technical Report, Delft University of Technology. [ Bibtex ]
  • C. Witteveen and C.M. Jonker (1993). Ambiguity and Undefinedness in Non-Monotonic Semantics.. In W. Nejdl (ed.) (Eds.), Proceedings Dutch-German Workshop on Non-Monotonic Logic and its applications. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1993). Belief Revision by Expansion. In M. Clarke and R. Kruse and S. Moral (Eds.) Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp. 380--387. Springer-Verlag. [ Bibtex ]
  • C. Witteveen and G. Brewka (1993). Skeptical reason maintenance and belief revision. Artificial Intelligence 61:1--36. [ Bibtex ]
1992
  • C. Witteveen (1992). Expanding Logic Programs. In D. Pearce and G. Wagner (Eds.) Logics in AI, pp. 373--390. Springer-Verlag. [ Bibtex ]
  • C. M. Jonker and C. Witteveen (1992). Partiele Abductie. In H. de Swaan Arons and H. Koppelaar and E. J. H. Kerckhoffs (Eds.), Proceedings of the NAIC'92, pp. 227--236. Delftse Universitaire Pers. [ Bibtex ]
  • W.van der Hoek and J.-J. Ch. Meyer and Y. H. Tan and C. Witteveen (1992). Non-Monotonic Reasoning and Partial Semantics, Ellis Horwood. [ Bibtex ]
  • D. Albert and H. B. Bahrick and C. Falmagne and M. Toda and C. Witteveen and G. d'Ydewalle (1992). Representation and Assessment of Knowledge. In B. Wilpert (Eds.), Proceedings ICAP'90, pp. 567--579. Lawrence Erlbaum. [ Bibtex ]
1991
  • C. Witteveen (1991). A Three-valued Cumulative Semantics for TMS. Technical Report, Faculty of Technical Mathematics and Informatics Delft. [ Bibtex ]
  • C. Witteveen (1991). Partial Semantics for Truth Maintenance. In J. van Eijck (Eds.) Logics for AI, pp. 544--561. Springer Verlag. [ Bibtex ]
  • C. Witteveen (1991). A Skeptical Semantics for Truth Maintenance. In J.P. Martins and M. Reinfrank (Eds.) Truth Maintenance Systems, pp. 136--154. Springer-Verlag. [ Bibtex ]
  • C. Witteveen (1991). Skeptical Reason Maintenance is Tractable. In J. Allen and R. Fikes and E. Sandewall (Eds.), Principles of Knowledge Representation and Reasoning, Proceedings of KR'91, pp. 570--584. Morgan Kaufmann. [ Bibtex ]
  • C. Witteveen and G. Brewka (1991). Skeptical Reason Maintenance is Tractable. Technical Report, Faculty of Technical Mathematics and Informatics. Delft University of Technology. [ Bibtex ]
  • C. M. Jonker and C. Witteveen (1991). Belief Revision in Reason Maintenance. In J. Treur (Eds.), Proceedings of the NAIC'91, pp. 91--100. SIC. [ Bibtex ]
1990
  • C. Witteveen (1990). Constructive Fixpoint Semantics for Truth Maintenance Systems. Technical Report, Faculty of Technical Mathematics and Informatics. Delft University of Technology. [ Bibtex ]
  • C. Witteveen (1990). Een constructieve semantiek voor Truth-Maintenance Systemen. In H. J. van der Herik and N. J. I. Mars (Eds.), Proceedings of the NAIC'90, pp. 231--240. SIC. [ Bibtex ]
  • C. Witteveen and L. Stakenborgh (1990). Labelingsproblemen in Truth-Maintenance Systemen. In R. R. Bakker (Eds.), Proceedings of the NAIC'89, pp. 231--240. Academic Service. [ Bibtex ]
  • W. E. Nijenhuis and C. Witteveen (1990). Constructive Identification with Poole's Logic. Technical Report, Faculty of Technical Mathematics and Informatics. Delft University of Technology. [ Bibtex ]
1984
  • C. Witteveen (1984). Control Structures for Rule Governed Systems. In Proceedings 6th AFCET-WOGS conference, AFCET, pp. 591--695. [ Bibtex ]
  • C. Witteveen (1984). Programmed Production Systems. PhD Thesis, Utrecht University. [ Bibtex ]
1981
  • C. Witteveen and H. Boelens (1981). Inferring Control Structures from the Behaviour of a Production System. Information and Control 51(3):275--301. [ Bibtex ]