Research

 

Research interests

  • Algorithmics
    • Coordination algorithms
    • Complexity theory,
    • Approximation techniques
    • Inductive Inference
  • Logic
    • Finite model theory
    • Logic Programming
  • Artifical Intelligence
    • Model-based diagnosis
    • Nonmonotonic reasoning
    • Knowledge Compilation


Past and Current Research Projects

Diagnostics and incident management techniques in transportation (1998- 2003)
FTAM DIOC programme
Funded by Delft University of Technology

IT-architecture and coordination in transportation networks with autonomous actors (1998 - 2003)
TNO-TRAIL programme
Funded by TNO
Research description

Fault detection and recovery in multimodal transportation networks with autonomous actors (2001 - 2005)
TNO-TRAIL programme
Funded by TNO
Research description

Distributed Model Based Diagnosis and Repair (2004 - 2008)
Funded by STW, 3 PhD's
Research description

Cybernetic Incident Management (2003 - 2007)
TSIT project,
Funded by Senter
Research description

Real-time optimization of motor-management systems (2006 - 2010)
TS project,
Funded by SenterNovem

Distributed Task coordination (2007 - 2011)
Casimir project,
Funded by SenterNovem

Service-based task coordination in Grids (2007 - 2011)
ICIS/ISA project, BSIK programme
Funded by Senter

Task coordination for non-cooperative agents (2007 - 2011)
NWO Open Competition programme
Funded by NWO, 2 PhD's

Hybrid Planning and scheduling (2006 - 2010)
Funded by DECIS Lab, Delft

Real-Time Motormanagement (2007 - 2011)
Funded by SenterNovem

SUPPORT (2010- 2013)
Funded by Agentschap NL/Provincie Zuid-Holland

Next Generation Infrastructures (2009-2012)
Funded by Agentschap NL

CARD: Cardinality constraint-based solver (2006- 2010)
Funded by NWO

Operational Scheduling (2010 - 2014)
Funded by NedTrain

Spectrum-based Diagnosis (2012 - 2016)
Funded by PARC

COMMIT/ METIS (2011 - 2015)
funded by Ministry of Economic Affairs

PowerWeb (2012 - 2016)
Funded by TUDelft, Alliander

 


Research Activities

  • Editorships

    • 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)
  • Program committees and organisational activities
    • 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,
    • PC member of the BNAIC 2006,
    • PC member of the CLIMA VIII 2007,
    • PC member of the BNAIC 2007,
    • PC member of the EUMAS 2007
    • PC member of the CLIMA IX 2008,
    • PC member of the BNAIC 2008,
    • PC member of the CLIMA X 2009,
    • PC member of the BNAIC 2009,
    • PC member of the EUMAS 2009
    • PC member of the CLIMA XI 2010,
    • PC member of the BNAIC 2010,
    • Co-chair of the MATES 2010 conference
    • PC member CARE 2010
    • Conference Area Chair of the ICIRA 2011,
    • PC member IJCAI 2011,
    • PC member of the EUMAS 2011,
    • PC member CARE 2011,
    • PC member CLIMA XII 2011,
    • Senior PC member of the AAMAS 2012,
    • PC member ICAART 2012,
    • PC member EUMAS 2012,
    • PC member BNAIC 2012,
    • PC member MBD 2012,
    • PC member MATES 2012,
    • PC member ECAI 2012,
    • Senior PC member of the AAMAS 2013,
    • PC member ICAART 2013,


Reviewing

  • Mathematical Reviews
  • Theoretical Computer Science
  • Artificial Intelligence
  • JAAMAS
  • Journal of Logic and Computation
  • NWO
  • STW
  • FWO
  • FWF
  • ERC



Memberships

  • OzsL, ASCI, SIKS and TRAIL Dutch research schools
  • European Network of Excellence in AI Planning PLANET
  • VSNU quality assessment committee on AI curricula 2001
  • 2002 international review committee for reaccreditation of the Nijmegen NICI research school
  • program board for Computer Science of the Lorentz Center
  • program board of the research school TRAIL
  • board of the Belgian-Netherlands association for AI (treasurer)
  • Scientific committee of the EECS department Delft University (VCWb)
  • Dutch Society for Theoretical Computer Science
Cees Witteveen