Barbara Dunin-Keplicz

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 17

Top Topics

Argumentation Schemes

Top Venues

Ann. Math. Artif. Intell.

Publications

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