Here is the list of my published works. My official
DBLP record
lists the most important publications of mine.
The DBLP entry list also includes some of the relevant BiBTeX entries.
Forthcoming (3)
| ► | : Tactical Operations of Multi-Robot Teams in Urban Warfare Vincent Conitzer, Michael Winikoff, Lin Padgham and Wiebe van der Hoek (ed.) Series/In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Demonstration Track, International Foundation for Autonomous Agents and Multiagent Systems/2012, June 4–8 - demonstration video - |
| ► | : Decentralized Multi-agent Plan Repair in Dynamic Environments Vincent Conitzer, Michael Winikoff, Lin Padgham and Wiebe van der Hoek (ed.) Series/In: Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, IFAAMAS/2012, June 4–8 - extended version published as arXiv.org preprint abs/1202.2773 - |
| ► | : Towards Incremental Development of Human-Agent-Robot Applications using Mixed-Reality Testbeds Series/In: IEEE Intelligent Systems, Special Issue on Human-Agent-Robot-Teamwork (HART), © IEEE/2012, March -preprint- -doi: 10.1109/MIS.2012.2- |
Edited books and collections (3)
2012
| ► | 8th International Workshop, Programming Multi-Agent Systems, ProMAS 2010 Toronto, ON, Canada, May 2010 Revised Selected Papers Rem Collier, Jürgen Dix, Peter Novák (ed.) Series/In: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Vol. 6599, ISBN: 978-3-642-28938-5, Paperback, © Springer-Verlag Berlin Heidelberg New York/2012 - doi: doi: 10.1007/978-3-642-28939-2 - |  |
2011
| ► | Special issue on The Multi-Agent Programming Contest: History and Contestants in 2009 Jürgen Dix, Tristan Behrens, Mehdi Dastani, Michael Köster and Peter Novák (ed.) Series/In: Annals of Mathematics and Artificial Intelligence, © Springer Science+Business Media B.V./2011 |  |
2010
| ► | 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers Jürgen Dix, Michael Fisher, Peter Novák (ed.) Series/In: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Vol. 6214, ISBN: 978-3-642-16866-6, Paperback, © Springer-Verlag Berlin Heidelberg New York/2010 - doi: 10.1007/978-3-642-16867-3 - |  |
Journal articles (3)
2011
| ► | : Editorial - The Multi-Agent Programming Contest: History and Contestants in 2009 Series/In: Annals of Mathematics and Artificial Intelligence, Numbers 3-4, pg. 275, © Springer Science+Business Media B.V./2011/2011 -doi: 10.1007/s10472-010-9218-6- |
| ► | : The multi-agent programming contest from 2005–2010: From gold collecting to herding cows Series/In: Annals of Mathematics and Artificial Intelligence, ISSN: 1573-7470, Special issue: The Multi-Agent Programming Contest: History and Contestants in 2009, Numbers 3-4, pages 277-311, © Springer Science+Business Media B.V./2011 -doi: 10.1007/s10472-010-9219-5- The final publication is available at www.springerlink.com. |
2009
| ► | : Agenten als Goldgräber und Cowboys Agents as Gold Miners and Cowboys (in German) Series/In: KI - Zeitschrift Künstliche Intelligenz, Nr. 2/09, pg. 50-53, Böttcher IT Verlag/2009 -journal issue website- -on-line excerpt- |
Peer-reviewed conference papers (21)
2012
| ► | : Towards Simulation-Aided Design of Multi-Agent Systems Rem Collier, Jürgen Dix and Peter Novák (ed.) Series/In: Post-proceedings of The Eighth International Workshop on Programming Multi-Agent Systems, ProMAS 2010, LNAI, Vol. 6599, Paperback, © Springer-Verlag Berlin Heidelberg New York/2012 -doi: 10.1007/978-3-642-28939-2_1- |
2011
| ► | : Multi-agent Plan Repairing Christopher Amato, Emma Brunskill, Guy Shani, Matthijs Spaan (ed.) Series/In: Proceedings of Decision Making in Partially Observable, Uncertain Worlds: Exploring Insights from Multiple Communities, DMPOUW 2011, IJCAI 2011 colocated workshop, 2011, July |
| ► | : Ground tactical mission support by multi-agent control of UAV operations Vladimír Mařík, Paolo Leitao, Pavel Vrba (ed.) Series/In: Proceedings of 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Tulouse, France, in conjunction with DEXA 2011, LNCS 6867, pages 225-234, © Springer-Verlag/2011, August 29-31 - doi: 10.1007/978-3-642-23181-0_22 - |
| ► | : Dynamic trajectory replanning for unmanned aircrafts supporting tactical missions in urban environments Vladimír Mařík, Paolo Leitao, Pavel Vrba (ed.) Series/In: Proceedings of 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Tulouse, France, in conjunction with DEXA 2011, LNCS 6867, pages 256-265, ISBN: 978-3-642-23180-3, © Springer-Verlag/2011, August 29-31 - doi: 10.1007/978-3-642-23181-0_25 - |
| ► | : Agents, Actions and Goals in Dynamic Environments Series/In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, Barcelona, Spain; IJCAI 2011, 2011, July - poster - |
| ► | : Notes on pragmatic agent-programming with Jason Olivier Boissier, Rafael H. Bordini, Louise Dennis (ed.) Series/In: Proceedings of 9th International Workshop on Programming Multi-Agent Systems, ProMAS 2011, AAMAS 2011 colocated workshop, 2011, May |
2009
| ► | : Probabilistic Behavioural State Machines L. Braubach, J.P. Briot and J. Thangarajah (ed.) Series/In: Programming Multi-Agent Systems 7th International Workshop ProMAS'09, LNAI 5919, ISBN: 0302-9743, © Springer-Verlag Berlin, Heidelberg/2009, May - slides - - doi: 10.1007/978-3-642-14843-9_5 - |
| ► | : Two Case Studies for Jazzyk BSM F. Dignum, J. Bradshaw, B. Silverman and W. van Doesburg (ed.) Series/In: Proceedings of Agents for Games and Simulations: Trends in Techniques, Concepts and Design, AGS 2009, LNAI 5920, ISBN: 0302-9743, © Springer Verlag/2009, May - doi: 10.1007/978-3-642-11198-3 - |
| ► | : Code Patterns for Agent Oriented Programming Series/In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2009, (also presented at the 21st Benelux Conference on Artificial Intelligence, BNAIC 2009), IFAAMAS/2009, May © IFAAMAS 2009. This is the author's version of the work. It is posted here by permission of IFAAMAS for your personal use. Not for redistribution. - slides - - poster |
2008
| ► | : Agent Contest Competition: 4th Edition Koen V. Hindriks, Alexander Pokahr and Sebastian Sardina (ed.) Series/In: Programming Multi-Agent Systems 6th International Workshop, ProMAS'08, LNCS 5442, ISBN: 0302-9743, © Springer Verlag/2008, May 13, Estoril, Portugal doi: 10.1007/978-3-642-03278-3_14 |
| ► | : Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines R. Bergmann, G. Lindermann, S. Kirn and M. Pěchouček (ed.) Series/In: Proceedings of the Sixth German Conference on Multi-Agent system Technologies, MATES 2008, LNCS 5244, Multiagent System Technologies, pg. 86-98, ISBN: 978-3-540-87804-9, © Springer Verlag Berlin/Heidelberg/2008, September 23 - 26 in Kaiserslautern, Germany -doi: 10.1007/978-3-540-87805-6_9- |
| ► | : Designing Goal-Oriented Reactive Behaviours Yves Lespérance, Gerhard Lakemeyer, Fiora Pirri and Jan Peters (ed.) Series/In: Proceedings of the 6th International Cognitive Robotics Workshop, CogRob 2008, ECAI 2008 collocated workshop, ISBN: 978-960-6843-09-9, The 18th European Conference on Artificial Intelligence, ECAI 2008/2008, July 21-22 in Patras, Greece - slides - |
| ► | : Cognitive agents with non-monotonic reasoning (thesis extended abstract) Gal Kaminka, Yohei Murakami (ed.) AAMAS 2008 Doctoral Mentoring Program/2008, May © IFAAMAS 2008. This is the author's version of the work. It is posted here by permission of IFAAMAS for your personal use. Not for redistribution. -slides- |
| ► | : Combining Multiple Knowledge Representation Technologies into Agent Programming Languages Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk and Michael Winikoff (ed.) Series/In: Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, LNCS 5397, © Springer Verlag Berlin/Heidelberg/2008, May in Estoril, Portugal -doi: 10.1007/978-3-540-93920-7- |
| ► | : Jazzyk: A programming language for hybrid agents with heterogeneous knowledge representations Koen V. Hindriks, Alexander Pokahr and Sebastian Sardina (ed.) Series/In: Programming Multi-Agent Systems 6th International Workshop, ProMAS'08, LNCS 5442, ISBN: 0302-9743, © Springer Verlag Berlin/Heidelberg/2008, May in Estoril, Portugal - slides - - doi:10.1007/978-3-642-03278-3_5 - |
| ► | : Behavioural State Machines: Programming Modular Agents Marcello Balduccini and Chitta Baral (ed.) Series/In: Papers from the AAAI Spring Symposium, Technical Report SS-08-02: Architectures for Intelligent Theory-Based Agents, AITA'08, ISBN: 978-1-57735-358-4, AAAI Press, Menlo Park, California, USA/2008, March 26-28 - slides - |
2007
| ► | : Agent Contest Competition - 3rd edition Series/In: Proceedings of Fifth international Workshop on Programming Multi-Agent Systems, ProMAS'07, LNAI 4908, ISBN: 978-3-540-79042-6, © Springer Verlag/2007 -preprint published in Department of Informatics, Clausthal University of Technology TR series IfI-07-15- - doi: 10.1007/978-3-540-79043-3 - |
| ► | : Adding structure to agent programming languages Series/In: Proceedings of Fifth international Workshop on Programming Multi-Agent Systems, ProMAS'07, LNAI 4908, ISBN: 978-3-540-79042-6, © Springer Verlag/2007, May -preprint published in Department of Informatics, Clausthal University of Technology TR series IfI-06-12- - doi: 10.1007/978-3-540-79043-3 - - slides - |
2006
| ► | : The Second Contest on Multi-Agent Systems based on Computational Logic Katsumi Inoue, Ken Satoh, Francesca Toni (ed.) Series/In: Proceedings of Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII), LNAI 4371/2007, ISBN: 978-3-540-69618-6, © Springer Berlin/Heidelberg/2006 -preprint published in Department of Informatics, Clausthal University of Technology TR series IfI-06-13- -doi: 10.1007/978-3-540-69619-3_15- |
| ► | : Modular BDI Architecture Series/In: Proceedings of Fifth International Joint Conference on Autonomous Agents and Multiagent Systems AAMAS'06, Future University, Hakodate, Hokkaido, Japan, pg. 1009-1016, ISBN: 1-59593-303-4, Association for Computing Machinery/2006, May © Association for Computing Machinery ACM, 2006 -doi:10.1145/1160633.1160814- -poster- -slides- |
2005
| ► | : The First Contest on Multi-agent Systems Based on Computational Logic Francesca Tonni and Paolo Torroni (ed.) Series/In: Proceedings of 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI), LNCS 3900/2006, pages 373-384, ISBN: 978-3-540-33996-0, © Springer-Verlag/2005 -doi:10.1007/11750734- |
Technical reports, pre-prints and theses (9)
2012
| ► | : Decentralized Multi-agent Plan Repair in Dynamic Environments Series/In: Computing Research Repository, abs/1202.2773, arXiv.org/2012, February 13 - online - |
2011
| ► | : Tactical AgentScout 2: Deliberative and reactive planning in adversarial environments Series/In: research reports series, ISSN: 1213-3000, GL 218/11, Gerstner Laboratory for Intelligent Decision Making and Control, Czech Technical University in Prague/2011, April 22th |
2010
| ► | : Intelligent Software Agent Control of Combined UAV Operations for Tactical Missions Series/In: research reports series, ISSN: 1213-3000, GL 216/10, Gerstner Laboratory for Intelligent Decision Making and Control, Czech Technical University in Prague/2010, September 30th -report cover- |
2009
| ► | : Behavioural State Machines: Agent Programming and Engineering Series/In: Doctoral dissertation (Dr. rer. nat.), Paperback, Faculty of Natural and Materials Science, Clausthal University of Technology/2009, October -online e-dissertation - Library of the Clausthal University of technology - |
2008
| ► | : Technical Foundations of the Agent Contest 2008 Series/In: IfI Technical Reports, TR: IfI-08-05, Department of Informatics, Clausthal University of Technology, Clausthal-Zellerfeld/2008, December -on-line version- |
| ► | : Communication platform for open heterogeneous MASs Series/In: IfI Technical Reports, TR: IfI-08-13, Department of Informatics, Clausthal University of Technology, Clausthal-Zellerfeld/2008, December -on-line version- |
2007
| ► | : An open agent architecture: Fundamentals (revised) Series/In: IfI technical reports, TR: IfI-07-10 (revised - February 2008), Department of Informatics, Clausthal University of Technology, Clausthal-Zellerfeld/2007, November -on-line version- |
2005
| ► | : Stable Model Semantics Algorithm: Approach Based on Relation of Blocking Between Sets of Defaults Wojtek Jamroga et. al. (ed.) Series/In: IfI Technical reports, TR: IfI-05-04, IfI, Clausthal University of Technology, Clausthal-Zellerfeld/2005 -on-line version- |
2002
| ► | : Approximative Logic Programming for Data Mining Series/In: Diploma thesis (MSc.), Hardcover, Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava, Slovakia/2002 |
Presentation slides, manuscripts, etc. (14)
2011
| ► | : Mission planning: Logic and game theory in multi-robot applications Jürgen Dix, Wojtek Jamroga and Dov Samet (ed.) Series/In: Dagstuhl Seminar #11101, Reasoning about Interaction : From Game Theory to Logic and Back, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Germany/2011, March (invited workshop talk) |
2010
| ► | : Control of teams of unmanned aerial/ground vehicles: ATG research overview Series/In: Research group seminar series, Individual and Collective Reasoning Group, University of Luxembourg, Luxembourg/2010, December 1st (invited seminar talk) |
2009
| ► | : Behavioural State Machines: Framework for programming cognitive agents Series/In: department seminar series, Agent Technology Group, Department of Cybernetics, Faculty of Electrical Engineering, Czech Technical University, Prague/2009, February 19th (invited seminar talk) |
2008
| ► | : Programovanie kognitívnych agentov / Programming of cognitive agents (in Slovak) Series/In: Týžden absoloventov Matfyzu/ FMFI UK alumni workshop, TAM 2008, 2008, December 19th (invited wokshop presentation) |
| ► | : Towards pragmatics of rule-based agent programming language(s) R. Bordini, M. Dastani, J. Dix, A. E. Fallah-Segrouchni (ed.) Series/In: Dagstuhl Seminar #08361, Programming Multi-Agent Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Germany/2008, September (invited workshop talk) |
| ► | : MASSim: Multi-Agent Systems Simulation Platform Series/In: Begehung des Simulationswissenschaftlichen Zentrums, Clausthal University of Technology, poster/2008, June |
| ► | : Embedding Defeasible Argumentation in Answer Set Programming 2008, September Important note: The paper contains several errors, yet the bulk is alright and can serve as a source of inspiration to others. The technical part, i.e. the transformation of DeLP to ASP works, however the introductory argumentation frameworks theory contains serious flaws. To be rewritten in the future! |
| ► | : Jazzbot: A non-monotonically reasoning bot in a simulated 3D environment manuscript/2008, January |
2007
| ► | : Programming framework for cognitive agents Series/In: Diplomanten & Doktoranden seminar, IfI Clausthal University of Technology/2007, February 22th (invited seminar talk) |
| ► | : Agenty a nemotónne usudzovanie / Agents and nonmonotonic reasoning (in Slovak) Series/In: Intelligence not only as a computation, seminar in honour of Ján Šefránek, FMFI UK, Bratislava/2007, April 23th (workshop talk) |
2006
| ► | : Modular agent programming language R. Bordini, M. Dastani, J.-J. Meyer (ed.) Series/In: Dagstuhl seminar #06261, Foundations and Practice of Programming Multi-Agent Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Germany/2006, June 27th (invited workshop talk) |
| ► | : Programovacie jazyky pre vývoj inteligentných agentov / Programming languages for development of intelligent BDI agents (in Slovak) Series/In: AI Seminar talk (slides), Department of Applied Informatics, Comenius University, Bratislava/2006, October 03 (invited seminar talk) |
2003
| ► | : Manuál na štúdium umelej inteligencie na FMFI UK / Study manual for specialization of Artificial Intelligence at FMFI UK (in Slovak) 2003/December |
| ► | : FAQ: Ako písať diplomovú prácu - umelá inteligencia na FMFI UK / FAQ: How to write a diploma thesis in Artificial Intelligence at FMFI UK (in Slovak) 2003/December 8th |