Publications

Book

International journals & book chapters

Monography edition

Conference papers






Book

Barbara Dunin-Kęplicz and Rineke Verbrugge,
Teamwork in Multi-Agent Systems: A Formal Approach.
Wiley and Sons, July 2010.

Description

Table of contents
International journals and book chapters

  • Barbara Dunin-Kęplicz, Linh Anh Nguyen and Andrzej Szałas, A Framework for Graded Beliefs, Goals and Intentions. Fundamenta Informaticae 100, 2010.
     
  • Barbara Dunin-Kęplicz, Linh Anh Nguyen and Andrzej Szałas, A Layered Rule-Based Architecture for Approximate Knowledge Fusion. Computer Science and Information Systems 8, 2010.
     
  • Barbara Dunin-Kęplicz, Rineke Verbrugge and Michał Slizak, TeamLog in Action: a Case Study in Teamwork. Computer Science and Information Systems 8, 2010.
     
  • Barbara Dunin-Kęplicz and Andrzej Szałas, Agents in Approximate Environments. In: Games, Actions and Social Software, College Publications, 2010.
     
  • Barbara Dunin-Kęplicz, Linh Anh Nguyen and Andrzej Szałas Tractable Approximate Knowledge Fusion Using the Horn Fragment of Serial Propositional Dynamic Logic. International Journal of Approximate Reasoning 51(3), pp. 346-362, 2010.
     
  • B. Dunin-Kęplicz and R. Verbrugge, A logical view on teamwork. In: J. van Eijck and R. Verbrugge (eds.) Games, Actions and Social Software, College Publications, London, in the series Studies in Logic, to appear.
     
  • R. Verbrugge and B. Dunin-Kęplicz, Formal approaches to multi-agent systems. Introduction in: Journal of Autonomous Agents and Multi-Agent Systems, 19 (1), 2009, pp. 1-3.
     
  • Dziubinski M., Verbrugge B., Dunin-Kęplicz B., Complexity issues in multiagent logics. In: Fundamenta Informaticae, 75 (1-4), pp. 239-262, 2007.
     
  • B. Dunin-Kęplicz and R. Verbrugge, Collective attitudes for teamwork in dynamic environments. Cognitive Studies, 7, 2006, pp. 7-30.
     
  • B. Dunin-Kęplicz and R. Verbrugge, A tuning machine for cooperative problem solving. Fundamenta Informaticae, 63 (2-3), 2004, pp. 283-307.
     
  • B. Dunin-Kęplicz and R. Verbrugge, Evolution of collective commitment during teamwork. Fundamenta Informaticae, 56 (4), 2003, pp. 329-371.
     
  • B. Dunin-Kęplicz and R. Verbrugge, Collective intentions. Fundamenta Informaticae, 51, 2002, pp. 271-295.
     
  • F. Brazier, B. Dunin-Kęplicz, J. Treur, R. Verbrugge. Modelling Internal Dynamic Behaviour of BDI Agents. In: D. Gabbay, Ph. Smets, (eds.), Dynamics and Management of Reasoning Processes. Series in Defeasible Reasoning and Uncertainty Management Systems, vol. 6. Kluwer Academic Publishers, 2001, pp. 339-361.
     
  • F. Dignum, B. Dunin-Kęplicz, R. Verbrugge. Creating collective intention through dialogue. In: Logic Journal of the IGPL, vol. 9, nr. 1, 2001, pp. 289--303.
     
  • B. Dunin-Kęplicz, R. Verbrugge, A Reconfiguration Algorithm for Distributed Problem Solving. In: Engineering Simulation, Vol 18, 2001, pp. 227-246.
     
  • F. Dignum, B. Dunin-Kęplicz and R. Verbrugge, Dialogue in team formation. In: F. Dignum and M. Greaves (eds.), Issues in Agent Communication, Lecture Notes in Computer Science vol. 916, Springer Verlag, Berlin, 2000, pp. 264-280.
     
  • F. Brazier, B. Dunin-Kęplicz, N. Jennings and J. Treur, Modelling Multi-Agent Systems in a Compositional Framework. In: IJCIS, International Journal of Cooperative Systems, Special Issue on Formal Methods in Cooperative Information Systems, Vol 6, Nr 1, 1997, pp. 67-94.
     
  • F. Brazier, B. Dunin-Kęplicz, N. Jennings and J. Treur, Modelling Distributed Industrial Processes in a Multi-Agent Framework. In: G. O'Hare and S. Kirn (eds.) Towards the Intelligent Organisation - The Coordination Perspective, Springer-Verlag, 1996.
     
  • F. Dignum, B. Dunin-Kęplicz, L. C. Verbrugge. Agent theory for team formation by dialogue. In: R. Schaeffer, S. Sedziwy (eds.), Advances in multi-agent systems, Cracow, Wydawnictwo Uniwersytetu Jagiellonskiego, 2001, ISBN 83-233-1510-8, pp. 67-85.
     

