Cees Witteveen

According to our database, Cees Witteveen authored at least 107 papers between 1981 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Improving Model-Based Genetic Programming for Symbolic Regression of Small Expressions.

Marco Virgolin, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman

Evol. Comput., 2021

2019

On a comparison of Newton-Raphson solvers for power flow problems.

Baljinnyam Sereeter, Cornelis Vuik, Cees Witteveen

J. Comput. Appl. Math., 2019

A Model-based Genetic Programming Approach for Symbolic Regression of Small Expressions.

Marco Virgolin, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman

CoRR, 2019

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

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

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

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

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

Proceedings of the Genetic and Evolutionary Computation Conference, 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

Proceedings of the Genetic and Evolutionary Computation Conference, 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

Proceedings of the Genetic and Evolutionary Computation Conference, 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

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Dynamic Temporal Decoupling.

Kiriakos-Simon Mountakis, Tomas Klos, Cees Witteveen

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Stochastic Task Networks - Trading Performance for Stability.

Kiriakos-Simon Mountakis, Tomas Klos, Cees Witteveen

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

Optimising Flexibility for Simple Temporal Networks.

Cees Witteveen

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015

Context-aware reconfiguration of large-scale surveillance systems: argumentative approach.

Peter Novák, Cees Witteveen

Argument Comput., 2015

Temporal Flexibility Revisited: Maximizing Flexibility by Computing Bipartite Matchings.

Kiriakos-Simon Mountakis, Tomas Klos, Cees Witteveen

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

2014

Push and Rotate: a Complete Multi-agent Pathfinding Algorithm.

Boris de Wilde, Adriaan ter Mors, Cees Witteveen

J. Artif. Intell. Res., 2014

On the cost-complexity of multi-context systems.

Peter Novák, Cees Witteveen

CoRR, 2014

Flexibility and decoupling in Simple Temporal Networks.

Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman

Artif. Intell., 2014

Optimal Decoupling in Linear Constraint Systems.

Cees Witteveen, Michel Wilson, Tomas Klos

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Program equilibrium - a program reasoning approach.

Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge

Int. J. Game Theory, 2013

Flexibility and Decoupling in the Simple Temporal Problem.

Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman

Proceedings of the IJCAI 2013, 2013

ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters.

Shekhar Gupta, Christian Fritz, Bob Price, Roger Hoover, Johan de Kleer, Cees Witteveen

Proceedings of the 10th International Conference on Autonomic Computing, 2013

Reconfiguration of Large-Scale Surveillance Systems.

Peter Novák, Cees Witteveen

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Push and rotate: cooperative multi-agent path planning.

Boris de Wilde, Adriaan ter Mors, Cees Witteveen

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Efficiently identifying deterministic real-time automata from labeled data.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Mach. Learn., 2012

Empirical Evaluation of Multi-Agent Routing Approaches.

Adriaan ter Mors, Cees Witteveen, Charlotte Ipema, Frits de Nijs, Theodor Tsiourakis

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

Maximum Flexibility and Optimal Decoupling in Task Scheduling Problems.

Leon Endhoven, Tomas Klos, Cees Witteveen

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

Enhancing predictability of schedules by task grouping.

Michel Wilson, Cees Witteveen, Bob Huisman

Proceedings of the ECAI 2012, 2012

Incentivizing Cooperation in P2P File Sharing - Indirect Interaction as an Incentive to Seed.

Arman Noroozian, Mathijs de Weerdt, Cees Witteveen

Proceedings of the Agents and Data Mining Interaction - 8th International Workshop, 2012

Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis.

Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

The efficiency of identifying timed automata and the power of clocks.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Inf. Comput., 2011

Learning Driving Behavior by Timed Syntactic Pattern Recognition.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the IJCAI 2011, 2011

Decomposing constraint systems: equivalences and computational properties.

Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Coordination by design and the price of autonomy.

Adriaan ter Mors, Chetan Yadati, Cees Witteveen, Yingqian Zhang

Auton. Agents Multi Agent Syst., 2010

Context-Aware Route Planning.

Adriaan ter Mors, Cees Witteveen, Jonne Zutt, Fernando A. Kuipers

Proceedings of the Multiagent System Technologies, 8th German Conference, 2010

A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the Grammatical Inference: Theoretical Results and Applications, 2010

Coordinating Agents - An Analysis of Coordination in Supply-chain Management Tasks.

Chetan Yadati, Cees Witteveen, Yingqian Zhang

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

Optimal temporal decoupling in multiagent systems.

Léon Planken, Mathijs de Weerdt, Cees Witteveen

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Plan decoupling of agents with qualitatively constrained tasks.

