Barbara Dunin-Keplicz
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j18]Barbara Dunin-Keplicz, Alina Powala:
Multi-Party Persuasion: a Paraconsistent Approach. Fundam. Inform. 158(1-3): 1-39 (2018) - 2017
- [c47]Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas:
Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments. IDC 2017: 49-60 - [c46]Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas:
Rule-Based Reasoning with Belief Structures. ISMIS 2017: 229-239 - [c45]Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Barbara Dunin-Keplicz, Andrzej Szalas:
Heterogeneous Approximate Reasoning with Graded Truth Values. IJCRS (1) 2017: 61-82 - 2016
- [j17]Barbara Dunin-Keplicz, Alina Strachocka:
Paraconsistent argumentation schemes. Web Intelligence 14(1): 43-65 (2016) - 2015
- [j16]Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge:
Paraconsistent semantics of speech acts. Neurocomputing 151: 943-952 (2015) - [c44]Barbara Dunin-Keplicz, Alina Strachocka:
Tractable Inquiry in Information-Rich Environments. IJCAI 2015: 53-60 - [c43]Barbara Dunin-Keplicz, Alina Strachocka:
Paraconsistent Multi-party Persuasion in TalkLOG. PRIMA 2015: 265-283 - 2014
- [c42]Barbara Dunin-Keplicz, Andrzej Szalas, Rineke Verbrugge:
Tractable Reasoning about Group Beliefs. EMAS@AAMAS 2014: 328-350 - [c41]
- [c40]Barbara Dunin-Keplicz, Alina Strachocka:
Computationally-Friendly Argumentation Schemes. WI-IAT (3) 2014: 167-174 - 2013
- [j15]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) - [j14]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) - [j13]Barbara Dunin-Keplicz, Andrzej Szalas:
Taming Complex Beliefs. Trans. Computational Collective Intelligence 11: 1-21 (2013) - [c39]Barbara Dunin-Keplicz, Alina Strachocka:
Perceiving Rules under Incomplete and Inconsistent Information. CLIMA 2013: 256-272 - [c38]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. ICCCI 2013: 143-153 - [c37]Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge:
Perceiving Speech Acts under Incomplete and Inconsistent Information. KES-AMSTA 2013: 255-264 - 2012
- [c36]
- [c35]Barbara Dunin-Keplicz, Andrzej Szalas:
Epistemic Profiles and Belief Structures. KES-AMSTA 2012: 360-369 - [p2]Barbara Dunin-Keplicz, Andrzej Szalas:
Agents in Approximate Environments. Games, Actions and Social Software 2012: 141-163 - [p1]Barbara Dunin-Keplicz, Rineke Verbrugge:
A Logical View on Teamwork. Games, Actions and Social Software 2012: 184-212 - 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) - [c34]Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge:
Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c33]Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas:
Tractable model checking for fragments of higher-order coalition logic. AAMAS 2011: 743-750 - [c32]Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge:
Deliberation Dialogues during Multi-agent Planning. ISMIS 2011: 170-181 - 2010
- [b1]Barbara Dunin-Keplicz, Rineke Verbrugge:
Teamwork in Multi-Agent Systems - A Formal Approach. Wiley series in agent technology, Wiley 2010, ISBN 978-0-470-69988-1, pp. I-XIX, 1-224 - [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) - [c31]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Fusing Approximate Knowledge from Distributed Sources. IDC 2009: 75-86 - [c30]Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak:
Case-Study for TeamLog, a Theory of Teamwork. IDC 2009: 87-100 - [c29]
- [e4]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:
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 [contents] - 2007
- [j6]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Complexity Issues in Multiagent Logics. Fundam. Inform. 75(1-4): 239-262 (2007) - [c28]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168 - [c27]
- [c26]Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas:
Dynamics of Approximate Information Fusion. RSEISP 2007: 668-677 - 2006
- [c25]Barbara Dunin-Keplicz, Rineke Verbrugge:
Awareness as a vital ingredient of teamwork. AAMAS 2006: 1017-1024 - [e3]Barbara Dunin-Keplicz, Andrea Omicini, Julian A. Padget:
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 [contents] - 2005
- [c24]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586 - [e2]Barbara Dunin-Keplicz, Andrzej Jankowski, Andrzej Skowron, Marcin S. Szczuka:
Monitoring, Security, and Rescue Techniques in Multiagent Systems, MSRAS 2004, Plock, Poland, June 7-9, 2004. Advances in Soft Computing 28, Springer 2005, ISBN 978-3-540-23245-2 [contents] - 2004
- [j5]Barbara Dunin-Keplicz, Rineke Verbrugge:
A Tuning Machine for Cooperative Problem Solving. Fundam. Inform. 63(2-3): 283-307 (2004) - [c23]Jacek Brzezinski, Piotr Dunin-Keplicz, Barbara Dunin-Keplicz:
Collectively Cognitive Agents in Cooperative Teams. ESAW 2004: 191-208 - [c22]Barbara Dunin-Keplicz, Rineke Verbrugge:
Creating Common Beliefs in Rescue Situations. MSRAS 2004: 69-84 - 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:
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 [contents] - 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
last updated on 2019-01-09 01:24 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint