The Fourth ArgDiaP Conference

“Argumentation and Artificial Intelligence” (the Polish edition)

19 December 2009
Warsaw, ul. Koszykowa 86, room 337
Polish-Japanese Institute of Information Technology


After the successful edition at Cardinal Stefan Wyszynski University (2008/09), ArgDiaP 2009/10 is held at Polish-Japanese Institute of Information Technology in Warsaw. The hosts of the meetings are: Magdalena Kacprzak (contact: kacprzak (at) and Paweł Rembelski.
This meeting of the series ArgDiaP is devoted to the methodology used in argumentation studies in computer science. A special attention is drawn to those aspects of argumentation which are important in Artificial Intelligence. In particular, among many mathematical, logical and linguistic tools used for computational models of arguments, we should distinguish: game theory, processing of natural language, corpus analysis or engineering ontology.
Connections between Theory of Argumentation (TA) and Artificial Intelligence (AI) are very strong. On the one hand, AI affected development of TA by providing formal tools for analysis, evaluation and visualization of arguments. On the other hand, models of TA influenced AI in the domains such as semantics of logical programs,  implementation of medical diagnostic systems or analysis of negotiation dialogs. Mutual interaction between AI and TA found many applications e.g. in reasoning in law, medicine or e-commerce.


  • Witold Kosiński, Polish-Japanese Institute of Information Technology
  • Michał Krynicki, Cardinal Stefan Wyszynski University in Warsaw
  • L3G-research groupPaweł Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz, Catholic University of Lublin
  • Paweł Łoziński, Warsaw University of Technology
  • Agnieszka Mykowiecka, Polish-Japanese Institute of Information Technology, Polish Academy of Sciences


10.45 – 11.00 Magdalena KacprzakWelcome.
Chairman: Marek Porwolik
11.00 – 11.45 Witold Kosiński. Artificial intelligence tools for classification, approximation, inference and knowledge discovery
12.00 – 12.45 Agnieszka Mykowiecka. Natural Language Processing Tools in Dialogue Analysis
12.45 – 14.15 lunch

Chairman: Katarzyna Budzyńska
14.15 – 15.00 Paweł Łoziński. Argumentation theory-based reasoner in the context of a multi-agent system
15.15 – 16.00 Michał Krynicki. On logical properties of computer arithmetic
16.15 – 17.00 Paweł Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz. An engineering ontology of beliefs


Organizing and Programme Committee

  • Magdalena Kacprzak (Bialystok University of Technology, Polish-Japanese Institute of Information Technology), contact: kacprzak (at)
  • Paweł Rembelski (Polish-Japanese Institute of Information Technology)
  • Katarzyna Budzyńska (Cardinal Stefan Wyszynski University in Warsaw)
  • Michał Karnicki (Polish-Japanese Institute of Information Technology)
  • Joanna Skulska (Cardinal Stefan Wyszynski University in Warsaw)
  • Maria Załęska (Warsaw University)