TU Delft Algorithmics
Cees Witteveen
Delft University of Technology Research ALG Group
EWI ALG Cees WitteveenResearch
eng
 
 
 
 
 
 
Research interests
Algorithmics
  • Complexity theory,
  • Approximation techniques,
  • Random algorithms,
  • Planning and scheduling,
  • Inductive Inference
  • Finite model theory
  • Logic Programming
  • Cooperative planning
  • Task allocation and scheduling
  • Belief revision
  • Model-based diagnosis
  • Nonmonotonic reasoning
  • Knowledge Compilation
  • Inductive learning
Funded by Delft University of Technology
Research description TNO-TRAIL programme
Funded by TNO
Research description TNO-TRAIL programme
Funded by TNO
Research description Funded by STW, 3 PhD's
Research description TSIT project,
Funded by Senter
Research description TS project,
Funded by SenterNovem Casimir project,
Funded by SenterNovem ICIS/ISA project, BSIK programme
Funded by Senter NWO Open Competition programme
Funded by NWO, 2 PhD's
Funded by DECIS Lab, Delft Funded by Almende BV, Rotterdam
  • Guest editor of Studia Logica, Special issue on Belief Revision (with W. van der Hoek)
  • Editor of the PlanSig 2002 proceedings (with T. Grant)
  • Editor of the DGNMR2001 proceedings (with T. Schaub and G. Brewka)
  • Editor of the DBNMR'99 proceedings (with H. Rott, C. Albert, G. Brewka)
  • Editor of the DGNMR'97 proceedings (with E. Weydert, G. Brewka)
  • Non-Monotonic Reasoning and Partial Semantics, Series in Artificial Intelligence, Chichester, (with W. van der Hoek, J.-J.Ch. Meyer, Y.H. Tan, 1992)
  • Co-chair of the PLANSIG2002 workshop on Planning and Scheduling, Delft, The Netherlands
  • PC member of the BNAIC'02, Leuven, Belgium
  • PC member of the ECSQUARU'03, Denmark
  • PC member of the BNAIC'03, Nijmegen, The Netherlands
  • PC-member of the PROMAS-2003, Australia
  • PC member of the CLIMA 2004, Florida, USA
  • PC member of the PROMAS-2004, New York, USA
  • PC member of the AAMAS-2004, New York, USA
  • PC member of the BNAIC'04, Groningen, The Netherlands
  • PC member of the AAMAS-2005, Utrecht, The Netherlands
  • PC member of the CLIMA 2005, London, Great-Britain
  • PC member of the PROMAS-2005, Utrecht, The Netherlands
  • PC member of the BNAIC'05, Brussels, Belgium
  • PC member of the EUMAS-2005, Brussels, Belgium
  • PC member of the CLIMA VII 2006, Hakodate, Japan
  • Mathematical Reviews
  • Theoretical Computer Science
  • Artificial Intelligence
  • JAAMAS
  • Journal of Logic and Computation
  • NWO
  • STW
  • IJCAI conferences
  • AAMAS conferences