Inferring Control Structures from the Behaviour of a Production System - Cees Witteveen; Harrie Boelens (Inf. Control., 1981)

A Skeptical Semantics for Truth Maintenance. - Cees Witteveen (Truth Maintenance Systems (ECAI Workshop), 1990)

Partial Semantics for Truth Maintenance - a Compositional Approach. - Cees Witteveen (JELIA, 1990)

Skeptical Reason Maintenance is Tractable. - Cees Witteveen (KR, 1991)

Revision by Expansion in Logic Programs. - Cees Witteveen; Catholijn M. Jonker (ECAI Workshop on Knowledge Representation and Reasoning, 1992)

Expanding Logic Programs. - Cees Witteveen (JELIA, 1992)

Belief Revision by Expansion. - Cees Witteveen; Wiebe van der Hoek (ECSQARU, 1993)

Skeptical Reason Maintenance and Belief Revision. - Cees Witteveen; Gerhard Brewka (Artif. Intell., 1993)

Revision of Non-Monotonic Theories. - Cees Witteveen; Wiebe van der Hoek; Hans de Nivelle (JELIA, 1994)

Every Normal Program has a Nearly-Stable Model. - Cees Witteveen (NMELP, 1994)

Revision by Communication. - Cees Witteveen; Wiebe van der Hoek (LPNMR, 1995)

Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. - Cees Witteveen; Wiebe van der Hoek (ELP, 1996)

Updating Nonmonotonic Databases. - Cees Witteveen; Wiebe van der Hoek (ISTCS, 1996)

Revising and Updating Using a Back-Up Semantics. - Cees Witteveen; Wiebe van der Hoek (JELIA, 1996)

Belief Revision in Truth Maintenance. - Cees Witteveen (Logic, Action, and Information, 1996)

A General Framework for Revising Non-Monotonic Theories. - Cees Witteveen; Wiebe van der Hoek (LPNMR, 1997)

Recovery of (Non)Monotonic Theories. - Cees Witteveen; Wiebe van der Hoek (Artif. Intell., 1998)