Monography edition
  • Rineke Verbrugge i Barbara Dunin-Kęplicz (eds.), Formal approaches to multi-agent sysems. Autonomous Agents and Multi-Agent Systems 19(1), 2009.

  • M. Baldoni, C. Baroglio, G. Boella, B. Dunin-Kęplicz, R. Verbrugge et al., eds., Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009; As part of this: B. Dunin-Kęplicz and R. Verbrugge (eds.), Proceedings of the Fourth International Workshop on Formal Approaches to Multiagent Systems, FAMAS'09.

  • B. Dunin-Kęplicz and R. Verbrugge (eds.), Proceedings of the Third Workshop on Formal Approaches to Multi-agent Systems (FAMAS'007), Durham University, Durham, 2007. Part of Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW).

  • B. Dunin-Kęplicz and R. Verbrugge (eds.), Proceedings of the Second Workshop on Formal Approaches to Multi-agent Systems (FAMAS'06), Universitá degli Studi di Trento, Trento, 2006. In conjunction with ECAI'06.

  • Barbara Dunin-Kęplicz, Andrea Omicini i Julian A. Padget (eds.), EUMAS, Proc. 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006. CEUR Workshop Proceedings 223, CEUR-WS.org, 2006.

  • B. Dunin-Kęplicz, A.Jankowski, A. Skowron, M. Szczuka (eds.) Proceedings of Monitoring security and rescue techniques in multiagent systems, Advances in soft computing, 2005, Berlin, Springer Verlag.

  • B. Dunin-Kęplicz and R. Verbrugge (eds.), Special issue on formal aspects of multi-agent systems (selected and revised articles FAMAS'03), Fundamenta Informaticae, 63 (2,3), 2004.

  • B. Dunin-Kęplicz and R. Verbrugge, Dynamics of collective attitudes during teamwork. In: A. Omicini, P. Petta and J. Pitt (eds.), Engineering Societies in the Agents World IV, 4th International Workshop, ESAW 2003, London, UK, Oct. 29-31 2003: Revised Selected and Invited Papers, Lecture Notes in Computer Science vol. 3071, Springer Verlag, Berlin, 2004, pp. 107-122.

  • B. Dunin-Kęplicz and R. Verbrugge (eds.), Proceedings of the First Workshop on Formal Approaches to Multi-agent Systems (FAMAS'03), University of Warsaw, Warsaw, 2003. In conjunction with ETAPS'03.

  • Barbara Dunin-Kęplicz i Edward Nawarecki (eds.), CEEMAS, From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers. LNCS 2296, Springer, 2002.

  • From theory to practice in multi-agent systems, Selected papers from The Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'01, B. Dunin-Kęplicz, E. Nawarecki (eds.) Kraków, LNAI Springer Verlag 2296, pp. 1-340, 2002.


Conference papers

  • Barbara Dunin-Kęplicz, Linh Anh Nguyen and Andrzej Szałas, Graded Beliefs, Goals and Intentions. 3rd Workshop on Logical Aspects of Multi-Agent Systems, AAAI, 2010.
     
  • B. Dunin-Kęplicz, R. Verbrugge and M. Slizak, Case-study for TeamLog, a theory of teamwork. In: G.A. Papadopoulos and C. Badica (eds.), Intelligent Distributed Computing III: Proceedings of the Third International Symposium on Intelligent Distributed Computing, series Studies in Computational Intelligence volume 237, Springer-Verlag, Berlin, 2009, pp. 87-100.
     
  • Doherty P., Dunin-Kęplicz B., Szałas A., Dynamics of Approximate Information Fusion, In: Proceedings of RSEISP 2007 , Rough Sets and Emerging Intelligent Systems Paradigms (M. Kryszkiewicz, J. Peters, H. Rybinski, A. Skowron, eds.), LNAI 4585, Springer 2007, 668-677.
     
  • Dunin-Kęplicz B., Szałas A., Towards Approximate BGI Systems, In: Proceedings of CEEMAS 2007, 5th International Central and Eastern European Conference on Multi-Agent Systems (H-D. Burkhard, G. Lindeman, L. Varga, R. Verbrugge, eds.), LNAI 4696, Springer 2007, 277-287
     
  • Dziubinski, M., Verbrugge, R., Dunin-Kęplicz, B. Reducing the complexity of logics for multiagent systems. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07) (E. Durfee, M. Yoko, M. Huhns and O. Shehory, eds.), New York (NY), ACM Press, 2007, 1082 - 1084.
     
  • B. Dunin-Kęplicz and R. Verbrugge, Awareness as a vital ingredient of teamwork. In: P. Stone and G. Weiss (eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), IEEE/ACM Press, New York (NY), 2006, pp. 1017-1024.
     
  • Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Kęplicz. Complexity of a theory of collective attitudes in teamwork. In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, (A. Skowron, J.-P. Barthes, L. Jain, R. Sun, P. Morizet-Mahoudeaux, J. Liu, N. Zhong, eds.), Los Alamitos (CA), IEEE Computer Society, ISBN 0-7695-2416-8, pp. 579-586.
     
  • B. Dunin-Kęplicz and R. Verbrugge, Creating common beliefs in rescue situations. In: B. Dunin-Kęplicz, A. Jankowski, A.Skowron and M. Szczuka (eds.), Monitoring, Security and Rescue Techniques in Multiagent Systems, Series Advances in Soft Computing, Springer Verlag, Berlin, 2005, pp. 69-84.
     
  • Jacek Brzezinski, Piotr Dunin-Kęplicz, Barbara Dunin-Kęplicz, Collectively cognitive agents in cooperative teams. In: Engineering Societes in the Agents Worlds V, (ESAW 2204): Revised, selected and invited papers, (M-P.Gleizes, A. Omicini, F. Zambonelli, eds.) LNCS 3451, Berlin, Springer Verlag, 2005, PP.191-208.
     
  • Barbara Dunin-Kęplicz, Rineke Verbrugge, Creating commnon beliefs in rescue situations, In: Proceedings of Monitoring security and rescue techniques in multiagent systems, Advances in soft computing, (B. Dunin-Kęplicz, A.Jankowski, A. Skowron, M. Szczuka, eds.), 2005, Berlin, springer Verlag, 69-84. Invited speech.
     
  • B. Dunin-Kęplicz and R. Verbrugge, Teamwork in rescue situations. In: A. Jankowski, A. Skowron and M. Szczuka (eds.), Pre-proceedings of Monitoring and Rescue Techniques in Multiagent Systems, International Workshop MSRAS 2004, June 7-9, Płock, Poland, pp. 58-60.
     
  • B. Dunin-Kęplicz, R. Verbrugge. Calibrating collective commitments. In: Proceedings of The 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, V.Marik, J.Mueller and M. Pechoucek (eds.), LNAI 2691, 2003, pp. 73-83.
     
  • B. Dunin-Kęplicz, R. Verbrugge. A tuning machine for collective commitments. In: Proceedings of The First International Workshop on Formal Approaches to Multi-Agent Systems, FAMAS'03, B.Dunin-Kęplicz and R.Verbrugge (eds.), Warsaw, 2003, pp. 99-116.
     
  • B. Dunin-Kęplicz, R. Verbrugge. Dialogue in teamwork. In: Enhanced Interoperable Systems, Proc. of The 10th ISPE International Conference on Concurrent Engineering: Research and Applications, R. Jardim-Goncalves, J.Cha and A.Steiger-Garcao (eds.), A.A. BALKEMA PUBLISHERS, Madeira, Portugal, 2003, pp. 121-128.
     
  • B. Dunin-Kęplicz, R. Verbrugge. Dynamics of collective motivational attitudes during teamwork. Accepted for ESAW03, 2003.
     
  • B. Dunin-Kęplicz and R. Verbrugge, Dynamics of collective motivational attitudes during teamwork. In: A. Omicini, P. Petta and J. Pitt (eds.), Proceedings of the Fourth International Workshop Engineering Societies in the Agents World, (ESAW 2003), Imperial College, London, 2003, pp. 49-56.
     
  • B. Dunin-Kęplicz, R. Verbrugge. Collective intentions. In: Fundamenta Informaticae, vol.51, nr 3, IOS Press, 2002, pp. 271-295.
     
  • B. Dunin-Kęplicz, R. Verbrugge. Evolution of collective commitments during reconfiguration. In: Proceedings of The First International Joint Conference on Autonomous Agents and Multiagent Systems AAMAS'02, C. Castelfranchi and L. Johnson (eds.), ACM Press, Bologna, 2002, pp. 1141-1143.
     
  • B. Dunin-Kęplicz. Conference Report: CEEMAS 2001. In: AgentLink News, issue 11, 2002, p. 17.
     
  • F. Dignum, B. Dunin-Kęplicz, L. C. Verbrugge. Agent theory for team formation by dialogue. In: C. Castelfranchi and Y. Lesperance (eds.) Intelligent Agents VII: Agent Theories, Architectures and Languages. LNCS 1986, Springer Verlag, 2001, pp. 150-166.
     
  • B. Dunin-Kęplicz, R. Verbrugge. The role of dialogue in Cooperative Problem Solving. In: Proceedings of Commonsense'2001, Fifth International Symposium on Logical Formalization of Commonsense Reasoning, NY, 2001, pp. 89-104.
     
  • B. Dunin-Kęplicz, R. Verbrugge. Collective intention constitutes the group. In: Y. Demazeau (eds.) Proceedings of MAAMAW'01, Annecy, 2001.
     
  • F. Dignum, B. Dunin-Kęplicz, R. Verbrugge. Creating collective intention through dialogue. In: J. Cunningham, D. Gabbay (eds.), Proceedings of International Conference on Formal and Applied Practical Reasoning, FAPR'2000, London, Imperial College, 2000, pp. 145--158.
     
  • F. Dignum, B. Dunin-Kęplicz, R. Verbrugge, Dialogue in Team Formation. In: F.Dignum, M. Greaves (eds.), Issues in Agent Communication, LNAI 1916, pp. 264--280, 2000.
     
  • B. Dunin-Kęplicz and R. Verbrugge, The role of dialogue in Cooperative Problem Solving. In: Autonomous Agents 2000 Workshop on Intelligent Agents for Computer Supported Co-operative Work: Technology and Risks, Barcelona, 2000, pp. 1-16.
     
  • B. Dunin-Kęplicz, A. Radzikowska, Nondeterministic Actions with Typical Effects: Reasoning about Scenarios. In: Formal Models of Agents, J-J. Ch. Meyer, P-Y. Schobbens (eds.), LNAI 1760, pp. 143-156, 1999.
     
  • F.M.T. Brazier, B. Dunin-Kęplicz, J. Treur and R. Verbrugge, Modelling internal dynamic behaviour of BDI agents. In: J.-J. Ch. Meyer and P.-Y. Schobbens (eds.), Formal Models of Agents, Lecture Notes in Computer Science vol. 1760, Springer Verlag, Berlin, 1999, pp. 36-56.
     
  • F. Brazier, B. Dunin-Kęplicz, J. Treur and R. Verbrugge, Modelling Internal Dynamic Behaviour of BDI Agents. In: Formal Models of Agents, J-J. Ch. Meyer, P-Y. Schobbens (eds.), LNAI 1760, pp. 36-56, 1999.
     
  • B. Dunin-Kęplicz, R. Verbrugge, Collective Motivational Attitudes in Cooperative Problem Solving. In: V. Gorodetsky (ed.), Proceedings of the 1st International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'99, St. Petersburg, 1999, pp. 22--41 (invited lecture).
     
  • B. Dunin-Kęplicz, R. Verbrugge, Collective decision making in BDI-systems. In: S.H. Zanakis et al. (eds.), Proceedings of the Fifth International Conference of the Decision Sciences Institute, Athens, 1999.
     
  • B. Dunin-Kęplicz, R. Verbrugge, A Reconfiguration Algorithm for the Maintenance of Collective Commitments. In: Proceedings of Third International Conference on Multi-Agent Systems, ICMAS'98, IEEE Computer Society Press, Paris, 1998, pp. 421--423.
     
  • B. Dunin-Kęplicz, R. Verbrugge, A Methodology for Maintaining Collective Motivational Attitudes during Teamwork. In: F. Garijo, Ch. Lemaitre (eds.), Multi Agent Systems Models Architectures and Applications, Proc. of II Iberoamerican Workshop on DAI and MAS, Toledo, 1998, pp. 45-60. Also in: H. La Poutre and J. van den Herik (eds.), Proceedings of the Tenth Netherlands/Belgium Conference on Artificial Intelligence, NAIC'98, Amsterdam, 1998, pp. 239--248.
     
  • B. Dunin-Kęplicz, R. Verbrugge, Evolution of teams in collective problem solving. In: K. Cetnarowicz (ed.), PERVS'98 - Problems of Evolution in Real and Virtual Systems, Proceedings of First International Conference on Philosophy and Computer Science, Cracow, 1998, pp I/18-I/25.
     
  • B. Dunin-Kęplicz en R. Verbrugge, A reconfiguration algorithm for the maintenance of collective commitments (extended abstract). In: Y. Demazeau (ed.), Proceedings of the Third International Conference on Multi-Agent Systems ICMAS'98, IEEE Press, Los Alamitos (CA), 1998, extended abstract, pp. 421-423.
     
  • F.M.T. Brazier, B. Dunin-Kęplicz, J. Treur en R. Verbrugge, Beliefs, intentions and DESIRE. In: Proceedings of the Tenth Knowledge Acquisition Workshop KAW'96, Banff (Canada), 1996.
     
  • B. Dunin-Kęplicz, Formal treatment of referential relations. In: Proceedings of Discourse Anaphora and Anaphor Resolution Colloquium, DAARC'96, Lancaster, 1996.
     
  • B. Dunin-Kęplicz, R. Verbrugge, Collective Commitments. In: M. Tokoro (ed) Proceedings of Second International Conference on Multi-Agent Systems, ICMAS'96, IEEE Computer Society Press, Menlo Park (CA), 1996, pp. 56--63.
     
  • B. Dunin-Kęplicz, J. Treur, Compositional Formal Specification on Multi-Agent Systems. In: M. Wooldridge, N. Jennings (eds.), Agent Theories, Architectures and Languages, ATAL'1995, LNAI 890, Amsterdam, 1995, pp. 102--117.
     
  • B. Dunin-Kęplicz, J. Treur, Modelling Reasoning and Acting Agents. In: B.R. Gaines and M. Musen (eds.) Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95, University of Calgary, 1995, pp. 22-1 -- 22-20.
     
  • B. Dunin-Kęplicz, A. Radzikowska, Epistemic Approach to Actions with Typical Effects. In: Ch. Froidevaux, J. Kohlas (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty,  Proceedings of ECSQARU'95, LNAI 946, Fribourg, 1995, pp. 180--189.
     
  • B. Dunin-Kęplicz, A. Radzikowska, Actions with Typical Effects: Epistemic Characterization of Scenarios. In Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95, IEEE Computer Society Press, San Francisco, 1995, pp. 445.
     
  • F. Brazier, B. Dunin-Kęplicz, N. Jennings and J. Treur, Formal Specification of Multi-Agent Systems: a Real-World Case. In: Proceedings of First International Conference on Multi-Agent Systems, ICMAS'95, IEEE Computer Society Press, San Francisco, 1995, pp. 25--32.
     
  • B. Dunin-Kęplicz, A. Radzikowska, Modelling Nondeterministic Actions with Typical Effects. In: Proceedings of First International Workshop on Decentralized Intelligent Multi-Agent Systems, DIMAS'95, Cracow, 1995, pp. 158--166.
     
  • B. Dunin-Kęplicz: An Architecture with Multiple Meta-Levels for the Development of Correct Programs. In: Proceedings of Fourth International Workshop on Meta Programming in Logic, LNCS 883, Pisa, 1995, pp. 293--310.
     
  • B. Dunin-Kęplicz and J. Treur, Formal Modelling in Multi-Agent Domains. In: L.Steels, G.Schreiber, W. van der Velde (eds.), Position papers of the 8th European Knowledge Acquisition Workshop, EKAW-94 Technical Report 94-2, Vrije Universiteit Brussel, AI Lab, 1994.
     
  • B. Dunin-Kęplicz, J. Jabłonowski, W. Łukaszewicz, E. Madalińska-Bugaj, CAProDel: A System for Computer Aided Program Development. In: Proceedings of the Sixth International Conference on Software Engineering and Knowledge Engineering, SEKE-94, Jurmala, Lotwa, 1994, pp. 470--477.
     
  • B. Dunin-Kęplicz, J. Jabłonowski, W. Łukaszewicz, E. Madalińska-Bugaj, Developing Programs from Specifications: Design of the System. In: Proceedings of III International Conference on Information System Developers Workbench, Sopot, 1992, pp. 145--168.
     
  • B. Dunin-Kęplicz, Syntactic method of resolving some class of pronoun anaphora in Polish. PhD thesis (in Polish), Jagiellonian University, Cracow, 1990, pp. 1-150.
     
  • B. Dunin-Kęplicz, Partial reconstruction of coreferential structure of discourse. In: Proceedings of 8th European Conference on Artificial Intelligence, ECAI-88, Munich, Germany, 1988, pp. 732-737.
     
  • B. Dunin-Kęplicz, W. Łukaszewicz, Towards discourse-oriented non-monotonic system. In:  Proceedings of 11th International Conference on Computational Linguistics, COLING-86, Bonn, Germany, 1986, pp. 504-506.
     
  • B. Dunin-Kęplicz, How to restrict ambiguity of discourse. In: Proceedings of 2nd Conference of the European Chapter of ACL, E-ACL'85, Geneva, Switzerland, 1985, pp. 93-97.
     
  • B. Dunin-Kęplicz, Default reasoning in anaphora resolution. In: Proceedings of 6th European Conference on Artificial Intelligence, ECAI'84, Pisa, Italy, 1984, pp. 157-166.
     
  • B. Dunin-Kęplicz, Towards better understanding of anaphora. In: Proceedings of 1st Conference of the European Chapter of ACL, E-ACL'83, Pisa, Italy, 1983, pp. 139-143.
     

top