J. Renze Steenhuisen, Cees Witteveen

Multiagent Grid Syst., 2009

Models and methods for plan diagnosis.

Nico Roos, Cees Witteveen

Auton. Agents Multi Agent Syst., 2009

Primary and secondary diagnosis of multi-agent plan execution.

Femke de Jonge, Nico Roos, Cees Witteveen

Auton. Agents Multi Agent Syst., 2009

Concurrently Decomposable Constraint Systems.

Cees Witteveen, Wiebe van der Hoek, Nico Roos

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the Language and Automata Theory and Applications, 2009

Plan Repair in Conflict-Free Routing.

Adriaan ter Mors, Cees Witteveen

Proceedings of the Next-Generation Applied Intelligence, 2009

Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process.

Pim van Leeuwen, Cees Witteveen

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Context-aware multi-stage routing.

Adriaan ter Mors, Jeroen van Belle, Cees Witteveen

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Autonomous Scheduling with Unbounded and Bounded Agents.

Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré

Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Polynomial Distinguishability of Timed Automata.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the Grammatical Inference: Algorithms and Applications, 2008

Autonomous Scheduling.

Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré

Proceedings of the 2008 International Conference on Foundations of Computer Science, 2008

Diagnosis of Simple Temporal Networks.

Nico Roos, Cees Witteveen

Proceedings of the ECAI 2008, 2008

Robust Reservation-Based Multi-Agent Routing.

Adriaan ter Mors, Xiaoyu Mao, Jonne Zutt, Cees Witteveen, Nico Roos

Proceedings of the ECAI 2008, 2008

08461 Executive Summary - Planning in Multi-Agent Systems.

Jürgen Dix, Edmund H. Durfee, Cees Witteveen

Proceedings of the Planning in Multiagent Systems, 09.11. - 14.11.2008, 2008

08461 Abstracts Collection - Planning in Multiagent Systems.

Jürgen Dix, Edmund H. Durfee, Cees Witteveen

Proceedings of the Planning in Multiagent Systems, 09.11. - 14.11.2008, 2008

2007

Diagnosis of Plan Structure Violations.

Nico Roos, Cees Witteveen

Proceedings of the Multiagent System Technologies, 5th German Conference, 2007

Coordinating Competitive Agents in Dynamic Airport Resource Scheduling.

Xiaoyu Mao, Adriaan ter Mors, Nico Roos, Cees Witteveen

Proceedings of the Multiagent System Technologies, 5th German Conference, 2007

Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks.

J. Renze Steenhuisen, Cees Witteveen

Proceedings of the 2007 International Conference on Foundations of Computer Science, 2007

Fuzzy Argumentation for Trust.

Ruben Stranders, Mathijs de Weerdt, Cees Witteveen

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Plan-Coordination Mechanisms and the Price of Autonomy.

J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Diagnosis of plan step errors and plan structure violations.

Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoyu Mao

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Context-Aware Logistic Routing and Scheduling.

Adriaan ter Mors, Jonne Zutt, Cees Witteveen

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006

Coordinating Self-interested Planning Agents.

Pieter Buzing, Adriaan ter Mors, Jeroen Valk, Cees Witteveen

Auton. Agents Multi Agent Syst., 2006

Framework and Complexity Results for Coordinating Non-cooperative Planning Agents.

J. Renze Steenhuisen, Cees Witteveen, Adriaan ter Mors, Jeroen Valk

Proceedings of the Multiagent System Technologies, 4th German Conference, 2006

Diagnosis of Multi-agent Plan Execution.

Femke de Jonge, Nico Roos, Cees Witteveen

Proceedings of the Multiagent System Technologies, 4th German Conference, 2006

Multi-Agent Planning for Non-Cooperative Agents.

Cees Witteveen, Mathijs de Weerdt

Proceedings of the Distributed Plan and Schedule Management, 2006

Multiagent Planning: Problem Properties that Matter.

Mathijs de Weerdt, Cees Witteveen

Proceedings of the Distributed Plan and Schedule Management, 2006

2005

Diagnosis of Plan Execution and the Executing Agent.

Nico Roos, Cees Witteveen

Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

Problem Solving in a Computational Society.

Nico Roos, Cees Witteveen

Proceedings of the 2005 International Conference on Artificial Intelligence, 2005

Coordinating Non Cooperative Planning Agents: Complexity Results.

Adriaan ter Mors, Cees Witteveen

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Diagnosis of Plans and Agents.

Nico Roos, Cees Witteveen

Proceedings of the Multi-Agent Systems and Applications IV, 2005

