Cees Witteveen

111 papers A* 7A 19B 10C 4Misc 3Journal 23Unranked 42

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Improving Model-Based Genetic Programming for Symbolic Regression of Small Expressions. Evol. Comput. Marco Virgolin, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman
2019	J	`jnl`	A Model-based Genetic Programming Approach for Symbolic Regression of Small Expressions. CoRR Marco Virgolin, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman
2019	J	`jnl`	On a comparison of Newton-Raphson solvers for power flow problems. J. Comput. Appl. Math. Baljinnyam Sereeter, Cornelis Vuik, Cees Witteveen
2018	A	`conf`	Large-scale parallelization of partial evaluations in evolutionary algorithms for real-world problems. GECCO Anton Bouter, Tanja Alderliesten, Arjan Bel, Cees Witteveen, Peter A. N. Bosman
2018	A	`conf`	Symbolic regression and feature construction with GP-GOMEA applied to radiotherapy dose reconstruction of childhood cancer survivors. GECCO Marco Virgolin, Tanja Alderliesten, Arjan Bel, Cees Witteveen, Peter A. N. Bosman
2017	B	`conf`	Dynamic Temporal Decoupling. CPAIOR Kiriakos-Simon Mountakis, Tomas Klos, Cees Witteveen
2017	—	`conf`	Efficient, effective, and insightful tackling of the high-dose-rate brachytherapy treatment planning problem for prostate cancer using evolutionary multi-objective optimization algorithms. GECCO (Companion) Ngoc Hoang Luong, Anton Bouter, Marjolein C. van der Meer, Yury Niatsetski, Cees Witteveen, Arjan Bel, Tanja Alderliesten, Peter A. N. Bosman
2017	A	`conf`	Exploiting linkage information in real-valued optimization with the real-valued gene-pool optimal mixing evolutionary algorithm. GECCO Anton Bouter, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman
2017	A	`conf`	Scalable genetic programming by gene-pool optimal mixing and input-space entropy-based building-block learning. GECCO Marco Virgolin, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman
2017	B	`conf`	Stochastic Task Networks - Trading Performance for Stability. CPAIOR Kiriakos-Simon Mountakis, Tomas Klos, Cees Witteveen
2017	A	`conf`	The multi-objective real-valued gene-pool optimal mixing evolutionary algorithm. GECCO Anton Bouter, Ngoc Hoang Luong, Cees Witteveen, Tanja Alderliesten, Peter A. N. Bosman
2016	—	`conf`	Optimising Flexibility for Simple Temporal Networks. ICAART (2) Cees Witteveen
2015	J	`jnl`	Context-aware reconfiguration of large-scale surveillance systems: argumentative approach. Argument Comput. Peter Novák, Cees Witteveen
2015	A*	`conf`	Temporal Flexibility Revisited: Maximizing Flexibility by Computing Bipartite Matchings. ICAPS Kiriakos-Simon Mountakis, Tomas Klos, Cees Witteveen
2014	J	`jnl`	Flexibility and decoupling in Simple Temporal Networks. Artif. Intell. Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman
2014	J	`jnl`	On the cost-complexity of multi-context systems. CoRR Peter Novák, Cees Witteveen
2014	A*	`conf`	Optimal Decoupling in Linear Constraint Systems. AAAI Cees Witteveen, Michel Wilson, Tomas Klos
2014	J	`jnl`	Push and Rotate: a Complete Multi-agent Pathfinding Algorithm. J. Artif. Intell. Res. Boris de Wilde, Adriaan ter Mors, Cees Witteveen
2013	A*	`conf`	Flexibility and Decoupling in the Simple Temporal Problem. IJCAI Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman
2013	J	`jnl`	Program equilibrium - a program reasoning approach. Int. J. Game Theory Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge
2013	A	`conf`	Push and rotate: cooperative multi-agent path planning. AAMAS Boris de Wilde, Adriaan ter Mors, Cees Witteveen
2013	—	`conf`	Reconfiguration of Large-Scale Surveillance Systems. CLIMA Peter Novák, Cees Witteveen
2013	—	`conf`	ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. ICAC Shekhar Gupta, Christian Fritz, Bob Price, Roger Hoover, Johan de Kleer, Cees Witteveen
2012	J	`jnl`	Efficiently identifying deterministic real-time automata from labeled data. Mach. Learn. Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
2012	—	`conf`	Empirical Evaluation of Multi-Agent Routing Approaches. IAT Adriaan ter Mors, Cees Witteveen, Charlotte Ipema, Frits de Nijs, Theodor Tsiourakis
2012	A	`conf`	Enhancing predictability of schedules by task grouping. ECAI Michel Wilson, Cees Witteveen, Bob Huisman
2012	A*	`conf`	Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. AAAI Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer
2012	—	`conf`	Incentivizing Cooperation in P2P File Sharing - Indirect Interaction as an Incentive to Seed. ADMI Arman Noroozian, Mathijs de Weerdt, Cees Witteveen
2012	—	`conf`	Maximum Flexibility and Optimal Decoupling in Task Scheduling Problems. IAT Leon Endhoven, Tomas Klos, Cees Witteveen
2011	A	`conf`	Decomposing constraint systems: equivalences and computational properties. AAMAS Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge
2011	A*	`conf`	Learning Driving Behavior by Timed Syntactic Pattern Recognition. IJCAI Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
2011	J	`jnl`	The efficiency of identifying timed automata and the power of clocks. Inf. Comput. Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
2010	—	`conf`	A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data. ICGI Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
2010	—	`conf`	Context-Aware Route Planning. MATES Adriaan ter Mors, Cees Witteveen, Jonne Zutt, Fernando A. Kuipers
2010	—	`conf`	Coordinating Agents - An Analysis of Coordination in Supply-chain Management Tasks. ICAART (2) Chetan Yadati, Cees Witteveen, Yingqian Zhang
2010	J	`jnl`	Coordination by design and the price of autonomy. Auton. Agents Multi Agent Syst. Adriaan ter Mors, Chetan Yadati, Cees Witteveen, Yingqian Zhang
2010	—	`ed.`	Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings MATES Jürgen Dix, Cees Witteveen
2010	A	`conf`	Optimal temporal decoupling in multiagent systems. AAMAS Léon Planken, Mathijs de Weerdt, Cees Witteveen
2009	—	`conf`	Concurrently Decomposable Constraint Systems. MATES Cees Witteveen, Wiebe van der Hoek, Nico Roos
2009	—	`conf`	Context-aware multi-stage routing. AAMAS (1) Adriaan ter Mors, Jeroen van Belle, Cees Witteveen
2009	J	`jnl`	Models and methods for plan diagnosis. Auton. Agents Multi Agent Syst. Nico Roos, Cees Witteveen
2009	C	`conf`	One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. LATA Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
2009	C	`conf`	Plan Repair in Conflict-Free Routing. IEA/AIE Adriaan ter Mors, Cees Witteveen
2009	J	`jnl`	Plan decoupling of agents with qualitatively constrained tasks. Multiagent Grid Syst. J. Renze Steenhuisen, Cees Witteveen
2009	J	`jnl`	Primary and secondary diagnosis of multi-agent plan execution. Auton. Agents Multi Agent Syst. Femke de Jonge, Nico Roos, Cees Witteveen
2009	—	`conf`	Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process. IAT Pim van Leeuwen, Cees Witteveen
2008	—	`conf`	08461 Abstracts Collection - Planning in Multiagent Systems. Planning in Multiagent Systems Jürgen Dix, Edmund H. Durfee, Cees Witteveen
2008	—	`conf`	08461 Executive Summary - Planning in Multi-Agent Systems. Planning in Multiagent Systems Jürgen Dix, Edmund H. Durfee, Cees Witteveen
2008	—	`conf`	Autonomous Scheduling with Unbounded and Bounded Agents. MATES Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré
2008	—	`conf`	Autonomous Scheduling. FCS Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré
2008	A	`conf`	Diagnosis of Simple Temporal Networks. ECAI Nico Roos, Cees Witteveen
2008	—	`ed.`	Planning in Multiagent Systems, 09.11. - 14.11.2008 Planning in Multiagent Systems Jürgen Dix, Edmund H. Durfee, Cees Witteveen
2008	—	`conf`	Polynomial Distinguishability of Timed Automata. ICGI Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
2008	A	`conf`	Robust Reservation-Based Multi-Agent Routing. ECAI Adriaan ter Mors, Xiaoyu Mao, Jonne Zutt, Cees Witteveen, Nico Roos
2007	A*	`conf`	Context-Aware Logistic Routing and Scheduling. ICAPS Adriaan ter Mors, Jonne Zutt, Cees Witteveen
2007	—	`conf`	Coordinating Competitive Agents in Dynamic Airport Resource Scheduling. MATES Xiaoyu Mao, Adriaan ter Mors, Nico Roos, Cees Witteveen
2007	—	`conf`	Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. FCS J. Renze Steenhuisen, Cees Witteveen
2007	—	`conf`	Diagnosis of Plan Structure Violations. MATES Nico Roos, Cees Witteveen
2007	A	`conf`	Diagnosis of plan step errors and plan structure violations. AAMAS Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoyu Mao
2007	—	`conf`	Fuzzy Argumentation for Trust. CLIMA Ruben Stranders, Mathijs de Weerdt, Cees Witteveen
2007	—	`conf`	Plan-Coordination Mechanisms and the Price of Autonomy. CLIMA J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang
2006	J	`jnl`	Coordinating Self-interested Planning Agents. Auton. Agents Multi Agent Syst. Pieter Buzing, Adriaan ter Mors, Jeroen Valk, Cees Witteveen
2006	—	`conf`	Diagnosis of Multi-agent Plan Execution. MATES Femke de Jonge, Nico Roos, Cees Witteveen
2006	—	`conf`	Framework and Complexity Results for Coordinating Non-cooperative Planning Agents. MATES J. Renze Steenhuisen, Cees Witteveen, Adriaan ter Mors, Jeroen Valk
2006	—	`conf`	Multi-Agent Planning for Non-Cooperative Agents. AAAI Spring Symposium: Distributed Plan and Schedule Management Cees Witteveen, Mathijs de Weerdt
2006	—	`conf`	Multiagent Planning: Problem Properties that Matter. AAAI Spring Symposium: Distributed Plan and Schedule Management Mathijs de Weerdt, Cees Witteveen
2005	—	`conf`	Complexity of Task Coordination for Non Cooperative Planning Agents. CEEMAS Adriaan ter Mors, Jeroen Valk, Cees Witteveen
2005	—	`conf`	Coordinating Non Cooperative Planning Agents: Complexity Results. IAT Adriaan ter Mors, Cees Witteveen
2005	—	`conf`	Coordinating Self Interested Autonomous Planning Agents. BNAIC Adriaan ter Mors, Cees Witteveen
2005	C	`conf`	Diagnosis of Plan Execution and the Executing Agent. EUMAS Nico Roos, Cees Witteveen
2005	Misc	`conf`	Diagnosis of Plan Execution and the Executing Agent. KI Nico Roos, Cees Witteveen
2005	—	`conf`	Diagnosis of Plans and Agents. CEEMAS Nico Roos, Cees Witteveen
2005	A	`conf`	Diagnosis of single and multi-agent plans. AAMAS Cees Witteveen, Nico Roos, Roman van der Krogt, Mathijs de Weerdt
2005	A	`conf`	Multiagent planning through plan repair. AAMAS Roman van der Krogt, Nico Roos, Mathijs de Weerdt, Cees Witteveen
2005	Misc	`conf`	Problem Solving in a Computational Society. IC-AI Nico Roos, Cees Witteveen
2005	—	`conf`	Temporal Plan and Resource Management. BNAIC Pieter Buzing, Cees Witteveen
2005	—	`conf`	Timed Inference for Behavioral Pattern Recognition. BNAIC Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
2004	B	`conf`	Complexity of Coordinating Autonomous Planning Agents. PRICAI Adriaan ter Mors, Jeroen Valk, Cees Witteveen
2004	Misc	`conf`	Coordinating Autonomous Planners. IC-AI Adriaan ter Mors, Jeroen Valk, Cees Witteveen
2004	A	`conf`	Reaching Diagnostic Agreement in Multi-Agent Diagnosis. AAMAS Nico Roos, Annette ten Teije, Cees Witteveen
2003	J	`jnl`	A Modal Characterization of Nash Equilibrium. Fundam. Informaticae Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
2003	—	`conf`	A Resource Based Framework for Planning and Replanning. IAT Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen
2003	J	`jnl`	A Resource Logic for Multi-Agent Plan Merging. Ann. Math. Artif. Intell. Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen
2003	A	`conf`	A protocol for multi-agent diagnosis with spatially distributed knowledge. AAMAS Nico Roos, Annette ten Teije, Cees Witteveen
2003	J	`jnl`	A resource based framework for planning and replanning. Web Intell. Agent Syst. Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen
2002	A	`conf`	An analysis of multi-agent diagnosis. AAMAS Nico Roos, Annette ten Teije, André Bos, Cees Witteveen
2002	B	`conf`	Multi-agent Coordination in Planning. PRICAI Jeroen Valk, Cees Witteveen
2002	J	`jnl`	Note by the Guest Editors. Stud Logica Wiebe van der Hoek, Cees Witteveen
2002	A	`conf`	On Modal Logic Interpretations of Games. ECAI Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
2002	J	`jnl`	Plan coordination by revision in collective agent based systems. Artif. Intell. Hans Tonino, André Bos, Mathijs de Weerdt, Cees Witteveen
2001	—	`conf`	Replanning in a Resource-Based Framework. Multi-Agent-Systems and Applications Roman van der Krogt, André Bos, Cees Witteveen
2000	—	`conf`	A Plan Fusion Algorithm for Multi-Agent Systems. CL-2000 Workshop on Computational Logic in Multi-Agent Systems Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen
2000	A	`conf`	Classical, General Frameworks for Recovery. ECAI Wiebe van der Hoek, Cees Witteveen
2000	—	`conf`	Cooperation by Iterated Plan Revision. ICMAS Bart Jan Moree, André Bos, Hans Tonino, Cees Witteveen
1998	J	`jnl`	Recovery of (Non)Monotonic Theories. Artif. Intell. Cees Witteveen, Wiebe van der Hoek
1997	B	`conf`	A General Framework for Revising Non-Monotonic Theories. LPNMR Cees Witteveen, Wiebe van der Hoek
1996	—	`ch.`	Belief Revision in Truth Maintenance. Logic, Action, and Information Cees Witteveen
1996	B	`conf`	Revising and Updating Using a Back-Up Semantics. JELIA Cees Witteveen, Wiebe van der Hoek
1996	—	`conf`	Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ELP Cees Witteveen, Wiebe van der Hoek
1996	—	`conf`	Updating Nonmonotonic Databases. ISTCS Cees Witteveen, Wiebe van der Hoek
1995	B	`conf`	Revision by Communication. LPNMR Cees Witteveen, Wiebe van der Hoek
1994	—	`conf`	Every Normal Program has a Nearly-Stable Model. NMELP Cees Witteveen
1994	B	`conf`	Revision of Non-Monotonic Theories. JELIA Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle
1993	C	`conf`	Belief Revision by Expansion. ECSQARU Cees Witteveen, Wiebe van der Hoek
1993	J	`jnl`	Skeptical Reason Maintenance and Belief Revision. Artif. Intell. Cees Witteveen, Gerhard Brewka
1992	B	`conf`	Expanding Logic Programs. JELIA Cees Witteveen
1992	—	`conf`	Revision by Expansion in Logic Programs. ECAI Workshop on Knowledge Representation and Reasoning Cees Witteveen, Catholijn M. Jonker
1991	A*	`conf`	Skeptical Reason Maintenance is Tractable. KR Cees Witteveen
1990	—	`conf`	A Skeptical Semantics for Truth Maintenance. Truth Maintenance Systems (ECAI Workshop) Cees Witteveen
1990	B	`conf`	Partial Semantics for Truth Maintenance - a Compositional Approach. JELIA Cees Witteveen
1981	J	`jnl`	Inferring Control Structures from the Behaviour of a Production System Inf. Control. Cees Witteveen, Harrie Boelens