Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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 = {Mon, 26 Jun 2023 01:00:00 +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}
}
a service of 
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.
last updated on 2024-04-21 18:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
