Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBarbara Dunin-Keplicz
Person information
- affiliation: University of Warsaw, Institute of Informatics, Poland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 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
Journal Articles
- 2020
- [j20]Inga Rüb, Barbara Dunin-Keplicz:
BASTA: BDI-based architecture of simulated traffic agents. J. Inf. Telecommun. 4(4): 440-460 (2020) - 2019
- [j19]Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
:
A paraconsistent approach to actions in informationally complex environments. Ann. Math. Artif. Intell. 86(4): 231-255 (2019) - 2018
- [j18]Barbara Dunin-Keplicz, Alina Powala:
Multi-Party Persuasion: a Paraconsistent Approach. Fundam. Informaticae 158(1-3): 1-39 (2018) - 2016
- [j17]Barbara Dunin-Keplicz, Alina Strachocka:
Paraconsistent argumentation schemes. Web Intell. 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) - 2013
- [j15]Barbara Dunin-Keplicz, Rineke Verbrugge:
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. Log. J. 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. Log. J. IGPL 21(3): 404-406 (2013) - [j13]Barbara Dunin-Keplicz, Andrzej Szalas:
Taming Complex Beliefs. Trans. Comput. Collect. Intell. 11: 1-21 (2013) - 2011
- [j12]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Converse-PDL with regular inclusion axioms: a framework for MAS logics. J. Appl. Non Class. Logics 21(1): 61-91 (2011) - 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. Informaticae 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. Reason. 51(3): 346-362 (2010) - 2009
- [j7]Rineke Verbrugge, Barbara Dunin-Keplicz:
Formal approaches to multi-agent sysems. Auton. Agents Multi Agent Syst. 19(1): 1-3 (2009) - 2007
- [j6]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Complexity Issues in Multiagent Logics. Fundam. Informaticae 75(1-4): 239-262 (2007) - 2004
- [j5]Barbara Dunin-Keplicz, Rineke Verbrugge:
A Tuning Machine for Cooperative Problem Solving. Fundam. Informaticae 63(2-3): 283-307 (2004) - 2003
- [j4]Barbara Dunin-Keplicz, Rineke Verbrugge:
Evolution of Collective Commitment during Teamwork. Fundam. Informaticae 56(4): 329-371 (2003) - 2002
- [j3]Barbara Dunin-Keplicz, Rineke Verbrugge:
Collective Intentions. Fundam. Informaticae 51(3): 271-295 (2002) - 2001
- [j2]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge:
Creating Collective Intention through Dialogue. Log. J. IGPL 9(2): 289-304 (2001) - 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)
Conference and Workshop Papers
- 2021
- [c53]Rafal Latkowski, Barbara Dunin-Keplicz:
An Agent-Based Covid-19 Simulator: Extending Covasim to the Polish Context. KES 2021: 3607-3616 - 2020
- [c52]Barbara Dunin-Keplicz, Andrzej Szalas:
Shadowing in Many-Valued Nested Structures. ISMVL 2020: 230-236 - [c51]Barbara Dunin-Keplicz, Andrzej Szalas:
A Framework for Organization-Centered Doxastic Reasoning. KES 2020: 3019-3028 - 2019
- [c50]Inga Rüb, Barbara Dunin-Keplicz:
BDI Model of Connected and Autonomous Vehicles. ICCCI (2) 2019: 181-195 - [c49]Barbara Dunin-Keplicz, Inga Rüb, Andrzej Szalas:
Doxastic Group Reasoning via Multiple Belief Shadowing. PRIMA 2019: 271-288 - 2018
- [c48]Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas:
Belief Shadowing. EMAS@AAMAS 2018: 158-180 - 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 - 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]Barbara Dunin-Keplicz, Andrzej Szalas:
Indeterministic Belief Structures. KES-AMSTA 2014: 57-66 - [c40]Barbara Dunin-Keplicz, Alina Strachocka:
Computationally-Friendly Argumentation Schemes. WI-IAT (3) 2014: 167-174 - 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]Barbara Dunin-Keplicz, Andrzej Szalas:
Distributed Paraconsistent Belief Fusion. IDC 2012: 59-69 - [c35]Barbara Dunin-Keplicz, Andrzej Szalas:
Epistemic Profiles and Belief Structures. KES-AMSTA 2012: 360-369 - 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 - 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]Barbara Dunin-Keplicz, Rineke Verbrugge:
Introductory Essay of FAMAS'09. MALLOW 2009 - 2007
- [c28]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168 - [c27]Barbara Dunin-Keplicz, Andrzej Szalas:
Towards Approximate BGI Systems. CEEMAS 2007: 277-287 - [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 - 2005
- [c24]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz:
Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586 - 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
- [c21]Barbara Dunin-Keplicz, Rineke Verbrugge:
Calibrating Collective Commitments. CEEMAS 2003: 73-83 - [c20]Barbara Dunin-Keplicz, Rineke Verbrugge:
Dynamics of Collective Attitudes during Teamwork. ESAW 2003: 107-122 - [c19]Barbara Dunin-Keplicz, Rineke Verbrugge:
Dialogue in teamwork. CE 2003: 121-128 - 2002
- [c18]Barbara Dunin-Keplicz, Rineke Verbrugge:
Evolution of collective commitment during reconfiguration. AAMAS 2002: 1141-1142 - 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 - 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
- [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 - 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]Barbara Dunin-Keplicz:
How To Restrict Ambiguity Of Discourse. EACL 1985: 93-97 - 1984
- [c2]Barbara Dunin-Keplicz:
Default Reasoning in Anaphora Resolution. ECAI 1984: 315-324 - 1983
- [c1]Barbara Dunin-Keplicz:
Towards Better Understanding Of Anaphora. EACL 1983: 139-143
Parts in Books or Collections
- 2012
- [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
Editorship
- 2009
- [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] - 2006
- [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
- [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] - 2002
- [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]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-06 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