Complexity of Task Coordination for Non Cooperative Planning Agents.

Adriaan ter Mors, Jeroen Valk, Cees Witteveen

Proceedings of the Multi-Agent Systems and Applications IV, 2005

Timed Inference for Behavioral Pattern Recognition.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the BNAIC 2005, 2005

Coordinating Self Interested Autonomous Planning Agents.

Adriaan ter Mors, Cees Witteveen

Proceedings of the BNAIC 2005, 2005

Temporal Plan and Resource Management.

Pieter Buzing, Cees Witteveen

Proceedings of the BNAIC 2005, 2005

Diagnosis of single and multi-agent plans.

Cees Witteveen, Nico Roos, Roman van der Krogt, Mathijs de Weerdt

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Multiagent planning through plan repair.

Roman van der Krogt, Nico Roos, Mathijs de Weerdt, Cees Witteveen

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Complexity of Coordinating Autonomous Planning Agents.

Adriaan ter Mors, Jeroen Valk, Cees Witteveen

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Coordinating Autonomous Planners.

Adriaan ter Mors, Jeroen Valk, Cees Witteveen

Proceedings of the International Conference on Artificial Intelligence, 2004

Reaching Diagnostic Agreement in Multi-Agent Diagnosis.

Nico Roos, Annette ten Teije, Cees Witteveen

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

A resource based framework for planning and replanning.

Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen

Web Intell. Agent Syst., 2003

A Modal Characterization of Nash Equilibrium.

Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen

Fundam. Informaticae, 2003

A Resource Logic for Multi-Agent Plan Merging.

Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen

Ann. Math. Artif. Intell., 2003

A protocol for multi-agent diagnosis with spatially distributed knowledge.

Nico Roos, Annette ten Teije, Cees Witteveen

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Note by the Guest Editors.

Wiebe van der Hoek, Cees Witteveen

Stud Logica, 2002

Plan coordination by revision in collective agent based systems.

Hans Tonino, André Bos, Mathijs de Weerdt, Cees Witteveen

Artif. Intell., 2002

Multi-agent Coordination in Planning.

Jeroen Valk, Cees Witteveen

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

On Modal Logic Interpretations of Games.

Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

An analysis of multi-agent diagnosis.

Nico Roos, Annette ten Teije, André Bos, Cees Witteveen

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Replanning in a Resource-Based Framework.

Roman van der Krogt, André Bos, Cees Witteveen

Proceedings of the Multi-Agent-Systems and Applications II, 2001

2000

Cooperation by Iterated Plan Revision.

Bart Jan Moree, André Bos, Hans Tonino, Cees Witteveen

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Classical, General Frameworks for Recovery.

Wiebe van der Hoek, Cees Witteveen

Proceedings of the ECAI 2000, 2000

A Plan Fusion Algorithm for Multi-Agent Systems.

Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1998

Recovery of (Non)Monotonic Theories.

Cees Witteveen, Wiebe van der Hoek

Artif. Intell., 1998

1997

A General Framework for Revising Non-Monotonic Theories.

Cees Witteveen, Wiebe van der Hoek

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Belief Revision in Truth Maintenance.

Cees Witteveen

Proceedings of the Logic, Action, and Information, 1996

Revising and Updating Using a Back-Up Semantics.

Cees Witteveen, Wiebe van der Hoek

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Updating Nonmonotonic Databases.

Cees Witteveen, Wiebe van der Hoek

Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.

Cees Witteveen, Wiebe van der Hoek

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995

Revision by Communication.

Cees Witteveen, Wiebe van der Hoek

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994

Every Normal Program has a Nearly-Stable Model.

Cees Witteveen

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Revision of Non-Monotonic Theories.

Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1993

Skeptical Reason Maintenance and Belief Revision.

Cees Witteveen, Gerhard Brewka

Artif. Intell., 1993

Belief Revision by Expansion.

Cees Witteveen, Wiebe van der Hoek

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992

Expanding Logic Programs.

Cees Witteveen

Proceedings of the Logics in AI, European Workshop, 1992

Revision by Expansion in Logic Programs.

Cees Witteveen, Catholijn M. Jonker

Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991

Skeptical Reason Maintenance is Tractable.

Cees Witteveen

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

1990

Partial Semantics for Truth Maintenance - a Compositional Approach.

Cees Witteveen

Proceedings of the Logics in AI, European Workshop, 1990

A Skeptical Semantics for Truth Maintenance.

Cees Witteveen

Proceedings of the Truth Maintenance Systems, 1990

1981

Inferring Control Structures from the Behaviour of a Production System

Cees Witteveen, Harrie Boelens

Inf. Control., December, 1981