Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Barbara Dunin-Keplicz
2010 – today
- 2013
[j14]Barbara Dunin-Keplicz, Rineke Verbrugge: Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. Logic Journal of the IGPL 21(3): 309-310 (2013)- [j13]Barbara Dunin-Keplicz, Rineke Verbrugge: Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. Logic Journal of the IGPL 21(3): 404-406 (2013)
- [c38]Barbara Dunin-Keplicz, Alina Strachocka: Perceiving Rules under Incomplete and Inconsistent Information. CLIMA 2013: 256-272
- [c37]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. ICCCI 2013: 143-153
- [c36]Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge: Perceiving Speech Acts under Incomplete and Inconsistent Information. KES-AMSTA 2013: 255-264
- 2012
- [c35]
- [c34]Barbara Dunin-Keplicz, Andrzej Szalas: Epistemic Profiles and Belief Structures. KES-AMSTA 2012: 360-369
- 2011
- [j12]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)
- [c33]Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge: Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
- [c32]Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Tractable model checking for fragments of higher-order coalition logic. AAMAS 2011: 743-750
- [c31]Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge: Deliberation Dialogues during Multi-agent Planning. ISMIS 2011: 170-181
- 2010
- [j11]Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak: TEAMLOG in action: A case study in teamwork. Comput. Sci. Inf. Syst. 7(3): 569-595 (2010)
- [j10]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)
- [j9]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: A Framework for Graded Beliefs, Goals and Intentions. Fundam. Inform. 100(1-4): 53-76 (2010)
- [j8]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)
2000 – 2009
- 2009
- [j7]Rineke Verbrugge, Barbara Dunin-Keplicz: Formal approaches to multi-agent sysems. Autonomous Agents and Multi-Agent Systems 19(1): 1-3 (2009)
- [c30]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Fusing Approximate Knowledge from Distributed Sources. IDC 2009: 75-86
- [c29]Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak: Case-Study for TeamLog, a Theory of Teamwork. IDC 2009: 87-100
- [c28]
- [e3]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
- 2007
- [j6]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity Issues in Multiagent Logics. Fundam. Inform. 75(1-4): 239-262 (2007)
- [c27]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168
- [c26]
- [c25]Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Dynamics of Approximate Information Fusion. RSEISP 2007: 668-677
- 2006
- [c24]Barbara Dunin-Keplicz, Rineke Verbrugge: Awareness as a vital ingredient of teamwork. AAMAS 2006: 1017-1024
- [e2]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
- 2005
- [c23]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586
- 2004
- [j5]Barbara Dunin-Keplicz, Rineke Verbrugge: A Tuning Machine for Cooperative Problem Solving. Fundam. Inform. 63(2-3): 283-307 (2004)
- [c22]Jacek Brzezinski, Piotr Dunin-Keplicz, Barbara Dunin-Keplicz: Collectively Cognitive Agents in Cooperative Teams. ESAW 2004: 191-208
- 2003
- [j4]Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of Collective Commitment during Teamwork. Fundam. Inform. 56(4): 329-371 (2003)
- [c21]
- [c20]Barbara Dunin-Keplicz, Rineke Verbrugge: Dynamics of Collective Attitudes during Teamwork. ESAW 2003: 107-122
- [c19]
- 2002
- [j3]Barbara Dunin-Keplicz, Rineke Verbrugge: Collective Intentions. Fundam. Inform. 51(3): 271-295 (2002)
- [c18]Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of collective commitment during reconfiguration. AAMAS 2002: 1141-1142
- [e1]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
- 2001
- [j2]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Creating Collective Intention through Dialogue. Logic Journal of the IGPL 9(2): 289-304 (2001)
- 2000
- [c17]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Dialogue in Team Formation. Issues in Agent Communication 2000: 264-280
- [c16]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Agent Theory for Team Formation by Dialogue. ATAL 2000: 150-166
1990 – 1999
- 1999
- [c15]Barbara Dunin-Keplicz, Rineke Verbrugge: Collective Motivational Attitudes in Cooperative Problem Solving. CEEMAS 1999
- 1998
- [c14]Barbara Dunin-Keplicz, Rineke Verbrugge: A Reconfiguration Algorithm for the Maintenance of Collective Commitments. ICMAS 1998: 421-422
- 1997
- [j1]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)
- [c13]Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge: Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop 1997: 36-56
- [c12]Barbara Dunin-Keplicz, Anna Radzikowska: Nondeterministic Actions with Typical Effects: Reasoning about Scenarios. ModelAge Workshop 1997: 143-156
- 1995
- [c11]Barbara Dunin-Keplicz, Anna Radzikowska: Epistemic Approach to Actions with Typical Effects. ECSQARU 1995: 180-188
- [c10]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
- [c9]Barbara Dunin-Keplicz, Anna Radzikowska: Actions with Typical Effects: Epistemic Characterization of Scenarios. ICMAS 1995: 445
- 1994
- [c8]Barbara Dunin-Keplicz, Jan Treur: Compositional Formal Specification of Multi-Agent Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 102-117
- [c7]Barbara Dunin-Keplicz: An Architecture with Multiple Meta-Levels for the Development of Correct Programs. META 1994: 293-310
- [c6]Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj: CAProDel: a system for computer aided program development. SEKE 1994: 470-477
1980 – 1989
- 1988
- [c5]Barbara Dunin-Keplicz: Partial Reconstruction of Coreferential Structure of Discourse. ECAI 1988: 732-737
- 1986
- [c4]Barbara Dunin-Keplicz, Witold Lukaszewicz: Towards Discourse-Oriented Nonmonotonic System. COLING 1986: 504-506
- 1985
- [c3]
- 1984
- [c2]
- 1983
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team