default search action
BibTeX records: Cees Witteveen
@article{DBLP:journals/ec/VirgolinAWB21, author = {Marco Virgolin and Tanja Alderliesten and Cees Witteveen and Peter A. N. Bosman}, title = {Improving Model-Based Genetic Programming for Symbolic Regression of Small Expressions}, journal = {Evol. Comput.}, volume = {29}, number = {2}, pages = {211--237}, year = {2021}, url = {https://doi.org/10.1162/evco\_a\_00278}, doi = {10.1162/EVCO\_A\_00278}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ec/VirgolinAWB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcam/SereeterVW19, author = {Baljinnyam Sereeter and Cornelis Vuik and Cees Witteveen}, title = {On a comparison of Newton-Raphson solvers for power flow problems}, journal = {J. Comput. Appl. Math.}, volume = {360}, pages = {157--169}, year = {2019}, url = {https://doi.org/10.1016/j.cam.2019.04.007}, doi = {10.1016/J.CAM.2019.04.007}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcam/SereeterVW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-02050, author = {Marco Virgolin and Tanja Alderliesten and Cees Witteveen and Peter A. N. Bosman}, title = {A Model-based Genetic Programming Approach for Symbolic Regression of Small Expressions}, journal = {CoRR}, volume = {abs/1904.02050}, year = {2019}, url = {http://arxiv.org/abs/1904.02050}, eprinttype = {arXiv}, eprint = {1904.02050}, timestamp = {Wed, 24 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-02050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/BouterABWB18, author = {Anton Bouter and Tanja Alderliesten and Arjan Bel and Cees Witteveen and Peter A. N. Bosman}, editor = {Hern{\'{a}}n E. Aguirre and Keiki Takadama}, title = {Large-scale parallelization of partial evaluations in evolutionary algorithms for real-world problems}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, {GECCO} 2018, Kyoto, Japan, July 15-19, 2018}, pages = {1199--1206}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3205455.3205610}, doi = {10.1145/3205455.3205610}, timestamp = {Fri, 02 Aug 2024 15:50:42 +0200}, biburl = {https://dblp.org/rec/conf/gecco/BouterABWB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/VirgolinABWB18, author = {Marco Virgolin and Tanja Alderliesten and Arjan Bel and Cees Witteveen and Peter A. N. Bosman}, editor = {Hern{\'{a}}n E. Aguirre and Keiki Takadama}, title = {Symbolic regression and feature construction with {GP-GOMEA} applied to radiotherapy dose reconstruction of childhood cancer survivors}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, {GECCO} 2018, Kyoto, Japan, July 15-19, 2018}, pages = {1395--1402}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3205455.3205604}, doi = {10.1145/3205455.3205604}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/VirgolinABWB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/MountakisKW17, author = {Kiriakos{-}Simon Mountakis and Tomas Klos and Cees Witteveen}, editor = {Domenico Salvagnin and Michele Lombardi}, title = {Stochastic Task Networks - Trading Performance for Stability}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June 5-8, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10335}, pages = {302--311}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59776-8\_25}, doi = {10.1007/978-3-319-59776-8\_25}, timestamp = {Wed, 04 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cpaior/MountakisKW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/MountakisKW17a, author = {Kiriakos{-}Simon Mountakis and Tomas Klos and Cees Witteveen}, editor = {Domenico Salvagnin and Michele Lombardi}, title = {Dynamic Temporal Decoupling}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June 5-8, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10335}, pages = {328--343}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59776-8\_27}, doi = {10.1007/978-3-319-59776-8\_27}, timestamp = {Wed, 04 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cpaior/MountakisKW17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/BouterLWAB17, author = {Anton Bouter and Ngoc Hoang Luong and Cees Witteveen and Tanja Alderliesten and Peter A. N. Bosman}, editor = {Peter A. N. Bosman}, title = {The multi-objective real-valued gene-pool optimal mixing evolutionary algorithm}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, {GECCO} 2017, Berlin, Germany, July 15-19, 2017}, pages = {537--544}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3071178.3071274}, doi = {10.1145/3071178.3071274}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/BouterLWAB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/BouterAWB17, author = {Anton Bouter and Tanja Alderliesten and Cees Witteveen and Peter A. N. Bosman}, editor = {Peter A. N. Bosman}, title = {Exploiting linkage information in real-valued optimization with the real-valued gene-pool optimal mixing evolutionary algorithm}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, {GECCO} 2017, Berlin, Germany, July 15-19, 2017}, pages = {705--712}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3071178.3071272}, doi = {10.1145/3071178.3071272}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/BouterAWB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/VirgolinAWB17, author = {Marco Virgolin and Tanja Alderliesten and Cees Witteveen and Peter A. N. Bosman}, editor = {Peter A. N. Bosman}, title = {Scalable genetic programming by gene-pool optimal mixing and input-space entropy-based building-block learning}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, {GECCO} 2017, Berlin, Germany, July 15-19, 2017}, pages = {1041--1048}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3071178.3071287}, doi = {10.1145/3071178.3071287}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/VirgolinAWB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/LuongBMNWBAB17, author = {Ngoc Hoang Luong and Anton Bouter and Marjolein C. van der Meer and Yury Niatsetski and Cees Witteveen and Arjan Bel and Tanja Alderliesten and Peter A. N. Bosman}, editor = {Peter A. N. Bosman}, title = {Efficient, effective, and insightful tackling of the high-dose-rate brachytherapy treatment planning problem for prostate cancer using evolutionary multi-objective optimization algorithms}, booktitle = {Genetic and Evolutionary Computation Conference, Berlin, Germany, July 15-19, 2017, Companion Material Proceedings}, pages = {1372--1379}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3067695.3082491}, doi = {10.1145/3067695.3082491}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/LuongBMNWBAB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icaart/Witteveen16, author = {Cees Witteveen}, editor = {H. Jaap van den Herik and Joaquim Filipe}, title = {Optimising Flexibility for Simple Temporal Networks}, booktitle = {Proceedings of the 8th International Conference on Agents and Artificial Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26, 2016}, pages = {524--531}, publisher = {SciTePress}, year = {2016}, url = {https://doi.org/10.5220/0005824205240531}, doi = {10.5220/0005824205240531}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icaart/Witteveen16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/argcom/NovakW15, author = {Peter Nov{\'{a}}k and Cees Witteveen}, title = {Context-aware reconfiguration of large-scale surveillance systems: argumentative approach}, journal = {Argument Comput.}, volume = {6}, number = {1}, pages = {3--23}, year = {2015}, url = {https://doi.org/10.1080/19462166.2014.1001790}, doi = {10.1080/19462166.2014.1001790}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/argcom/NovakW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/MountakisKW15, author = {Kiriakos{-}Simon Mountakis and Tomas Klos and Cees Witteveen}, editor = {Ronen I. Brafman and Carmel Domshlak and Patrik Haslum and Shlomo Zilberstein}, title = {Temporal Flexibility Revisited: Maximizing Flexibility by Computing Bipartite Matchings}, booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11, 2015}, pages = {174--178}, publisher = {{AAAI} Press}, year = {2015}, url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10610}, timestamp = {Wed, 04 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/MountakisKW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/WilsonKWH14, author = {Michel Wilson and Tomas Klos and Cees Witteveen and Bob Huisman}, title = {Flexibility and decoupling in Simple Temporal Networks}, journal = {Artif. Intell.}, volume = {214}, pages = {26--44}, year = {2014}, url = {https://doi.org/10.1016/j.artint.2014.05.003}, doi = {10.1016/J.ARTINT.2014.05.003}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/WilsonKWH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/WildeMW14, author = {Boris de Wilde and Adriaan ter Mors and Cees Witteveen}, title = {Push and Rotate: a Complete Multi-agent Pathfinding Algorithm}, journal = {J. Artif. Intell. Res.}, volume = {51}, pages = {443--492}, year = {2014}, url = {https://doi.org/10.1613/jair.4447}, doi = {10.1613/JAIR.4447}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/WildeMW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/WitteveenWK14, author = {Cees Witteveen and Michel Wilson and Tomas Klos}, editor = {Carla E. Brodley and Peter Stone}, title = {Optimal Decoupling in Linear Constraint Systems}, booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada}, pages = {2381--2387}, publisher = {{AAAI} Press}, year = {2014}, url = {https://doi.org/10.1609/aaai.v28i1.9039}, doi = {10.1609/AAAI.V28I1.9039}, timestamp = {Mon, 04 Sep 2023 15:06:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/WitteveenWK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/NovakW14, author = {Peter Nov{\'{a}}k and Cees Witteveen}, title = {On the cost-complexity of multi-context systems}, journal = {CoRR}, volume = {abs/1405.7295}, year = {2014}, url = {http://arxiv.org/abs/1405.7295}, eprinttype = {arXiv}, eprint = {1405.7295}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/NovakW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijgt/HoekWW13, author = {Wiebe van der Hoek and Cees Witteveen and Michael J. Wooldridge}, title = {Program equilibrium - a program reasoning approach}, journal = {Int. J. Game Theory}, volume = {42}, number = {3}, pages = {639--671}, year = {2013}, url = {https://doi.org/10.1007/s00182-011-0314-6}, doi = {10.1007/S00182-011-0314-6}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijgt/HoekWW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/WildeMW13, author = {Boris de Wilde and Adriaan ter Mors and Cees Witteveen}, editor = {Maria L. Gini and Onn Shehory and Takayuki Ito and Catholijn M. Jonker}, title = {Push and rotate: cooperative multi-agent path planning}, booktitle = {International conference on Autonomous Agents and Multi-Agent Systems, {AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013}, pages = {87--94}, publisher = {{IFAAMAS}}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2484938}, timestamp = {Thu, 09 Sep 2021 16:09:54 +0200}, biburl = {https://dblp.org/rec/conf/atal/WildeMW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clima/NovakW13, author = {Peter Nov{\'{a}}k and Cees Witteveen}, editor = {Jo{\~{a}}o Leite and Tran Cao Son and Paolo Torroni and Leon van der Torre and Stefan Woltran}, title = {Reconfiguration of Large-Scale Surveillance Systems}, booktitle = {Computational Logic in Multi-Agent Systems - 14th International Workshop, {CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8143}, pages = {325--339}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40624-9\_20}, doi = {10.1007/978-3-642-40624-9\_20}, timestamp = {Fri, 09 Apr 2021 18:38:27 +0200}, biburl = {https://dblp.org/rec/conf/clima/NovakW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icac/GuptaFPHKW13, author = {Shekhar Gupta and Christian Fritz and Bob Price and Roger Hoover and Johan de Kleer and Cees Witteveen}, editor = {Jeffrey O. Kephart and Calton Pu and Xiaoyun Zhu}, title = {ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters}, booktitle = {10th International Conference on Autonomic Computing, ICAC'13, San Jose, CA, USA, June 26-28, 2013}, pages = {159--165}, publisher = {{USENIX} Association}, year = {2013}, url = {https://www.usenix.org/conference/icac13/technical-sessions/presentation/gupta}, timestamp = {Wed, 04 Jul 2018 13:06:35 +0200}, biburl = {https://dblp.org/rec/conf/icac/GuptaFPHKW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/WilsonKWH13, author = {Michel Wilson and Tomas Klos and Cees Witteveen and Bob Huisman}, editor = {Francesca Rossi}, title = {Flexibility and Decoupling in the Simple Temporal Problem}, booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, pages = {2422--2428}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6942}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/WilsonKWH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ml/VerwerWW12, author = {Sicco Verwer and Mathijs de Weerdt and Cees Witteveen}, title = {Efficiently identifying deterministic real-time automata from labeled data}, journal = {Mach. Learn.}, volume = {86}, number = {3}, pages = {295--333}, year = {2012}, url = {https://doi.org/10.1007/s10994-011-5265-4}, doi = {10.1007/S10994-011-5265-4}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ml/VerwerWW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GuptaRWPK12, author = {Shekhar Gupta and Nico Roos and Cees Witteveen and Bob Price and Johan de Kleer}, editor = {J{\"{o}}rg Hoffmann and Bart Selman}, title = {Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis}, booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada}, pages = {2425--2426}, publisher = {{AAAI} Press}, year = {2012}, url = {https://doi.org/10.1609/aaai.v26i1.8427}, doi = {10.1609/AAAI.V26I1.8427}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GuptaRWPK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/admi/NoroozianWW12, author = {Arman Noroozian and Mathijs de Weerdt and Cees Witteveen}, editor = {Longbing Cao and Yifeng Zeng and Andreas L. Symeonidis and Vladimir Gorodetsky and Philip S. Yu and Munindar P. Singh}, title = {Incentivizing Cooperation in {P2P} File Sharing - Indirect Interaction as an Incentive to Seed}, booktitle = {Agents and Data Mining Interaction - 8th International Workshop, {ADMI} 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7607}, pages = {36--50}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-36288-0\_5}, doi = {10.1007/978-3-642-36288-0\_5}, timestamp = {Tue, 29 Dec 2020 18:36:06 +0100}, biburl = {https://dblp.org/rec/conf/admi/NoroozianWW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/WilsonWH12, author = {Michel Wilson and Cees Witteveen and Bob Huisman}, editor = {Luc De Raedt and Christian Bessiere and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}, title = {Enhancing predictability of schedules by task grouping}, booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)} System Demonstrations Track, Montpellier, France, August 27-31 , 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {242}, pages = {846--851}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-098-7-846}, doi = {10.3233/978-1-61499-098-7-846}, timestamp = {Mon, 19 Jun 2023 16:36:09 +0200}, biburl = {https://dblp.org/rec/conf/ecai/WilsonWH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/EndhovenKW12, author = {Leon Endhoven and Tomas Klos and Cees Witteveen}, title = {Maximum Flexibility and Optimal Decoupling in Task Scheduling Problems}, booktitle = {2012 {IEEE/WIC/ACM} International Conferences on Intelligent Agent Technology, {IAT} 2012, Macau, China, December 4-7, 2012}, pages = {33--37}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/WI-IAT.2012.149}, doi = {10.1109/WI-IAT.2012.149}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/EndhovenKW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/MorsWINT12, author = {Adriaan ter Mors and Cees Witteveen and Charlotte Ipema and Frits de Nijs and Theodor Tsiourakis}, title = {Empirical Evaluation of Multi-Agent Routing Approaches}, booktitle = {2012 {IEEE/WIC/ACM} International Conferences on Intelligent Agent Technology, {IAT} 2012, Macau, China, December 4-7, 2012}, pages = {305--309}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/WI-IAT.2012.198}, doi = {10.1109/WI-IAT.2012.198}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/MorsWINT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/VerwerWW11, author = {Sicco Verwer and Mathijs de Weerdt and Cees Witteveen}, title = {The efficiency of identifying timed automata and the power of clocks}, journal = {Inf. Comput.}, volume = {209}, number = {3}, pages = {606--625}, year = {2011}, url = {https://doi.org/10.1016/j.ic.2010.11.023}, doi = {10.1016/J.IC.2010.11.023}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/VerwerWW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/HoekWW11, author = {Wiebe van der Hoek and Cees Witteveen and Michael J. Wooldridge}, editor = {Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum}, title = {Decomposing constraint systems: equivalences and computational properties}, booktitle = {10th International Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3}, pages = {149--156}, publisher = {{IFAAMAS}}, year = {2011}, url = {http://portal.acm.org/citation.cfm?id=2030492\&\#38;CFID=69153967\&\#38;CFTOKEN=38069692}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/HoekWW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/VerwerWW11, author = {Sicco Verwer and Mathijs de Weerdt and Cees Witteveen}, editor = {Toby Walsh}, title = {Learning Driving Behavior by Timed Syntactic Pattern Recognition}, booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}, pages = {1529--1534}, publisher = {{IJCAI/AAAI}}, year = {2011}, url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-257}, doi = {10.5591/978-1-57735-516-8/IJCAI11-257}, timestamp = {Tue, 20 Aug 2019 16:16:04 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/VerwerWW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/MorsYWZ10, author = {Adriaan ter Mors and Chetan Yadati and Cees Witteveen and Yingqian Zhang}, title = {Coordination by design and the price of autonomy}, journal = {Auton. Agents Multi Agent Syst.}, volume = {20}, number = {3}, pages = {308--341}, year = {2010}, url = {https://doi.org/10.1007/s10458-009-9086-9}, doi = {10.1007/S10458-009-9086-9}, timestamp = {Thu, 27 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aamas/MorsYWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/PlankenWW10, author = {L{\'{e}}on Planken and Mathijs de Weerdt and Cees Witteveen}, editor = {Wiebe van der Hoek and Gal A. Kaminka and Yves Lesp{\'{e}}rance and Michael Luck and Sandip Sen}, title = {Optimal temporal decoupling in multiagent systems}, booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3}, pages = {789--796}, publisher = {{IFAAMAS}}, year = {2010}, url = {https://dl.acm.org/citation.cfm?id=1838311}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/PlankenWW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icaart/YadatiWZ10, author = {Chetan Yadati and Cees Witteveen and Yingqian Zhang}, editor = {Joaquim Filipe and Ana L. N. Fred and Bernadette Sharp}, title = {Coordinating Agents - An Analysis of Coordination in Supply-chain Management Tasks}, booktitle = {{ICAART} 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2 - Agents, Valencia, Spain, January 22-24, 2010}, pages = {218--223}, publisher = {{INSTICC} Press}, year = {2010}, timestamp = {Thu, 27 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icaart/YadatiWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icgi/VerwerWW10, author = {Sicco Verwer and Mathijs de Weerdt and Cees Witteveen}, editor = {Jos{\'{e}} M. Sempere and Pedro Garc{\'{\i}}a}, title = {A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data}, booktitle = {Grammatical Inference: Theoretical Results and Applications, 10th International Colloquium, {ICGI} 2010, Valencia, Spain, September 13-16, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6339}, pages = {203--216}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15488-1\_17}, doi = {10.1007/978-3-642-15488-1\_17}, timestamp = {Wed, 13 Jan 2021 14:02:25 +0100}, biburl = {https://dblp.org/rec/conf/icgi/VerwerWW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mates/MorsWZK10, author = {Adriaan ter Mors and Cees Witteveen and Jonne Zutt and Fernando A. Kuipers}, editor = {J{\"{u}}rgen Dix and Cees Witteveen}, title = {Context-Aware Route Planning}, booktitle = {Multiagent System Technologies, 8th German Conference, {MATES} 2010, Leipzig, Germany, September 27-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6251}, pages = {138--149}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16178-0\_14}, doi = {10.1007/978-3-642-16178-0\_14}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/mates/MorsWZK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mates/2010, editor = {J{\"{u}}rgen Dix and Cees Witteveen}, title = {Multiagent System Technologies, 8th German Conference, {MATES} 2010, Leipzig, Germany, September 27-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6251}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16178-0}, doi = {10.1007/978-3-642-16178-0}, isbn = {978-3-642-16177-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mates/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/JongeRW09, author = {Femke de Jonge and Nico Roos and Cees Witteveen}, title = {Primary and secondary diagnosis of multi-agent plan execution}, journal = {Auton. Agents Multi Agent Syst.}, volume = {18}, number = {2}, pages = {267--294}, year = {2009}, url = {https://doi.org/10.1007/s10458-008-9045-x}, doi = {10.1007/S10458-008-9045-X}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aamas/JongeRW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/RoosW09, author = {Nico Roos and Cees Witteveen}, title = {Models and methods for plan diagnosis}, journal = {Auton. Agents Multi Agent Syst.}, volume = {19}, number = {1}, pages = {30--52}, year = {2009}, url = {https://doi.org/10.1007/s10458-007-9017-6}, doi = {10.1007/S10458-007-9017-6}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aamas/RoosW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mags/SteenhuisenW09, author = {J. Renze Steenhuisen and Cees Witteveen}, title = {Plan decoupling of agents with qualitatively constrained tasks}, journal = {Multiagent Grid Syst.}, volume = {5}, number = {4}, pages = {357--371}, year = {2009}, url = {https://doi.org/10.3233/MGS-2009-0138}, doi = {10.3233/MGS-2009-0138}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mags/SteenhuisenW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/MorsBW09, author = {Adriaan ter Mors and Jeroen van Belle and Cees Witteveen}, editor = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Sim{\~{a}}o Sichman}, title = {Context-aware multi-stage routing}, booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume 1}, pages = {49--56}, publisher = {{IFAAMAS}}, year = {2009}, url = {https://dl.acm.org/citation.cfm?id=1558019}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/MorsBW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/LeeuwenW09, author = {Pim van Leeuwen and Cees Witteveen}, title = {Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process}, booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on Intelligent Agent Technology, {IAT} 2009, Milan, Italy, 15-18 September 2009}, pages = {185--192}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/WI-IAT.2009.149}, doi = {10.1109/WI-IAT.2009.149}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/LeeuwenW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieaaie/MorsW09, author = {Adriaan ter Mors and Cees Witteveen}, editor = {Been{-}Chian Chien and Tzung{-}Pei Hong and Shyi{-}Ming Chen and Moonis Ali}, title = {Plan Repair in Conflict-Free Routing}, booktitle = {Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, {IEA/AIE} 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5579}, pages = {46--55}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02568-6\_5}, doi = {10.1007/978-3-642-02568-6\_5}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/ieaaie/MorsW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/VerwerWW09, author = {Sicco Verwer and Mathijs de Weerdt and Cees Witteveen}, editor = {Adrian{-}Horia Dediu and Armand{-}Mihai Ionescu and Carlos Mart{\'{\i}}n{-}Vide}, title = {One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit}, booktitle = {Language and Automata Theory and Applications, Third International Conference, {LATA} 2009, Tarragona, Spain, April 2-8, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5457}, pages = {740--751}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00982-2\_63}, doi = {10.1007/978-3-642-00982-2\_63}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lata/VerwerWW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mates/WitteveenHR09, author = {Cees Witteveen and Wiebe van der Hoek and Nico Roos}, editor = {Lars Braubach and Wiebe van der Hoek and Paolo Petta and Alexander Pokahr}, title = {Concurrently Decomposable Constraint Systems}, booktitle = {Multiagent System Technologies, 7th German Conference, {MATES} 2009, Hamburg, Germany, September 9-11, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5774}, pages = {153--164}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04143-3\_14}, doi = {10.1007/978-3-642-04143-3\_14}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/mates/WitteveenHR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/RoosW08, author = {Nico Roos and Cees Witteveen}, editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris}, title = {Diagnosis of Simple Temporal Networks}, booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {178}, pages = {593--597}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-891-5-593}, doi = {10.3233/978-1-58603-891-5-593}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/RoosW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/MorsMZWR08, author = {Adriaan ter Mors and Xiaoyu Mao and Jonne Zutt and Cees Witteveen and Nico Roos}, editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris}, title = {Robust Reservation-Based Multi-Agent Routing}, booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {178}, pages = {929--930}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-891-5-929}, doi = {10.3233/978-1-58603-891-5-929}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/MorsMZWR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fcs/YadatiWZWP08, author = {Chetan Yadati and Cees Witteveen and Yingqian Zhang and Mengxiao Wu and Han La Poutr{\'{e}}}, editor = {Hamid R. Arabnia and Youngsong Mun and Pei Li Zhou}, title = {Autonomous Scheduling}, booktitle = {Proceedings of the 2008 International Conference on Foundations of Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada, {USA}}, pages = {73--81}, publisher = {{CSREA} Press}, year = {2008}, timestamp = {Thu, 27 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fcs/YadatiWZWP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icgi/VerwerWW08, author = {Sicco Verwer and Mathijs de Weerdt and Cees Witteveen}, editor = {Alexander Clark and Fran{\c{c}}ois Coste and Laurent Miclet}, title = {Polynomial Distinguishability of Timed Automata}, booktitle = {Grammatical Inference: Algorithms and Applications, 9th International Colloquium, {ICGI} 2008, Saint-Malo, France, September 22-24, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5278}, pages = {238--251}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88009-7\_19}, doi = {10.1007/978-3-540-88009-7\_19}, timestamp = {Thu, 14 Oct 2021 10:21:04 +0200}, biburl = {https://dblp.org/rec/conf/icgi/VerwerWW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mates/YadatiWZWP08, author = {Chetan Yadati and Cees Witteveen and Yingqian Zhang and Mengxiao Wu and Han La Poutr{\'{e}}}, editor = {Ralph Bergmann and Gabriela Lindemann and Stefan Kirn and Michal Pechoucek}, title = {Autonomous Scheduling with Unbounded and Bounded Agents}, booktitle = {Multiagent System Technologies, 6th German Conference, {MATES} 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5244}, pages = {195--206}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87805-6\_18}, doi = {10.1007/978-3-540-87805-6\_18}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mates/YadatiWZWP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2008P8461, editor = {J{\"{u}}rgen Dix and Edmund H. Durfee and Cees Witteveen}, title = {Planning in Multiagent Systems, 09.11. - 14.11.2008}, series = {Dagstuhl Seminar Proceedings}, volume = {08461}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/portals/08461/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8461.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/DixDW08, author = {J{\"{u}}rgen Dix and Edmund H. Durfee and Cees Witteveen}, editor = {J{\"{u}}rgen Dix and Edmund H. Durfee and Cees Witteveen}, title = {08461 Abstracts Collection - Planning in Multiagent Systems}, booktitle = {Planning in Multiagent Systems, 09.11. - 14.11.2008}, series = {Dagstuhl Seminar Proceedings}, volume = {08461}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/opus/volltexte/2009/1874/}, timestamp = {Thu, 10 Jun 2021 13:02:07 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/DixDW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/DixDW08a, author = {J{\"{u}}rgen Dix and Edmund H. Durfee and Cees Witteveen}, editor = {J{\"{u}}rgen Dix and Edmund H. Durfee and Cees Witteveen}, title = {08461 Executive Summary - Planning in Multi-Agent Systems}, booktitle = {Planning in Multiagent Systems, 09.11. - 14.11.2008}, series = {Dagstuhl Seminar Proceedings}, volume = {08461}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/opus/volltexte/2009/1873/}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/DixDW08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/MorsZW07, author = {Adriaan ter Mors and Jonne Zutt and Cees Witteveen}, editor = {Mark S. Boddy and Maria Fox and Sylvie Thi{\'{e}}baux}, title = {Context-Aware Logistic Routing and Scheduling}, booktitle = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA, September 22-26, 2007}, pages = {328--335}, publisher = {{AAAI}}, year = {2007}, url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-042.php}, timestamp = {Tue, 02 Nov 2021 15:59:05 +0100}, biburl = {https://dblp.org/rec/conf/aips/MorsZW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/WitteveenRMM07, author = {Cees Witteveen and Nico Roos and Adriaan ter Mors and Xiaoyu Mao}, editor = {Edmund H. Durfee and Makoto Yokoo and Michael N. Huhns and Onn Shehory}, title = {Diagnosis of plan step errors and plan structure violations}, booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007}, pages = {126}, publisher = {{IFAAMAS}}, year = {2007}, url = {https://doi.org/10.1145/1329125.1329280}, doi = {10.1145/1329125.1329280}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/WitteveenRMM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clima/SteenhuisenWZ07, author = {J. Renze Steenhuisen and Cees Witteveen and Yingqian Zhang}, editor = {Fariba Sadri and Ken Satoh}, title = {Plan-Coordination Mechanisms and the Price of Autonomy}, booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop, {CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {5056}, pages = {1--21}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-88833-8\_1}, doi = {10.1007/978-3-540-88833-8\_1}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clima/SteenhuisenWZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clima/StrandersWW07, author = {Ruben Stranders and Mathijs de Weerdt and Cees Witteveen}, editor = {Fariba Sadri and Ken Satoh}, title = {Fuzzy Argumentation for Trust}, booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop, {CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {5056}, pages = {214--230}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-88833-8\_12}, doi = {10.1007/978-3-540-88833-8\_12}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clima/StrandersWW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fcs/SteenhuisenW07, author = {J. Renze Steenhuisen and Cees Witteveen}, editor = {Hamid R. Arabnia and Pei Li Zhou}, title = {Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks}, booktitle = {Proceedings of the 2007 International Conference on Foundations of Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada, {USA}}, pages = {3--9}, publisher = {{CSREA} Press}, year = {2007}, timestamp = {Wed, 11 Feb 2009 11:19:14 +0100}, biburl = {https://dblp.org/rec/conf/fcs/SteenhuisenW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mates/MaoMRW07, author = {Xiaoyu Mao and Adriaan ter Mors and Nico Roos and Cees Witteveen}, editor = {Paolo Petta and J{\"{o}}rg P. M{\"{u}}ller and Matthias Klusch and Michael P. Georgeff}, title = {Coordinating Competitive Agents in Dynamic Airport Resource Scheduling}, booktitle = {Multiagent System Technologies, 5th German Conference, {MATES} 2007, Leipzig, Germany, September 24-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4687}, pages = {133--144}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74949-3\_12}, doi = {10.1007/978-3-540-74949-3\_12}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/mates/MaoMRW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mates/RoosW07, author = {Nico Roos and Cees Witteveen}, editor = {Paolo Petta and J{\"{o}}rg P. M{\"{u}}ller and Matthias Klusch and Michael P. Georgeff}, title = {Diagnosis of Plan Structure Violations}, booktitle = {Multiagent System Technologies, 5th German Conference, {MATES} 2007, Leipzig, Germany, September 24-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4687}, pages = {157--169}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74949-3\_14}, doi = {10.1007/978-3-540-74949-3\_14}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mates/RoosW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/BuzingMVW06, author = {Pieter Buzing and Adriaan ter Mors and Jeroen Valk and Cees Witteveen}, title = {Coordinating Self-interested Planning Agents}, journal = {Auton. Agents Multi Agent Syst.}, volume = {12}, number = {2}, pages = {199--218}, year = {2006}, url = {https://doi.org/10.1007/s10458-005-6104-4}, doi = {10.1007/S10458-005-6104-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aamas/BuzingMVW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaaiss/WeerdtW06, author = {Mathijs de Weerdt and Cees Witteveen}, title = {Multiagent Planning: Problem Properties that Matter}, booktitle = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI} Spring Symposium, Technical Report SS-06-04, Stanford, California, USA, March 27-29, 2006}, pages = {155--156}, publisher = {{AAAI}}, year = {2006}, url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-023.php}, timestamp = {Sat, 18 Feb 2012 12:29:46 +0100}, biburl = {https://dblp.org/rec/conf/aaaiss/WeerdtW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaaiss/WitteveenW06, author = {Cees Witteveen and Mathijs de Weerdt}, title = {Multi-Agent Planning for Non-Cooperative Agents}, booktitle = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI} Spring Symposium, Technical Report SS-06-04, Stanford, California, USA, March 27-29, 2006}, pages = {169}, publisher = {{AAAI}}, year = {2006}, url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-030.php}, timestamp = {Sat, 18 Feb 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aaaiss/WitteveenW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mates/JongeRW06, author = {Femke de Jonge and Nico Roos and Cees Witteveen}, editor = {Klaus Fischer and Ingo J. Timm and Elisabeth Andr{\'{e}} and Ning Zhong}, title = {Diagnosis of Multi-agent Plan Execution}, booktitle = {Multiagent System Technologies, 4th German Conference, {MATES} 2006, Erfurt, Germany, September 19-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4196}, pages = {86--97}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11872283\_8}, doi = {10.1007/11872283\_8}, timestamp = {Sat, 30 Sep 2023 09:52:16 +0200}, biburl = {https://dblp.org/rec/conf/mates/JongeRW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mates/SteenhuisenWMV06, author = {J. Renze Steenhuisen and Cees Witteveen and Adriaan ter Mors and Jeroen Valk}, editor = {Klaus Fischer and Ingo J. Timm and Elisabeth Andr{\'{e}} and Ning Zhong}, title = {Framework and Complexity Results for Coordinating Non-cooperative Planning Agents}, booktitle = {Multiagent System Technologies, 4th German Conference, {MATES} 2006, Erfurt, Germany, September 19-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4196}, pages = {98--109}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11872283\_9}, doi = {10.1007/11872283\_9}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mates/SteenhuisenWMV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/WitteveenRKW05, author = {Cees Witteveen and Nico Roos and Roman van der Krogt and Mathijs de Weerdt}, editor = {Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael J. Wooldridge}, title = {Diagnosis of single and multi-agent plans}, booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands}, pages = {805--812}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1082473.1082596}, doi = {10.1145/1082473.1082596}, timestamp = {Fri, 26 Apr 2019 14:26:42 +0200}, biburl = {https://dblp.org/rec/conf/atal/WitteveenRKW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/KrogtRWW05, author = {Roman van der Krogt and Nico Roos and Mathijs de Weerdt and Cees Witteveen}, editor = {Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael J. Wooldridge}, title = {Multiagent planning through plan repair}, booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands}, pages = {1337--1338}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1082473.1082761}, doi = {10.1145/1082473.1082761}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/KrogtRWW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bnaic/BuzingW05, author = {Pieter Buzing and Cees Witteveen}, editor = {Katja Verbeeck and Karl Tuyls and Ann Now{\'{e}} and Bernard Manderick and Bart Kuijpers}, title = {Temporal Plan and Resource Management}, booktitle = {{BNAIC} 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005}, pages = {43--50}, publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten}, year = {2005}, timestamp = {Thu, 08 Dec 2005 07:17:40 +0100}, biburl = {https://dblp.org/rec/conf/bnaic/BuzingW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bnaic/VerwerWW05, author = {Sicco Verwer and Mathijs de Weerdt and Cees Witteveen}, editor = {Katja Verbeeck and Karl Tuyls and Ann Now{\'{e}} and Bernard Manderick and Bart Kuijpers}, title = {Timed Inference for Behavioral Pattern Recognition}, booktitle = {{BNAIC} 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005}, pages = {291--296}, publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten}, year = {2005}, timestamp = {Tue, 06 Dec 2005 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bnaic/VerwerWW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bnaic/MorsW05, author = {Adriaan ter Mors and Cees Witteveen}, editor = {Katja Verbeeck and Karl Tuyls and Ann Now{\'{e}} and Bernard Manderick and Bart Kuijpers}, title = {Coordinating Self Interested Autonomous Planning Agents}, booktitle = {{BNAIC} 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005}, pages = {383--384}, publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten}, year = {2005}, timestamp = {Tue, 06 Dec 2005 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bnaic/MorsW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ceemas/RoosW05, author = {Nico Roos and Cees Witteveen}, editor = {Michal Pechoucek and Paolo Petta and L{\'{a}}szl{\'{o}} Zsolt Varga}, title = {Diagnosis of Plans and Agents}, booktitle = {Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2005, Budapest, Hungary, September 15-17, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3690}, pages = {357--366}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11559221\_36}, doi = {10.1007/11559221\_36}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ceemas/RoosW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ceemas/MorsVW05, author = {Adriaan ter Mors and Jeroen Valk and Cees Witteveen}, editor = {Michal Pechoucek and Paolo Petta and L{\'{a}}szl{\'{o}} Zsolt Varga}, title = {Complexity of Task Coordination for Non Cooperative Planning Agents}, booktitle = {Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2005, Budapest, Hungary, September 15-17, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3690}, pages = {600--603}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11559221\_70}, doi = {10.1007/11559221\_70}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ceemas/MorsVW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eumas/RoosW05, author = {Nico Roos and Cees Witteveen}, editor = {Marie{-}Pierre Gleizes and Gal A. Kaminka and Ann Now{\'{e}} and Sascha Ossowski and Karl Tuyls and Katja Verbeeck}, title = {Diagnosis of Plan Execution and the Executing Agent}, booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7-8, 2005}, pages = {502--503}, publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten}, year = {2005}, timestamp = {Mon, 07 Oct 2019 16:15:28 +0200}, biburl = {https://dblp.org/rec/conf/eumas/RoosW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/MorsW05, author = {Adriaan ter Mors and Cees Witteveen}, editor = {Andrzej Skowron and Jean{-}Paul A. Barth{\`{e}}s and Lakhmi C. Jain and Ron Sun and Pierre Morizet{-}Mahoudeaux and Jiming Liu and Ning Zhong}, title = {Coordinating Non Cooperative Planning Agents: Complexity Results}, booktitle = {Proceedings of the 2005 {IEEE/WIC/ACM} International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005}, pages = {407--413}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/IAT.2005.60}, doi = {10.1109/IAT.2005.60}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/MorsW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icai/RoosW05, author = {Nico Roos and Cees Witteveen}, editor = {Hamid R. Arabnia and Rose Joshua}, title = {Problem Solving in a Computational Society}, booktitle = {Proceedings of the 2005 International Conference on Artificial Intelligence, {ICAI} 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 2}, pages = {764--772}, publisher = {{CSREA} Press}, year = {2005}, timestamp = {Tue, 31 Jan 2006 12:59:04 +0100}, biburl = {https://dblp.org/rec/conf/icai/RoosW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/RoosW05, author = {Nico Roos and Cees Witteveen}, editor = {Ulrich Furbach}, title = {Diagnosis of Plan Execution and the Executing Agent}, booktitle = {{KI} 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, {KI} 2005, Koblenz, Germany, September 11-14, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3698}, pages = {161--175}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11551263\_14}, doi = {10.1007/11551263\_14}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/RoosW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/RoosTW04, author = {Nico Roos and Annette ten Teije and Cees Witteveen}, title = {Reaching Diagnostic Agreement in Multi-Agent Diagnosis}, booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}}, pages = {1256--1257}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10154}, doi = {10.1109/AAMAS.2004.10154}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/RoosTW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icai/MorsVW04, author = {Adriaan ter Mors and Jeroen Valk and Cees Witteveen}, editor = {Hamid R. Arabnia and Youngsong Mun}, title = {Coordinating Autonomous Planners}, booktitle = {Proceedings of the International Conference on Artificial Intelligence, {IC-AI} '04, Volume 2 {\&} Proceedings of the International Conference on Machine Learning; Models, Technologies {\&} Applications, {MLMTA} '04, June 21-24, 2004, Las Vegas, Nevada, {USA}}, pages = {795}, publisher = {{CSREA} Press}, year = {2004}, timestamp = {Fri, 19 Nov 2004 15:01:48 +0100}, biburl = {https://dblp.org/rec/conf/icai/MorsVW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/MorsVW04, author = {Adriaan ter Mors and Jeroen Valk and Cees Witteveen}, editor = {Chengqi Zhang and Hans W. Guesgen and Wai{-}Kiang Yeap}, title = {Complexity of Coordinating Autonomous Planning Agents}, booktitle = {{PRICAI} 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3157}, pages = {995--996}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-28633-2\_131}, doi = {10.1007/978-3-540-28633-2\_131}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/pricai/MorsVW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/WeerdtBTW03, author = {Mathijs de Weerdt and Andr{\'{e}} Bos and Hans Tonino and Cees Witteveen}, title = {A Resource Logic for Multi-Agent Plan Merging}, journal = {Ann. Math. Artif. Intell.}, volume = {37}, number = {1-2}, pages = {93--130}, year = {2003}, url = {https://doi.org/10.1023/A:1020236119243}, doi = {10.1023/A:1020236119243}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/WeerdtBTW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/HarrensteinHMW03, author = {Paul Harrenstein and Wiebe van der Hoek and John{-}Jules Ch. Meyer and Cees Witteveen}, title = {A Modal Characterization of Nash Equilibrium}, journal = {Fundam. Informaticae}, volume = {57}, number = {2-4}, pages = {281--321}, year = {2003}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-09}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/HarrensteinHMW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/wias/KrogtWW03, author = {Roman van der Krogt and Mathijs de Weerdt and Cees Witteveen}, title = {A resource based framework for planning and replanning}, journal = {Web Intell. Agent Syst.}, volume = {1}, number = {3-4}, pages = {173--186}, year = {2003}, url = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00016}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/wias/KrogtWW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/RoosTW03, author = {Nico Roos and Annette ten Teije and Cees Witteveen}, title = {A protocol for multi-agent diagnosis with spatially distributed knowledge}, booktitle = {The Second International Joint Conference on Autonomous Agents {\&} Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings}, pages = {655--661}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/860575.860681}, doi = {10.1145/860575.860681}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/RoosTW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/KrogtWW03, author = {Roman van der Krogt and Mathijs de Weerdt and Cees Witteveen}, title = {A Resource Based Framework for Planning and Replanning}, booktitle = {2003 {IEEE/WIC} International Conference on Intelligent Agent Technology {(IAT} 2003), 13-17 October 2003, Halifax, Canada}, pages = {247--253}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/IAT.2003.1241075}, doi = {10.1109/IAT.2003.1241075}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/KrogtWW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ToninoBWW02, author = {Hans Tonino and Andr{\'{e}} Bos and Mathijs de Weerdt and Cees Witteveen}, title = {Plan coordination by revision in collective agent based systems}, journal = {Artif. Intell.}, volume = {142}, number = {2}, pages = {121--145}, year = {2002}, url = {https://doi.org/10.1016/S0004-3702(02)00273-4}, doi = {10.1016/S0004-3702(02)00273-4}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ToninoBWW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/HoekW02, author = {Wiebe van der Hoek and Cees Witteveen}, title = {Note by the Guest Editors}, journal = {Stud Logica}, volume = {70}, number = {1}, pages = {3--4}, year = {2002}, url = {https://doi.org/10.1023/A:1014625723965}, doi = {10.1023/A:1014625723965}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/HoekW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/RoosTBW02, author = {Nico Roos and Annette ten Teije and Andr{\'{e}} Bos and Cees Witteveen}, title = {An analysis of multi-agent diagnosis}, booktitle = {The First International Joint Conference on Autonomous Agents {\&} Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy, Proceedings}, pages = {986--987}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/544862.544970}, doi = {10.1145/544862.544970}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/RoosTBW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/HarrensteinHMW02, author = {Paul Harrenstein and Wiebe van der Hoek and John{-}Jules Ch. Meyer and Cees Witteveen}, editor = {Frank van Harmelen}, title = {On Modal Logic Interpretations of Games}, booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002}, pages = {28--32}, publisher = {{IOS} Press}, year = {2002}, timestamp = {Mon, 03 Jan 2022 07:50:19 +0100}, biburl = {https://dblp.org/rec/conf/ecai/HarrensteinHMW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/ValkW02, author = {Jeroen Valk and Cees Witteveen}, editor = {Mitsuru Ishizuka and Abdul Sattar}, title = {Multi-agent Coordination in Planning}, booktitle = {{PRICAI} 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2417}, pages = {335--344}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45683-X\_37}, doi = {10.1007/3-540-45683-X\_37}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/pricai/ValkW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/masa/KrogtBW01, author = {Roman van der Krogt and Andr{\'{e}} Bos and Cees Witteveen}, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Olga Step{\'{a}}nkov{\'{a}} and Hana Krautwurmov{\'{a}} and Michael Luck}, title = {Replanning in a Resource-Based Framework}, booktitle = {Multi-Agent-Systems and Applications II, 9th {ECCAI-ACAI/EASSS} 2001, {AEMAS} 2001, HoloMAS 2001, Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2322}, pages = {148--158}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45982-0\_7}, doi = {10.1007/3-540-45982-0\_7}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/masa/KrogtBW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cl/WeerdtBTW00, author = {Mathijs de Weerdt and Andr{\'{e}} Bos and Hans Tonino and Cees Witteveen}, editor = {Ken Satoh and Fariba Sadri}, title = {A Plan Fusion Algorithm for Multi-Agent Systems}, booktitle = {{CL-2000} Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000}, pages = {56--65}, year = {2000}, timestamp = {Tue, 21 Nov 2017 19:17:13 +0100}, biburl = {https://dblp.org/rec/conf/cl/WeerdtBTW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/HoekW00, author = {Wiebe van der Hoek and Cees Witteveen}, editor = {Werner Horn}, title = {Classical, General Frameworks for Recovery}, booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000}, pages = {33--37}, publisher = {{IOS} Press}, year = {2000}, timestamp = {Mon, 30 Jun 2003 10:55:01 +0200}, biburl = {https://dblp.org/rec/conf/ecai/HoekW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmas/MoreeBTW00, author = {Bart Jan Moree and Andr{\'{e}} Bos and Hans Tonino and Cees Witteveen}, title = {Cooperation by Iterated Plan Revision}, booktitle = {4th International Conference on Multi-Agent Systems, {ICMAS} 2000, Boston, MA, USA, July 10-12, 2000}, pages = {191--198}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ICMAS.2000.858453}, doi = {10.1109/ICMAS.2000.858453}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icmas/MoreeBTW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/WitteveenH98, author = {Cees Witteveen and Wiebe van der Hoek}, title = {Recovery of (Non)Monotonic Theories}, journal = {Artif. Intell.}, volume = {106}, number = {1}, pages = {139--159}, year = {1998}, url = {https://doi.org/10.1016/S0004-3702(98)00099-X}, doi = {10.1016/S0004-3702(98)00099-X}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/WitteveenH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/WitteveenH97, author = {Cees Witteveen and Wiebe van der Hoek}, editor = {J{\"{u}}rgen Dix and Ulrich Furbach and Anil Nerode}, title = {A General Framework for Revising Non-Monotonic Theories}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1265}, pages = {258--273}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63255-7\_20}, doi = {10.1007/3-540-63255-7\_20}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/WitteveenH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/elp/WitteveenH96, author = {Cees Witteveen and Wiebe van der Hoek}, editor = {Roy Dyckhoff and Heinrich Herre and Peter Schroeder{-}Heister}, title = {Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming}, booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1050}, pages = {303--318}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-60983-0\_21}, doi = {10.1007/3-540-60983-0\_21}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/elp/WitteveenH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/istcs/WitteveenH96, author = {Cees Witteveen and Wiebe van der Hoek}, title = {Updating Nonmonotonic Databases}, booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS} 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings}, pages = {147--153}, publisher = {{IEEE} Computer Society}, year = {1996}, timestamp = {Tue, 31 May 2016 15:27:26 +0200}, biburl = {https://dblp.org/rec/conf/istcs/WitteveenH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/WitteveenH96, author = {Cees Witteveen and Wiebe van der Hoek}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Lu{\'{\i}}s Moniz Pereira and Ewa Orlowska}, title = {Revising and Updating Using a Back-Up Semantics}, booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96, {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1126}, pages = {388--403}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61630-6\_27}, doi = {10.1007/3-540-61630-6\_27}, timestamp = {Sat, 19 Oct 2019 20:16:50 +0200}, biburl = {https://dblp.org/rec/conf/jelia/WitteveenH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/lai/Witteveen96, author = {Cees Witteveen}, editor = {Andr{\'{e}} Fuhrmann and Hans Rott}, title = {Belief Revision in Truth Maintenance}, booktitle = {Logic, Action, and Information - Essays on Logic in Philosophy and Artificial Intelligence. Walter de Gruyter, Berlin, New York, 1996 (Based on a meeting held in autumn 1992 in Konstanz, Germany)}, pages = {447--470}, publisher = {De Gruyter}, year = {1996}, timestamp = {Mon, 05 Oct 2020 12:53:08 +0200}, biburl = {https://dblp.org/rec/conf/lai/Witteveen96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/WitteveenH95, author = {Cees Witteveen and Wiebe van der Hoek}, editor = {V. Wiktor Marek and Anil Nerode}, title = {Revision by Communication}, booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {928}, pages = {189--202}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59487-6\_14}, doi = {10.1007/3-540-59487-6\_14}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/WitteveenH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/WitteveenHN94, author = {Cees Witteveen and Wiebe van der Hoek and Hans de Nivelle}, editor = {Craig MacNish and David Pearce and Lu{\'{\i}}s Moniz Pereira}, title = {Revision of Non-Monotonic Theories}, booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94, York, UK, September 5-8, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {838}, pages = {137--151}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0021969}, doi = {10.1007/BFB0021969}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/WitteveenHN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nmelp/Witteveen94, author = {Cees Witteveen}, editor = {J{\"{u}}rgen Dix and Lu{\'{\i}}s Moniz Pereira and Teodor C. Przymusinski}, title = {Every Normal Program has a Nearly-Stable Model}, booktitle = {Non-Monotonic Extensions of Logic Programming (NMELP'94), {ICLP} '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {927}, pages = {68--84}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0030660}, doi = {10.1007/BFB0030660}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nmelp/Witteveen94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/WitteveenB93, author = {Cees Witteveen and Gerhard Brewka}, title = {Skeptical Reason Maintenance and Belief Revision}, journal = {Artif. Intell.}, volume = {61}, number = {1}, pages = {1--36}, year = {1993}, url = {https://doi.org/10.1016/0004-3702(93)90090-X}, doi = {10.1016/0004-3702(93)90090-X}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/WitteveenB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecsqaru/WitteveenH93, author = {Cees Witteveen and Wiebe van der Hoek}, editor = {Michael Clarke and Rudolf Kruse and Seraf{\'{\i}}n Moral}, title = {Belief Revision by Expansion}, booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {747}, pages = {380--387}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/BFb0028224}, doi = {10.1007/BFB0028224}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecsqaru/WitteveenH93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/WitteveenJ92, author = {Cees Witteveen and Catholijn M. Jonker}, editor = {Gerhard Lakemeyer and Bernhard Nebel}, title = {Revision by Expansion in Logic Programs}, booktitle = {Foundation of Knowledge Representation and Reasoning [the book grew out of an {ECAI-92} workshop]}, series = {Lecture Notes in Computer Science}, volume = {810}, pages = {333--355}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-58107-3\_19}, doi = {10.1007/3-540-58107-3\_19}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/ecai/WitteveenJ92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Witteveen92, author = {Cees Witteveen}, editor = {David Pearce and Gerd Wagner}, title = {Expanding Logic Programs}, booktitle = {Logics in AI, European Workshop, {JELIA} '92, Berlin, Germany, September 7-10, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {633}, pages = {373--390}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0023439}, doi = {10.1007/BFB0023439}, timestamp = {Wed, 06 Nov 2019 16:45:49 +0100}, biburl = {https://dblp.org/rec/conf/jelia/Witteveen92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/Witteveen91, author = {Cees Witteveen}, editor = {James F. Allen and Richard Fikes and Erik Sandewall}, title = {Skeptical Reason Maintenance is Tractable}, booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991}, pages = {570--581}, publisher = {Morgan Kaufmann}, year = {1991}, timestamp = {Fri, 18 May 2012 15:02:59 +0200}, biburl = {https://dblp.org/rec/conf/kr/Witteveen91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/Witteveen90, author = {Cees Witteveen}, editor = {Jo{\~{a}}o P. Martins and Michael Reinfrank}, title = {A Skeptical Semantics for Truth Maintenance}, booktitle = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden, August 6, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {515}, pages = {136--154}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0037034}, doi = {10.1007/BFB0037034}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/ecai/Witteveen90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Witteveen90, author = {Cees Witteveen}, editor = {Jan van Eijck}, title = {Partial Semantics for Truth Maintenance - a Compositional Approach}, booktitle = {Logics in AI, European Workshop, {JELIA} '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {478}, pages = {544--561}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0018465}, doi = {10.1007/BFB0018465}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Witteveen90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/WitteveenB81, author = {Cees Witteveen and Harrie Boelens}, title = {Inferring Control Structures from the Behaviour of a Production System}, journal = {Inf. Control.}, volume = {51}, number = {3}, pages = {275--301}, year = {1981}, url = {https://doi.org/10.1016/S0019-9958(81)90308-9}, doi = {10.1016/S0019-9958(81)90308-9}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/WitteveenB81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.