Barbara Dunin-Keplicz

Barbara Dunin-Keplicz, Andrzej Szalas: Epistemic Profiles and Belief Structures. KES-AMSTA 2012: 360-369

Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Converse-PDL with regular inclusion axioms: a framework for MAS logics. Journal of Applied Non-Classical Logics 21(1): 61-91 (2011)

Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge: Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011

Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Tractable model checking for fragments of higher-order coalition logic. AAMAS 2011: 743-750

Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge: Deliberation Dialogues during Multi-agent Planning. ISMIS 2011: 170-181

Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak: TEAMLOG in action: A case study in teamwork. Comput. Sci. Inf. Syst. 7(3): 569-595 (2010)

Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: A layered rule-based architecture for approximate knowledge fusion? Comput. Sci. Inf. Syst. 7(3): 617-642 (2010)

Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: A Framework for Graded Beliefs, Goals and Intentions. Fundam. Inform. 100(1-4): 53-76 (2010)

Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reasoning 51(3): 346-362 (2010)

Rineke Verbrugge, Barbara Dunin-Keplicz: Formal approaches to multi-agent sysems. Autonomous Agents and Multi-Agent Systems 19(1): 1-3 (2009)

Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Fusing Approximate Knowledge from Distributed Sources. IDC 2009: 75-86

Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak: Case-Study for TeamLog, a Theory of Teamwork. IDC 2009: 87-100

Barbara Dunin-Keplicz, Rineke Verbrugge: Introductory Essay of FAMAS'09. MALLOW 2009

Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge (Eds.): Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009

Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity Issues in Multiagent Logics. Fundam. Inform. 75(1-4): 239-262 (2007)

Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168

Barbara Dunin-Keplicz, Andrzej Szalas: Towards Approximate BGI Systems. CEEMAS 2007: 277-287

Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Dynamics of Approximate Information Fusion. RSEISP 2007: 668-677

Barbara Dunin-Keplicz, Rineke Verbrugge: Awareness as a vital ingredient of teamwork. AAMAS 2006: 1017-1024

Barbara Dunin-Keplicz, Andrea Omicini, Julian A. Padget (Eds.): Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006. CEUR Workshop Proceedings 223, CEUR-WS.org 2006

Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586

Barbara Dunin-Keplicz, Rineke Verbrugge: A Tuning Machine for Cooperative Problem Solving. Fundam. Inform. 63(2-3): 283-307 (2004)

Jacek Brzezinski, Piotr Dunin-Keplicz, Barbara Dunin-Keplicz: Collectively Cognitive Agents in Cooperative Teams. ESAW 2004: 191-208

Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of Collective Commitment during Teamwork. Fundam. Inform. 56(4): 329-371 (2003)

Barbara Dunin-Keplicz, Rineke Verbrugge: Calibrating Collective Commitments. CEEMAS 2003: 73-83

Barbara Dunin-Keplicz, Rineke Verbrugge: Dynamics of Collective Attitudes during Teamwork. ESAW 2003: 107-122

Barbara Dunin-Keplicz, Rineke Verbrugge: Dialogue in teamwork. ISPE CE 2003: 121-128

Barbara Dunin-Keplicz, Rineke Verbrugge: Collective Intentions. Fundam. Inform. 51(3): 271-295 (2002)

Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of collective commitment during reconfiguration. AAMAS 2002: 1141-1142

Barbara Dunin-Keplicz, Edward Nawarecki (Eds.): 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. Lecture Notes in Computer Science 2296, Springer 2002, isbn 3-540-43370-8

Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Creating Collective Intention through Dialogue. Logic Journal of the IGPL 9(2): 289-304 (2001)

Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Dialogue in Team Formation. Issues in Agent Communication 2000: 264-280

Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Agent Theory for Team Formation by Dialogue. ATAL 2000: 150-166

Barbara Dunin-Keplicz, Rineke Verbrugge: Collective Motivational Attitudes in Cooperative Problem Solving. CEEMAS 1999

Barbara Dunin-Keplicz, Rineke Verbrugge: A Reconfiguration Algorithm for the Maintenance of Collective Commitments. ICMAS 1998: 421-422

Frances M. T. Brazier, Barbara Dunin-Keplicz, Nicholas R. Jennings, Jan Treur: DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. Int. J. Cooperative Inf. Syst. 6(1): 67-94 (1997)

Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge: Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop 1997: 36-56

Barbara Dunin-Keplicz, Anna Radzikowska: Nondeterministic Actions with Typical Effects: Reasoning about Scenarios. ModelAge Workshop 1997: 143-156

Barbara Dunin-Keplicz, Anna Radzikowska: Epistemic Approach to Actions with Typical Effects. ECSQARU 1995: 180-188

Frances M. T. Brazier, Barbara Dunin-Keplicz, Nick R. Jennings, Jan Treur: Formal Specification of Multi-Agent Systems: A Real-World Case. ICMAS 1995: 25-32

Barbara Dunin-Keplicz, Anna Radzikowska: Actions with Typical Effects: Epistemic Characterization of Scenarios. ICMAS 1995: 445

Barbara Dunin-Keplicz, Jan Treur: Compositional Formal Specification of Multi-Agent Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 102-117

Barbara Dunin-Keplicz: An Architecture with Multiple Meta-Levels for the Development of Correct Programs. META 1994: 293-310

Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj: CAProDel: a system for computer aided program development. SEKE 1994: 470-477

Barbara Dunin-Keplicz: Partial Reconstruction of Coreferential Structure of Discourse. ECAI 1988: 732-737

Barbara Dunin-Keplicz, Witold Lukaszewicz: Towards Discourse-Oriented Nonmonotonic System. COLING 1986: 504-506

Barbara Dunin-Keplicz: How To Restrict Ambiguity Of Discourse. EACL 1985: 93-97

Barbara Dunin-Keplicz: Default Reasoning in Anaphora Resolution. ECAI 1984: 315-324

Barbara Dunin-Keplicz: Towards Better Understanding Of Anaphora. EACL 1983: 139-143