|
| Research interests |
 |
|
|
|
|
|
Algorithmics
|
|
|
- Complexity theory,
- Approximation techniques,
- Random algorithms,
- Planning and scheduling,
- Inductive Inference
|
|
|
Logic
|
|
|
- Finite model theory
- Logic Programming
|
|
|
Artifical Intelligence
|
|
|
- Cooperative planning
- Task allocation and scheduling
- Belief revision
- Model-based diagnosis
- Nonmonotonic reasoning
- Knowledge Compilation
- Inductive learning
|
|
|
| Current Research Projects |
|
|
|
|
|
|
Diagnostics and incident management techniques in transportation FTAM DIOC programme
|
|
|
Funded by Delft University of Technology
Research description
|
|
|
IT-architecture and coordination in transportation networks with autonomous actors
|
|
|
TNO-TRAIL programme
Funded by TNO
Research description
|
|
|
Fault detection and recovery in multimodal transportation networks with autonomous actors
|
|
|
TNO-TRAIL programme
Funded by TNO
Research description
|
|
|
Distributed Model Based Diagnosis and Repair
|
|
|
Funded by STW, 3 PhD's
Research description
|
|
|
Cybernetic Incident Management
|
|
|
TSIT project,
Funded by Senter
Research description
|
|
|
Real-time optimization of motor-management systems
|
|
|
TS project,
Funded by SenterNovem
|
|
|
Distributed Task coordination
|
|
|
Casimir project,
Funded by SenterNovem
|
|
|
Service-based task coordination in Grids
|
|
|
ICIS/ISA project, BSIK programme
Funded by Senter
|
|
|
Task coordination for non-cooperative agents
|
|
|
NWO Open Competition programme
Funded by NWO, 2 PhD's
|
|
|
Hybrid Planning and scheduling
|
|
|
Funded by DECIS Lab, Delft
|
|
|
Distributed Logistics
|
|
|
Funded by Almende BV, Rotterdam
|
|
|
| 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
|
|
|
Reviewing
|
|
|
- Mathematical Reviews
- Theoretical Computer Science
- Artificial Intelligence
- JAAMAS
- Journal of Logic and Computation
- NWO
- STW
- IJCAI conferences
- AAMAS conferences
|
|
|
| Memberships |
|
|
|
|
|
|
|
|
|
|
|
|
Research
