| 2009 |
|---|
| 61 | EE | Sicco Verwer,
Mathijs de Weerdt,
Cees Witteveen:
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit.
LATA 2009: 740-751 |
| 2008 |
|---|
| 60 | EE | Nico Roos,
Cees Witteveen:
Diagnosis of Simple Temporal Networks.
ECAI 2008: 593-597 |
| 59 | EE | Adriaan ter Mors,
Xiaoyu Mao,
Jonne Zutt,
Cees Witteveen,
Nico Roos:
Robust Reservation-Based Multi-Agent Routing.
ECAI 2008: 929-930 |
| 58 | | Chetan Yadati,
Cees Witteveen,
Yingqian Zhang,
Mengxiao Wu,
Han La Poutré:
Autonomous Scheduling.
FCS 2008: 73-81 |
| 57 | EE | Sicco Verwer,
Mathijs de Weerdt,
Cees Witteveen:
Polynomial Distinguishability of Timed Automata.
ICGI 2008: 238-251 |
| 56 | EE | Chetan Yadati,
Cees Witteveen,
Yingqian Zhang,
Mengxiao Wu,
Han La Poutré:
Autonomous Scheduling with Unbounded and Bounded Agents.
MATES 2008: 195-206 |
| 2007 |
|---|
| 55 | EE | Cees Witteveen,
Nico Roos,
Adriaan ter Mors,
Xiaoyu Mao:
Diagnosis of plan step errors and plan structure violations.
AAMAS 2007: 126 |
| 54 | EE | J. Renze Steenhuisen,
Cees Witteveen,
Yingqian Zhang:
Plan-Coordination Mechanisms and the Price of Autonomy.
CLIMA VIII 2007: 1-21 |
| 53 | EE | Ruben Stranders,
Mathijs de Weerdt,
Cees Witteveen:
Fuzzy Argumentation for Trust.
CLIMA VIII 2007: 214-230 |
| 52 | | J. Renze Steenhuisen,
Cees Witteveen:
Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks.
FCS 2007: 3-9 |
| 51 | | Adriaan ter Mors,
Jonne Zutt,
Cees Witteveen:
Context-Aware Logistic Routing and Scheduling.
ICAPS 2007: 328-335 |
| 50 | EE | Xiaoyu Mao,
Adriaan ter Mors,
Nico Roos,
Cees Witteveen:
Coordinating Competitive Agents in Dynamic Airport Resource Scheduling.
MATES 2007: 133-144 |
| 49 | EE | Nico Roos,
Cees Witteveen:
Diagnosis of Plan Structure Violations.
MATES 2007: 157-169 |
| 2006 |
|---|
| 48 | EE | Femke de Jonge,
Nico Roos,
Cees Witteveen:
Diagnosis of Multi-agent Plan Execution.
MATES 2006: 86-97 |
| 47 | EE | J. Renze Steenhuisen,
Cees Witteveen,
Adriaan ter Mors,
Jeroen Valk:
Framework and Complexity Results for Coordinating Non-cooperative Planning Agents.
MATES 2006: 98-109 |
| 46 | EE | Pieter Buzing,
Adriaan ter Mors,
Jeroen Valk,
Cees Witteveen:
Coordinating Self-interested Planning Agents.
Autonomous Agents and Multi-Agent Systems 12(2): 199-218 (2006) |
| 2005 |
|---|
| 45 | EE | Roman van der Krogt,
Nico Roos,
Mathijs de Weerdt,
Cees Witteveen:
Multiagent planning through plan repair.
AAMAS 2005: 1337-1338 |
| 44 | EE | Cees Witteveen,
Nico Roos,
Roman van der Krogt,
Mathijs de Weerdt:
Diagnosis of single and multi-agent plans.
AAMAS 2005: 805-812 |
| 43 | | Sicco Verwer,
Mathijs de Weerdt,
Cees Witteveen:
Timed Inference for Behavioral Pattern Recognition.
BNAIC 2005: 291-296 |
| 42 | | Adriaan ter Mors,
Cees Witteveen:
Coordinating Self Interested Autonomous Planning Agents.
BNAIC 2005: 383-384 |
| 41 | | Pieter Buzing,
Cees Witteveen:
Temporal Plan and Resource Management.
BNAIC 2005: 43-50 |
| 40 | EE | Nico Roos,
Cees Witteveen:
Diagnosis of Plans and Agents.
CEEMAS 2005: 357-366 |
| 39 | EE | Adriaan ter Mors,
Jeroen Valk,
Cees Witteveen:
Complexity of Task Coordination for Non Cooperative Planning Agents.
CEEMAS 2005: 600-603 |
| 38 | | Nico Roos,
Cees Witteveen:
Diagnosis of Plan Execution and the Executing Agent.
EUMAS 2005: 502-503 |
| 37 | EE | Adriaan ter Mors,
Cees Witteveen:
Coordinating Non Cooperative Planning Agents: Complexity Results.
IAT 2005: 407-413 |
| 36 | | Nico Roos,
Cees Witteveen:
Problem Solving in a Computational Society.
IC-AI 2005: 764-772 |
| 35 | EE | Nico Roos,
Cees Witteveen:
Diagnosis of Plan Execution and the Executing Agent.
KI 2005: 161-175 |
| 2004 |
|---|
| 34 | EE | Nico Roos,
Annette ten Teije,
Cees Witteveen:
Reaching Diagnostic Agreement in Multi-Agent Diagnosis.
AAMAS 2004: 1256-1257 |
| 33 | | Adriaan ter Mors,
Jeroen Valk,
Cees Witteveen:
Coordinating Autonomous Planners.
IC-AI 2004: 795- |
| 32 | EE | Adriaan ter Mors,
Jeroen Valk,
Cees Witteveen:
Complexity of Coordinating Autonomous Planning Agents.
PRICAI 2004: 995-996 |
| 2003 |
|---|
| 31 | EE | Nico Roos,
Annette ten Teije,
Cees Witteveen:
A protocol for multi-agent diagnosis with spatially distributed knowledge.
AAMAS 2003: 655-661 |
| 30 | EE | Roman van der Krogt,
Mathijs de Weerdt,
Cees Witteveen:
A Resource Based Framework for Planning and Replanning.
IAT 2003: 247-253 |
| 29 | | Mathijs de Weerdt,
André Bos,
Hans Tonino,
Cees Witteveen:
A Resource Logic for Multi-Agent Plan Merging.
Ann. Math. Artif. Intell. 37(1-2): 93-130 (2003) |
| 28 | EE | Paul Harrenstein,
Wiebe van der Hoek,
John-Jules Ch. Meyer,
Cees Witteveen:
A Modal Characterization of Nash Equilibrium.
Fundam. Inform. 57(2-4): 281-321 (2003) |
| 27 | EE | Roman van der Krogt,
Mathijs de Weerdt,
Cees Witteveen:
A resource based framework for planning and replanning.
Web Intelligence and Agent Systems 1(3-4): 173-186 (2003) |
| 2002 |
|---|
| 26 | EE | Nico Roos,
Annette ten Teije,
André Bos,
Cees Witteveen:
An analysis of multi-agent diagnosis.
AAMAS 2002: 986-987 |
| 25 | | Paul Harrenstein,
Wiebe van der Hoek,
John-Jules Ch. Meyer,
Cees Witteveen:
On Modal Logic Interpretations of Games.
ECAI 2002: 28-32 |
| 24 | EE | Jeroen Valk,
Cees Witteveen:
Multi-agent Coordination in Planning.
PRICAI 2002: 335-344 |
| 23 | EE | Hans Tonino,
André Bos,
Mathijs de Weerdt,
Cees Witteveen:
Plan coordination by revision in collective agent based systems.
Artif. Intell. 142(2): 121-145 (2002) |
| 22 | | Wiebe van der Hoek,
Cees Witteveen:
Note by the Guest Editors.
Studia Logica 70(1): 3-4 (2002) |
| 2001 |
|---|
| 21 | EE | Roman van der Krogt,
André Bos,
Cees Witteveen:
Replanning in a Resource-Based Framework.
Multi-Agent-Systems and Applications 2001: 148-158 |
| 2000 |
|---|
| 20 | | Mathijs de Weerdt,
André Bos,
Hans Tonino,
Cees Witteveen:
A Plan Fusion Algorithm for Multi-Agent Systems.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 56-65 |
| 19 | | Wiebe van der Hoek,
Cees Witteveen:
Classical, General Frameworks for Recovery.
ECAI 2000: 33-37 |
| 18 | EE | Bart Jan Moree,
André Bos,
Hans Tonino,
Cees Witteveen:
Cooperation by Iterated Plan Revision.
ICMAS 2000: 191-198 |
| 1998 |
|---|
| 17 | EE | Cees Witteveen,
Wiebe van der Hoek:
Recovery of (Non)Monotonic Theories.
Artif. Intell. 106(1): 139-159 (1998) |
| 1997 |
|---|
| 16 | | Cees Witteveen,
Wiebe van der Hoek:
A General Framework for Revising Non-Monotonic Theories.
LPNMR 1997: 258-273 |
| 1996 |
|---|
| 15 | | Cees Witteveen,
Wiebe van der Hoek:
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.
ELP 1996: 303-318 |
| 14 | | Cees Witteveen,
Wiebe van der Hoek:
Updating Nonmonotonic Databases.
ISTCS 1996: 147-153 |
| 13 | | Cees Witteveen,
Wiebe van der Hoek:
Revising and Updating Using a Back-Up Semantics.
JELIA 1996: 388-403 |
| 12 | | Cees Witteveen:
Belief Revision in Truth Maintenance.
Logic, Action, and Information 1996: 447-470 |
| 1995 |
|---|
| 11 | | Cees Witteveen,
Wiebe van der Hoek:
Revision by Communication.
LPNMR 1995: 189-202 |
| 1994 |
|---|
| 10 | | Cees Witteveen,
Wiebe van der Hoek,
Hans de Nivelle:
Revision of Non-Monotonic Theories.
JELIA 1994: 137-151 |
| 9 | | Cees Witteveen:
Every Normal Program has a Nearly-Stable Model.
NMELP 1994: 68-84 |
| 1993 |
|---|
| 8 | | Cees Witteveen,
Wiebe van der Hoek:
Belief Revision by Expansion.
ECSQARU 1993: 380-387 |
| 7 | | Cees Witteveen,
Gerhard Brewka:
Skeptical Reason Maintenance and Belief Revision.
Artif. Intell. 61(1): 1-36 (1993) |
| 1992 |
|---|
| 6 | | Cees Witteveen,
Catholijn M. Jonker:
Revision by Expansion in Logic Programs.
ECAI Workshop on Knowledge Representation and Reasoning 1992: 333-355 |
| 5 | | Cees Witteveen:
Expanding Logic Programs.
JELIA 1992: 373-390 |
| 1991 |
|---|
| 4 | | Cees Witteveen:
Skeptical Reason Maintenance is Tractable.
KR 1991: 570-581 |
| 1990 |
|---|
| 3 | | Cees Witteveen:
Partial Semantics for Truth Maintenance - a Compositional Approach.
JELIA 1990: 544-561 |
| 2 | | Cees Witteveen:
A Skeptical Semantics for Truth Maintenance.
Truth Maintenance Systems (ECAI Workshop) 1990: 136-154 |
| 1981 |
|---|
| 1 | | Cees Witteveen,
Harrie Boelens:
Inferring Control Structures from the Behaviour of a Production System
Information and Control 51(3): 275-301 (1981) |
