Barbara Dunin-Keplicz

82 papers A* 1A 8B 7C 6Misc 4Journal 21Unranked 29

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Teamwork in Adversarial Video Games. EMAS Barbara Dunin-Keplicz, Rafal Tyl
2024	J	`jnl`	Modeling and shadowing paraconsistent BDI agents. Ann. Math. Artif. Intell. Barbara Dunin-Keplicz, Andrzej Szalas
2021	B	`conf`	An Agent-Based Covid-19 Simulator: Extending Covasim to the Polish Context. KES Rafal Latkowski, Barbara Dunin-Keplicz
2020	B	`conf`	A Framework for Organization-Centered Doxastic Reasoning. KES Barbara Dunin-Keplicz, Andrzej Szalas
2020	J	`jnl`	BASTA: BDI-based architecture of simulated traffic agents. J. Inf. Telecommun. Inga Rüb, Barbara Dunin-Keplicz
2020	—	`conf`	Shadowing in Many-Valued Nested Structures. ISMVL Barbara Dunin-Keplicz, Andrzej Szalas
2019	J	`jnl`	A paraconsistent approach to actions in informationally complex environments. Ann. Math. Artif. Intell. Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
2019	—	`conf`	BDI Model of Connected and Autonomous Vehicles. ICCCI (2) Inga Rüb, Barbara Dunin-Keplicz
2019	B	`conf`	Doxastic Group Reasoning via Multiple Belief Shadowing. PRIMA Barbara Dunin-Keplicz, Inga Rüb, Andrzej Szalas
2018	—	`conf`	Belief Shadowing. EMAS@AAMAS Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
2018	J	`jnl`	Multi-Party Persuasion: a Paraconsistent Approach. Fundam. Informaticae Barbara Dunin-Keplicz, Alina Powala
2017	—	`conf`	Heterogeneous Approximate Reasoning with Graded Truth Values. IJCRS (1) Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Barbara Dunin-Keplicz, Andrzej Szalas
2017	C	`conf`	Rule-Based Reasoning with Belief Structures. ISMIS Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
2017	Misc	`conf`	Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments. IDC Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
2016	J	`jnl`	Paraconsistent argumentation schemes. Web Intell. Barbara Dunin-Keplicz, Alina Strachocka
2015	B	`conf`	Paraconsistent Multi-party Persuasion in TalkLOG. PRIMA Barbara Dunin-Keplicz, Alina Strachocka
2015	J	`jnl`	Paraconsistent semantics of speech acts. Neurocomputing Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge
2015	A*	`conf`	Tractable Inquiry in Information-Rich Environments. IJCAI Barbara Dunin-Keplicz, Alina Strachocka
2014	—	`conf`	Computationally-Friendly Argumentation Schemes. WI-IAT (3) Barbara Dunin-Keplicz, Alina Strachocka
2014	—	`conf`	Indeterministic Belief Structures. KES-AMSTA Barbara Dunin-Keplicz, Andrzej Szalas
2014	—	`conf`	Tractable Reasoning about Group Beliefs. EMAS@AAMAS Barbara Dunin-Keplicz, Andrzej Szalas, Rineke Verbrugge
2013	B	`conf`	Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. ICCCI Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2013	J	`jnl`	Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. Log. J. IGPL Barbara Dunin-Keplicz, Rineke Verbrugge
2013	J	`jnl`	Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. Log. J. IGPL Barbara Dunin-Keplicz, Rineke Verbrugge
2013	—	`conf`	Perceiving Rules under Incomplete and Inconsistent Information. CLIMA Barbara Dunin-Keplicz, Alina Strachocka
2013	—	`conf`	Perceiving Speech Acts under Incomplete and Inconsistent Information. KES-AMSTA Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge
2013	J	`jnl`	Taming Complex Beliefs. Trans. Comput. Collect. Intell. Barbara Dunin-Keplicz, Andrzej Szalas
2012	—	`ch.`	A Logical View on Teamwork. Games, Actions and Social Software Barbara Dunin-Keplicz, Rineke Verbrugge
2012	—	`ch.`	Agents in Approximate Environments. Games, Actions and Social Software Barbara Dunin-Keplicz, Andrzej Szalas
2012	Misc	`conf`	Distributed Paraconsistent Belief Fusion. IDC Barbara Dunin-Keplicz, Andrzej Szalas
2012	—	`conf`	Epistemic Profiles and Belief Structures. KES-AMSTA Barbara Dunin-Keplicz, Andrzej Szalas
2011	J	`jnl`	Converse-PDL with regular inclusion axioms: a framework for MAS logics. J. Appl. Non Class. Logics Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2011	C	`conf`	Deliberation Dialogues during Multi-agent Planning. ISMIS Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge
2011	—	`conf`	Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge
2011	A	`conf`	Tractable model checking for fragments of higher-order coalition logic. AAMAS Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas
2010	J	`jnl`	A Framework for Graded Beliefs, Goals and Intentions. Fundam. Informaticae Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2010	J	`jnl`	A layered rule-based architecture for approximate knowledge fusion? Comput. Sci. Inf. Syst. Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2010	J	`jnl`	TEAMLOG in action: A case study in teamwork. Comput. Sci. Inf. Syst. Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak
2010	—	`book`	Teamwork in Multi-Agent Systems - A Formal Approach. Barbara Dunin-Keplicz, Rineke Verbrugge
2010	J	`jnl`	Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reason. Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2009	Misc	`conf`	Case-Study for TeamLog, a Theory of Teamwork. IDC Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak
2009	J	`jnl`	Formal approaches to multi-agent sysems. Auton. Agents Multi Agent Syst. Rineke Verbrugge, Barbara Dunin-Keplicz
2009	Misc	`conf`	Fusing Approximate Knowledge from Distributed Sources. IDC Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2009	—	`conf`	Introductory Essay of FAMAS'09. MALLOW Barbara Dunin-Keplicz, Rineke Verbrugge
2009	—	`ed.`	Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 MALLOW 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
2007	J	`jnl`	Complexity Issues in Multiagent Logics. Fundam. Informaticae Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz
2007	—	`conf`	Dynamics of Approximate Information Fusion. RSEISP Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas
2007	A	`conf`	Reducing the complexity of logics for multiagent systems. AAMAS Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz
2007	—	`conf`	Towards Approximate BGI Systems. CEEMAS Barbara Dunin-Keplicz, Andrzej Szalas
2006	A	`conf`	Awareness as a vital ingredient of teamwork. AAMAS Barbara Dunin-Keplicz, Rineke Verbrugge
2006	C	`ed.`	Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006 EUMAS Barbara Dunin-Keplicz, Andrea Omicini, Julian A. Padget
2005	—	`conf`	Complexity of a theory of collective attitudes in teamwork. IAT Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz
2005	—	`ed.`	Monitoring, Security, and Rescue Techniques in Multiagent Systems, MSRAS 2004, Plock, Poland, June 7-9, 2004 MSRAS Barbara Dunin-Keplicz, Andrzej Jankowski, Andrzej Skowron, Marcin S. Szczuka
2004	J	`jnl`	A Tuning Machine for Cooperative Problem Solving. Fundam. Informaticae Barbara Dunin-Keplicz, Rineke Verbrugge
2004	—	`conf`	Collectively Cognitive Agents in Cooperative Teams. ESAW Jacek Brzezinski, Piotr Dunin-Keplicz, Barbara Dunin-Keplicz
2004	—	`conf`	Creating Common Beliefs in Rescue Situations. MSRAS Barbara Dunin-Keplicz, Rineke Verbrugge
2003	—	`conf`	Calibrating Collective Commitments. CEEMAS Barbara Dunin-Keplicz, Rineke Verbrugge
2003	—	`conf`	Dialogue in teamwork. CE Barbara Dunin-Keplicz, Rineke Verbrugge
2003	—	`conf`	Dynamics of Collective Attitudes during Teamwork. ESAW Barbara Dunin-Keplicz, Rineke Verbrugge
2003	J	`jnl`	Evolution of Collective Commitment during Teamwork. Fundam. Informaticae Barbara Dunin-Keplicz, Rineke Verbrugge
2002	J	`jnl`	Collective Intentions. Fundam. Informaticae Barbara Dunin-Keplicz, Rineke Verbrugge
2002	A	`conf`	Evolution of collective commitment during reconfiguration. AAMAS Barbara Dunin-Keplicz, Rineke Verbrugge
2002	—	`ed.`	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 CEEMAS Barbara Dunin-Keplicz, Edward Nawarecki
2001	J	`jnl`	Creating Collective Intention through Dialogue. Log. J. IGPL Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge
2000	—	`conf`	Agent Theory for Team Formation by Dialogue. ATAL Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge
2000	—	`conf`	Dialogue in Team Formation. Issues in Agent Communication Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge
1999	—	`conf`	Collective Motivational Attitudes in Cooperative Problem Solving. CEEMAS Barbara Dunin-Keplicz, Rineke Verbrugge
1998	—	`conf`	A Reconfiguration Algorithm for the Maintenance of Collective Commitments. ICMAS Barbara Dunin-Keplicz, Rineke Verbrugge
1997	J	`jnl`	DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. Int. J. Cooperative Inf. Syst. Frances M. T. Brazier, Barbara Dunin-Keplicz, Nicholas R. Jennings, Jan Treur
1997	—	`conf`	Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge
1997	—	`conf`	Nondeterministic Actions with Typical Effects: Reasoning about Scenarios. ModelAge Workshop Barbara Dunin-Keplicz, Anna Radzikowska
1995	—	`conf`	Actions with Typical Effects: Epistemic Characterization of Scenarios. ICMAS Barbara Dunin-Keplicz, Anna Radzikowska
1995	C	`conf`	Epistemic Approach to Actions with Typical Effects. ECSQARU Barbara Dunin-Keplicz, Anna Radzikowska
1995	—	`conf`	Formal Specification of Multi-Agent Systems: A Real-World Case. ICMAS Frances M. T. Brazier, Barbara Dunin-Keplicz, Nick R. Jennings, Jan Treur
1994	C	`conf`	An Architecture with Multiple Meta-Levels for the Development of Correct Programs. META Barbara Dunin-Keplicz
1994	C	`conf`	CAProDel: a system for computer aided program development. SEKE Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1994	—	`conf`	Compositional Formal Specification of Multi-Agent Systems. ECAI Workshop on Agent Theories, Architectures, and Languages Barbara Dunin-Keplicz, Jan Treur
1988	A	`conf`	Partial Reconstruction of Coreferential Structure of Discourse. ECAI Barbara Dunin-Keplicz
1986	B	`conf`	Towards Discourse-Oriented Nonmonotonic System. COLING Barbara Dunin-Keplicz, Witold Lukaszewicz
1985	A	`conf`	How To Restrict Ambiguity Of Discourse. EACL Barbara Dunin-Keplicz
1984	A	`conf`	Default Reasoning in Anaphora Resolution. ECAI Barbara Dunin-Keplicz
1983	A	`conf`	Towards Better Understanding Of Anaphora. EACL Barbara Dunin-Keplicz