A Plan Fusion Algorithm for Multi-Agent Systems. - Mathijs de Weerdt; André Bos; Hans Tonino; Cees Witteveen (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

Classical, General Frameworks for Recovery. - Wiebe van der Hoek; Cees Witteveen (ECAI, 2000)

Cooperation by Iterated Plan Revision. - Bart Jan Moree; André Bos; Hans Tonino; Cees Witteveen (ICMAS, 2000)

Replanning in a Resource-Based Framework. - Roman van der Krogt; André Bos; Cees Witteveen (Multi-Agent-Systems and Applications, 2001)

An analysis of multi-agent diagnosis. - Nico Roos; Annette ten Teije; André Bos; Cees Witteveen (AAMAS, 2002)

On Modal Logic Interpretations of Games. - Paul Harrenstein; Wiebe van der Hoek; John-Jules Ch. Meyer; Cees Witteveen (ECAI, 2002)

Multi-agent Coordination in Planning. - Jeroen Valk; Cees Witteveen (PRICAI, 2002)

Plan coordination by revision in collective agent based systems. - Hans Tonino; André Bos; Mathijs de Weerdt; Cees Witteveen (Artif. Intell., 2002)

Note by the Guest Editors. - Wiebe van der Hoek; Cees Witteveen (Stud Logica, 2002)

A protocol for multi-agent diagnosis with spatially distributed knowledge. - Nico Roos; Annette ten Teije; Cees Witteveen (AAMAS, 2003)

A Resource Logic for Multi-Agent Plan Merging. - Mathijs de Weerdt; André Bos; Hans Tonino; Cees Witteveen (Ann. Math. Artif. Intell., 2003)

A Modal Characterization of Nash Equilibrium. - Paul Harrenstein; Wiebe van der Hoek; John-Jules Ch. Meyer; Cees Witteveen (Fundam. Informaticae, 2003)

A resource based framework for planning and replanning. - Roman van der Krogt; Mathijs de Weerdt; Cees Witteveen (Web Intell. Agent Syst., 2003)

Reaching Diagnostic Agreement in Multi-Agent Diagnosis. - Nico Roos; Annette ten Teije; Cees Witteveen (AAMAS, 2004)

Coordinating Autonomous Planners. - Adriaan ter Mors; Jeroen Valk; Cees Witteveen (IC-AI, 2004)

Complexity of Coordinating Autonomous Planning Agents. - Adriaan ter Mors; Jeroen Valk; Cees Witteveen (PRICAI, 2004)

Multiagent planning through plan repair. - Roman van der Krogt; Nico Roos; Mathijs de Weerdt; Cees Witteveen (AAMAS, 2005)

Diagnosis of single and multi-agent plans. - Cees Witteveen; Nico Roos; Roman van der Krogt; Mathijs de Weerdt (AAMAS, 2005)

Temporal Plan and Resource Management. - Pieter Buzing; Cees Witteveen (BNAIC, 2005)

Coordinating Self Interested Autonomous Planning Agents. - Adriaan ter Mors; Cees Witteveen (BNAIC, 2005)

Timed Inference for Behavioral Pattern Recognition. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (BNAIC, 2005)

Complexity of Task Coordination for Non Cooperative Planning Agents. - Adriaan ter Mors; Jeroen Valk; Cees Witteveen (CEEMAS, 2005)

Diagnosis of Plans and Agents. - Nico Roos; Cees Witteveen (CEEMAS, 2005)

Coordinating Non Cooperative Planning Agents: Complexity Results. - Adriaan ter Mors; Cees Witteveen (IAT, 2005)

Problem Solving in a Computational Society. - Nico Roos; Cees Witteveen (IC-AI, 2005)

Diagnosis of Plan Execution and the Executing Agent. - Nico Roos; Cees Witteveen (KI, 2005)

Multiagent Planning: Problem Properties that Matter. - Mathijs de Weerdt; Cees Witteveen (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

Multi-Agent Planning for Non-Cooperative Agents. - Cees Witteveen; Mathijs de Weerdt (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

Diagnosis of Multi-agent Plan Execution. - Femke de Jonge; Nico Roos; Cees Witteveen (MATES, 2006)

Framework and Complexity Results for Coordinating Non-cooperative Planning Agents. - J. Renze Steenhuisen; Cees Witteveen; Adriaan ter Mors; Jeroen Valk (MATES, 2006)

Coordinating Self-interested Planning Agents. - Pieter Buzing; Adriaan ter Mors; Jeroen Valk; Cees Witteveen (Auton. Agents Multi Agent Syst., 2006)

Context-Aware Logistic Routing and Scheduling. - Adriaan ter Mors; Jonne Zutt; Cees Witteveen (ICAPS, 2007)

Diagnosis of plan step errors and plan structure violations. - Cees Witteveen; Nico Roos; Adriaan ter Mors; Xiaoyu Mao (AAMAS, 2007)

Plan-Coordination Mechanisms and the Price of Autonomy. - J. Renze Steenhuisen; Cees Witteveen; Yingqian Zhang 001 (CLIMA, 2007)

Fuzzy Argumentation for Trust. - Ruben Stranders; Mathijs de Weerdt; Cees Witteveen (CLIMA, 2007)

Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. - J. Renze Steenhuisen; Cees Witteveen (FCS, 2007)

Coordinating Competitive Agents in Dynamic Airport Resource Scheduling. - Xiaoyu Mao; Adriaan ter Mors; Nico Roos; Cees Witteveen (MATES, 2007)

Diagnosis of Plan Structure Violations. - Nico Roos; Cees Witteveen (MATES, 2007)

08461 Abstracts Collection - Planning in Multiagent Systems. - Jürgen Dix; Edmund H. Durfee; Cees Witteveen (Planning in Multiagent Systems, 2008)

08461 Executive Summary - Planning in Multi-Agent Systems. - Jürgen Dix; Edmund H. Durfee; Cees Witteveen (Planning in Multiagent Systems, 2008)

Robust Reservation-Based Multi-Agent Routing. - Adriaan ter Mors; Xiaoyu Mao; Jonne Zutt; Cees Witteveen; Nico Roos (ECAI, 2008)

Diagnosis of Simple Temporal Networks. - Nico Roos; Cees Witteveen (ECAI, 2008)

Autonomous Scheduling. - Chetan Yadati; Cees Witteveen; Yingqian Zhang 001; Mengxiao Wu; Han La Poutré (FCS, 2008)

Polynomial Distinguishability of Timed Automata. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (ICGI, 2008)

Autonomous Scheduling with Unbounded and Bounded Agents. - Chetan Yadati; Cees Witteveen; Yingqian Zhang 001; Mengxiao Wu; Han La Poutré (MATES, 2008)

Context-aware multi-stage routing. - Adriaan ter Mors; Jeroen van Belle; Cees Witteveen (AAMAS (1), 2009)

Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process. - Pim van Leeuwen; Cees Witteveen (IAT, 2009)

Plan Repair in Conflict-Free Routing. - Adriaan ter Mors; Cees Witteveen (IEA/AIE, 2009)

One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (LATA, 2009)

Concurrently Decomposable Constraint Systems. - Cees Witteveen; Wiebe van der Hoek; Nico Roos (MATES, 2009)

Primary and secondary diagnosis of multi-agent plan execution. - Femke de Jonge; Nico Roos; Cees Witteveen (Auton. Agents Multi Agent Syst., 2009)

Models and methods for plan diagnosis. - Nico Roos; Cees Witteveen (Auton. Agents Multi Agent Syst., 2009)

Plan decoupling of agents with qualitatively constrained tasks. - J. Renze Steenhuisen; Cees Witteveen (Multiagent Grid Syst., 2009)

Optimal temporal decoupling in multiagent systems. - Léon Planken; Mathijs de Weerdt; Cees Witteveen (AAMAS, 2010)

Coordinating Agents - An Analysis of Coordination in Supply-chain Management Tasks. - Chetan Yadati; Cees Witteveen; Yingqian Zhang 001 (ICAART (2), 2010)

A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (ICGI, 2010)

Context-Aware Route Planning. - Adriaan ter Mors; Cees Witteveen; Jonne Zutt; Fernando A. Kuipers (MATES, 2010)

Coordination by design and the price of autonomy. - Adriaan ter Mors; Chetan Yadati; Cees Witteveen; Yingqian Zhang 001 (Auton. Agents Multi Agent Syst., 2010)

Decomposing constraint systems: equivalences and computational properties. - Wiebe van der Hoek; Cees Witteveen; Michael J. Wooldridge (AAMAS, 2011)

Learning Driving Behavior by Timed Syntactic Pattern Recognition. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (IJCAI, 2011)

The efficiency of identifying timed automata and the power of clocks. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (Inf. Comput., 2011)

Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. - Shekhar Gupta; Nico Roos; Cees Witteveen; Bob Price; Johan de Kleer (AAAI, 2012)

Incentivizing Cooperation in P2P File Sharing - Indirect Interaction as an Incentive to Seed. - Arman Noroozian; Mathijs de Weerdt; Cees Witteveen (ADMI, 2012)

Enhancing predictability of schedules by task grouping. - Michel Wilson; Cees Witteveen; Bob Huisman (ECAI, 2012)

Maximum Flexibility and Optimal Decoupling in Task Scheduling Problems. - Leon Endhoven; Tomas Klos; Cees Witteveen (IAT, 2012)

Empirical Evaluation of Multi-Agent Routing Approaches. - Adriaan ter Mors; Cees Witteveen; Charlotte Ipema; Frits de Nijs; Theodor Tsiourakis (IAT, 2012)

Efficiently identifying deterministic real-time automata from labeled data. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (Mach. Learn., 2012)

Push and rotate: cooperative multi-agent path planning. - Boris de Wilde; Adriaan ter Mors; Cees Witteveen (AAMAS, 2013)

Reconfiguration of Large-Scale Surveillance Systems. - Peter Novák 001; Cees Witteveen (CLIMA, 2013)

ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. - Shekhar Gupta; Christian Fritz 001; Bob Price; Roger Hoover; Johan de Kleer; Cees Witteveen (ICAC, 2013)

Flexibility and Decoupling in the Simple Temporal Problem. - Michel Wilson; Tomas Klos; Cees Witteveen; Bob Huisman (IJCAI, 2013)

Program equilibrium - a program reasoning approach. - Wiebe van der Hoek; Cees Witteveen; Michael J. Wooldridge (Int. J. Game Theory, 2013)

Optimal Decoupling in Linear Constraint Systems. - Cees Witteveen; Michel Wilson; Tomas Klos (AAAI, 2014)

Flexibility and decoupling in Simple Temporal Networks. - Michel Wilson; Tomas Klos; Cees Witteveen; Bob Huisman (Artif. Intell., 2014)

On the cost-complexity of multi-context systems. - Peter Novák 001; Cees Witteveen (CoRR, 2014)

Push and Rotate: a Complete Multi-agent Pathfinding Algorithm. - Boris de Wilde; Adriaan ter Mors; Cees Witteveen (J. Artif. Intell. Res., 2014)

Temporal Flexibility Revisited: Maximizing Flexibility by Computing Bipartite Matchings. - Kiriakos-Simon Mountakis; Tomas Klos; Cees Witteveen (ICAPS, 2015)

Context-aware reconfiguration of large-scale surveillance systems: argumentative approach. - Peter Novák 001; Cees Witteveen (Argument Comput., 2015)

Optimising Flexibility for Simple Temporal Networks. - Cees Witteveen (ICAART (2), 2016)

Stochastic Task Networks - Trading Performance for Stability. - Kiriakos-Simon Mountakis; Tomas Klos; Cees Witteveen (CPAIOR, 2017)

Dynamic Temporal Decoupling. - Kiriakos-Simon Mountakis; Tomas Klos; Cees Witteveen (CPAIOR, 2017)

Exploiting linkage information in real-valued optimization with the real-valued gene-pool optimal mixing evolutionary algorithm. - Anton Bouter; Tanja Alderliesten; Cees Witteveen; Peter A. N. Bosman (GECCO, 2017)

The multi-objective real-valued gene-pool optimal mixing evolutionary algorithm. - Anton Bouter; Ngoc Hoang Luong; Cees Witteveen; Tanja Alderliesten; Peter A. N. Bosman (GECCO, 2017)

Efficient, effective, and insightful tackling of the high-dose-rate brachytherapy treatment planning problem for prostate cancer using evolutionary multi-objective optimization algorithms. - Ngoc Hoang Luong; Anton Bouter; Marjolein C. van der Meer; Yury Niatsetski; Cees Witteveen; Arjan Bel; Tanja Alderliesten; Peter A. N. Bosman (GECCO (Companion), 2017)

Scalable genetic programming by gene-pool optimal mixing and input-space entropy-based building-block learning. - Marco Virgolin; Tanja Alderliesten; Cees Witteveen; Peter A. N. Bosman (GECCO, 2017)

Large-scale parallelization of partial evaluations in evolutionary algorithms for real-world problems. - Anton Bouter; Tanja Alderliesten; Arjan Bel; Cees Witteveen; Peter A. N. Bosman (GECCO, 2018)

Symbolic regression and feature construction with GP-GOMEA applied to radiotherapy dose reconstruction of childhood cancer survivors. - Marco Virgolin; Tanja Alderliesten; Arjan Bel; Cees Witteveen; Peter A. N. Bosman (GECCO, 2018)

A Model-based Genetic Programming Approach for Symbolic Regression of Small Expressions. - Marco Virgolin; Tanja Alderliesten; Cees Witteveen; Peter A. N. Bosman (CoRR, 2019)

On a comparison of Newton-Raphson solvers for power flow problems. - Baljinnyam Sereeter; Cornelis Vuik; Cees Witteveen (J. Comput. Appl. Math., 2019)

Improving Model-Based Genetic Programming for Symbolic Regression of Small Expressions. - Marco Virgolin; Tanja Alderliesten; Cees Witteveen; Peter A. N. Bosman (Evol. Comput., 2021)