4 found
Order:
Disambiguations
B. Dunin-Keplicz [3]Barbara Dunin-Kęplicz [2]
  1.  38
    Introduction: Formal Approaches to Multi-Agent Systems: Special Issue of Best Papers of FAMAS 2009.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):404-406.
    This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. This time (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2.  2
    Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics.Barbara Dunin-Kęplicz, Linh Anh Nguyen & Andrzej Szalas - 2011 - Journal of Applied Non-Classical Logics 21 (1):61-91.
  3.  10
    Introduction: Formal Approaches to Multi-Agent Systems: Special Issue of Best Papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
    Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to cooperation, multi-agent planning, communication, (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  19
    The Polish School of Argumentation: A Manifesto.Katarzyna Budzynska, Michal Araszkiewicz, Barbara Bogołȩbska, Piotr Cap, Tadeusz Ciecierski, Kamila Debowska-Kozlowska, Barbara Dunin-Kȩplicz, Marcin Dziubiński, Michał Federowicz, Anna Gomolińska, Andrzej Grabowski, Teresa Hołówka, Łukasz Jochemczyk, Magdalena Kacprzak, Paweł Kawalec, Maciej Kielar, Andrzej Kisielewicz, Marcin Koszowy, Robert Kublikowski, Piotr Kulicki, Anna Kuzio, Piotr Lewiński, Jakub Z. Lichański, Jacek Malinowski, Witold Marciszewski, Edward Nieznański, Janina Pietrzak, Jerzy Pogonowski, Tomasz A. Puczyłowski, Jolanta Rytel, Anna Sawicka, Marcin Selinger, Andrzej Skowron, Joanna Skulska, Marek Smolak, Małgorzata Sokół, Agnieszka Sowińska, Piotr Stalmaszczyk, Tomasz Stawecki, Jarosław Stepaniuk, Alina Strachocka, Wojciech Suchoń, Krzysztof Szymanek, Justyna Tomczyk, Robert Trypuz, Kazimierz Trzȩsicki, Mariusz Urbański, Ewa Wasilewska-Kamińska, Krzysztof A. Wieczorek, Maciej Witek, Urszula Wybraniec-Skardowska, Olena Yaskorska, Maria Załȩska, Konrad Zdanowski & Żure - 2014 - Argumentation 28 (3):267-282.
    Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography