publications and talks

books:

  1. Urbański M. (2002). Tabele syntetyczne a logika pytań [Synthetic tableaux and the logic of questions], Maria Curie-Skłodowska University Press, Lublin.
    [BibTeX]
  2. Urbański M. (2009). Rozumowania abdukcyjne. Modele i procedury [Abductive Reasoning. Models and Procedures], Adam Mickiewicz University Press, Poznań.
    [BibTeX] [pdf]

papers:

  1. Urbański M. (1998). Some Remarks Concerning Modal Propositional Logic of Questions, Logic and Logical Philosophy, No. 6, p. 187-196.
    [BibTeX] [pdf]
  2. Urbański M. (2001). Remarks on Synthetic Tableaux for Classical Propositional Calculus, Bulletin of the Section of Logic, 30, No. 4, p. 194-204.
    [BibTeX] [pdf]
  3. Urbański M. (2001). Synthetic Tableaux and Erotetic Search Scenarios: Extension and Extraction, Logique et Analyse, 173-174-175, p. 69-91.
    [BibTeX] [pdf]
  4. Urbański M. (2002). Synthetic Tableaux for Łukasiewicz’s Calculus Ł3, Logique et Analyse, 177-178, p. 155-173.
    [BibTeX] [pdf]
  5. Urbański M. (2004). How to Synthesize a Paraconsistent Negation. The Case of CLuN, Logique et Analyse, 185-188, p. 319-333.
    [BibTeX] [pdf]
  6. Urbański M. (2005). O rozumowaniach abdukcyjnych [On abductive reasoning], in: T. Mróz, M. Sieńko (eds),
    Propositiones, Instytut Filozofii UZ, Zielona Góra, p. 143-150.
    [BibTeX] [pdf]
  7. Bolotov A., Łupkowski P., Urbański M. (2006). Search and check. Problem solving by problem reduction, in: A. Cader et al. (eds), Artificial Intelligence and Soft Computing, Academic Publishing House EXIT, Warszawa, p. 505-510.
    [BibTeX] [pdf]
  8. Basso A., Bolotov A., Basukoski A., Getov V., Henrio L., Urbański M. (2006). Specification and Verification of Reconfiguration Protocols in Grid Component Systems, in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006), IEEE, Los Alamitos, USA, p. 450-455 [long version published as CoreGRID Technical Report, TR-0042].
    [BibTeX] [pdf]
  9. Łupkowski P., Urbański M. (2008). SemCAPTCHA. Telling Computers and Humans Apart by Means of Linguistic Competence and Positive Semantic Priming, in: L. Rutkowski, R. Tadeusiewicz, L. A. Zadeh, J. Zurada (eds), Computational Intelligence: Methods and Applications, Academic Publishing House EXIT, Warszawa, p. 525-531.
    [BibTeX]
  10. Łupkowski P., Urbański M. (2008). SemCAPTCHA – user-friendly alternative for OCR-based CAPTCHA systems, in: G. Demenko, K. Jassem, S. Szpakowicz (red.), Speech and Language Technology, Volume 11, Polish Phonetic Association, Poznań, p. 278-289.
    [BibTeX] [pdf]
  11. Urbański M. (2009). Trzy modele rozumowań abdukcyjnych [Three models of abductive reasoning], in: M. Urbański, P. Przybysz (eds) Funkcje umysłu. Poznańskie Studia z Filozofii Humanistyki, 8(21), Zysk i S-ka, Poznań, s. 303-315.
    [BibTeX]
  12. Urbański M., Łupkowski P. (2010). Erotetic Search Scenarios: Revealing Interrogator’s Hidden Agenda, in: P. Łupkowski, M. Purver (red.) Semantics and Pragmatics of Dialogue, Polskie Towarzystwo Kognitywistyczne, Poznań, p. 67-74.
    [BibTeX] [pdf]
  13. Urbańska, J., Urbański, M. (2011). Skuteczne uczenie się [Effective learning], in: St. Kowalik (ed.) Psychologia ucznia i nauczyciela, Wydawnictwo Naukowe PWN, Warszawa, p. 76-101.
    [BibTeX] [pdf]
  14. Urbański M. (2011). Logic and Cognition: Two Faces of Psychologism, Logic and Logical Philosophy, No. 20, p. 175-185.
    [BibTeX] [pdf]
  15. Urbański M. (2012). Paula Thagarda koncepcja rozumowania abdukcyjnego, Studia z Kognitywistyki i Filozofii Umysłu, 6(1), p. 97-120.
    [BibTeX] [pdf]
  16. Komosiński M., Kupś A., Urbański M. (2012). Multi-criteria evaluation of abductive hypotheses: towards efficient optimization in proof theory, Proceedings of the 18th International Conference on Soft Computing Brno, Czech Republic, p. 320-325.
    [BibTeX]
  17. Leszczyńska-Jasion, D., Urbański, M., Wiśniewski, A. (2013). Socratic Trees, Studia Logica, 101(5), p. 959-986; DOI: 10.1007/s11225-012-9404-0
    [BibTeX] [pdf]
  18. Komosiński, M., Kupś, A., Leszczyńska-Jasion, D., Urbański, M. (2014). Identifying efficient abductive hypotheses using multi-criteria dominance relation, ACM Transactions on Computational Logic, 15(4), DOI: 10.1145/2629669.
    [pdf]
  19. Budzyńska, K. et al. (2014). The Polish School of Argumentation: A Manifesto, Argumentation, 28(3), p. 267-282.
    [pdf]
  20. Urbański, M., Wiśniewski A. (2015). On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations. In: C. Baskent (ed.), Perspectives on Interrogative Model of Inquiry, Springer, p. 111-127.
    [BibTeX]
  21. Żyluk, N., Karpe, K., Michta, M., Potok, W., Paluszkiewicz, K., Urbański, M. (2016). Assessing Levels of Epistemological Understanding: The Standardized Epistemological Understanding Assessment (SEUA), Topoi, DOI: 10.1007/s11245-016-9381-4.
  22. Urbański, M., Paluszkiewicz, K., Urbańska, J. (2016). Erotetic Problem Solving: From Real Data to Formal Models. An Analysis of Solutions to Erotetic Reasoning Test Task. In: F. Paglieri, L. Bonelli and S. Felletti (eds), The Psychology of Argument. Cognitive Approaches to Argumentation and Persuasion, College Publications, London, p. 31-46.
  23. Kisielewska, M., Urbański, M., Paluszkiewicz, K. (2016). Abduction in One Intelligence Test. Types of Reasoning Involved in Solving Raven’s Advanced Progressive Matrices. In: L. Magnani and C. Casadio (eds), Model-Based Reasoning in Science and Technology, Studies in Applied Philosophy, Epistemology and Rational Ethics 27, Springer, p. 419-435, DOI: 10.1007/978-3-319-38983-7_23.
  24. Urbański, M., Żyluk, N., Paluszkiewicz, K., Urbańska, J. (2016). A Formal Model of Erotetic Reasoning in Solving Some what Ill-Defined Problems. In: D. Mohammed and M. Lewiński (eds), Argumentation and Reasoned Action Proceedings of the 1st European Conference on Argumentation, Lisbon 2015, College Publications, London, Vol. II, p. 973-983.
  25. Gajda, A., Kups, A., Urbanski, M. (2016). A connectionist approach to abductive problems: employing a learning algorithm. In: M. Ganzha, L. Maciaszek, M. Paprzycki (eds), Proceedings of the Federated Conference on Computer Science and Information System ACSIS, Vol. 8, p. 353-362, DOI: 10.15439/2016F484.
    [pdf]
  26. Szymanek, K. et al. (2016). Co to jest dobry argument? Metoda dyskursu eksperckiego w badaniach nad argumentacją [What is a good argument? The method of expert discourse in argumentation research]. Zagadnienia Naukoznawstwa, vol. 52, no. 3(209), p. 313-330.
    [pdf]
  27. Żyluk, N., Michta, M., Urbański, M. (2017). Yet Another Shade of Deduction. On measuring deductive flexibility and how it may relate to other cognitive abilities. Logic and Logical Philosophy, online-first [pdf]

technical reports:

  1. Urbański M. (2005). First-order synthetic tableaux, Institute of Psychology, AMU, Poznań.
    [BibTeX] [pdf]
  2. Urbański M. (2005). Tableaux, abduction and truthlikeness, Institute of Psychology, AMU, Poznań.
    [BibTeX] [pdf]
  3. Urbański M. (2005). Socratic proofs for some temporal logics, Institute of Psychology, AMU, Poznań.
    [BibTeX] [pdf]
  4. Basso A., Bolotov A., Basukoski A., Getov V., Henrio L., Urbański M. (2006). Specification and Verification of Reconfiguration Protocols in Grid Component Systems, CoreGRID Technical Report, TR-0042, Institute on Programming Model (WP3).
    [BibTeX] [pdf]
  5. Łupkowski P., Urbański M. (2006) Pozytywne prymowanie semantyczne jako narzędzie optymalizacji automatycznych systemów autoryzacji użytkownika, Institute of Psychology, AMU, Poznań.
    [BibTeX] [pdf]

talks and lectures:

  1. Urbański M. Relation of Epistemic Alternativeness in the Logic of Questions, `Rationalität, Realismus, Revision’, 3. Kongress der Gesellschaft für Analytische Philosophie, Munich, September 15-18, 1997.
  2. Urbański M. Some Remarks concerning Modal Propositional Logic of Questions, Second German-Polish Workshop on Logic and Logical Philosophy, Żagań, March 30 – April 2, 1998.
  3. Urbański M. Tabele syntetyczne jako metoda dowodowa dla Klasycznego Rachunku Zdań [Synthetic tableaux as a proof method for Classical Propositional Calculus], Zastosowania Logiki w Filozofii i Podstawach Matematyki, Karpacz, April 22-27, 1999.
  4. Urbański M. Synthetic tableaux, 11th International Congress of Logic, Methodology and Philosophy of Sciences, Kraków, August 20-26, 1999.
  5. Urbański M. Synthetic tableaux for Łukasiewicz’s calculus Ł3, 4th Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Ghent, April 9-11, 2001.
  6. Urbański M. Regular synthetic tableaux, Logic Colloqium 2001, Vienna, August 6-11, 2001.
  7. Urbański, M. Synthetic tableaux for paraconsistent logic CLuN, Centre for Logic and Philosophy of Science, Ghent University, September 2001.
  8. Urbański M. Synthetic tableaux and erotetic search scenarios, 5th Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Science, Zielona Góra, November 15-17, 2001.
  9. Urbański M. CLuN-based Erotetic Search Scenarios, International Workshop `The Dynamics of Reasoning in the Sciences: Adaptive and Interrogative Perspectives’, Ghent, October 17-19, 2002.
  10. Urbański M. Computing Abduction with Socratic Proofs, International Workshop `Problem Solving in the Sciences: Adaptive and Interrogative Perspectives’, Brussels, May 8-10, 2003.
  11. Urbański M. Abduction via Synthetic Tableaux, 12th International Congress of Logic, Methodology and Philosophy of Sciences, Oviedo, August 7-13, 2003.
  12. Urbański M. First-order synthetic tableaux, International Workshop `Patterns of Scientific Reasoning: Adaptive and Interrogative Perspectives’, Ghent, May 6-8, 2004.
  13. Urbański, M. Theory expansion and theory revision. Computing abduction with synthetic tableaux, Harrow School of Computer Science, University of Westminster, November 2004.
  14. Basukoski, A., Bolotov, A., Getov, V., Henrio, L., Urbański, M. Methodological and Theoretical Background for Temporal Modelling of Intelligent Grids, 1st CoreGRID Workshop on GRID and P2P Systems Architecture, Heraklion, January 17, 2005.
  15. Urbański M. O wyjaśnieniach abdukcyjnych [On abductive explanations], I Poznańskie Kolokwia Kognitywistyczne, Będlewo, November 17-19, 2005.
  16. Urbański M. On abductive reasoning, Poznań Linguistic Meeting, April 20-23, 2006.
  17. Bolotov, A., Łupkowski, P., Urbański, M. Search and Check. Problem Solving by Problem Reduction, International Conference on Artificial Intelligence and Soft Computing, Zakopane, June 25-29, 2006.
  18. Basso, A., Bolotov, A., Basukoski, A., Getov, V., Henrio, L., and Urbański, M. Specifcation and Verifcation of Reconfguration Protocols in Grid Component Systems, 3rd IEEE Conference On Intelligent Systems, London,September 4-6, 2006.
  19. Urbański M. Sylogistyczny model wnioskowania abdukcyjnego [Syllogistic model of abductive inference], II Poznańskie Kolokwia Kognitywistyczne: Umysł w świecie – świat w umyśle, Poznań, December 1-2, 2006.
  20. Urbański M. Logiki temporalne i logika pytań w zarządzaniu zasobami rozproszonymi [Temporal logics and the logic of questions in distributed resources management], II Poznańskie Forum Kognitywistyczne, Poznań, December 3, 2006.
  21. Urbański M. Inferencyjna logika pytań a scenariusze rozwiązywania problemów badawczych [Inferential Erotetic Logic and scientific problem-solving scenarios], Konferencja podsumowująca edycję subsydiów profesorskich FNP Nauki humanistyczne i społeczne 2002-2006, Kraków, April 27-28, 2007 r.
  22. Urbański M. Abdukcyjny mechanizm powstawania pogłosek eksplanacyjnych [Abductive mechanism of explanatory rumormongering], III Poznańskie Kolokwia Kognitywistyczne, Poznań, April 18-19, 2008.
  23. Łupkowski, P., Urbański, M. SemCAPTCHA. Telling Computers and Humans Apart by Means of Linguistic Competence and Positive Semantic Priming, 9th International Conference on Artificial Intelligence and Soft Computing, Zakopane, June 22-26, 2008.
  24. Łupkowski, P., Urbański, M. SemCAPTCHA – user-friendly alternative for OCR-based CAPTCHA systems, Computational Linguistics – Applications (CLA’08), Wisła, October 20-22, 2008.
  25. Urbański M. Modele rozumowań abdukcyjnych [Models of abductive reasoning], VII Warsztaty Filozoficzne, Pobierowo, October 28-30, 2009.
  26. Urbański, M. Logic and Cognition: the Faces of Psychologism, Logic in Cognitive Science, Toruń, May 13-15, 2010.
  27. Łupkowski, P., Urbański, M. Erotetic Search Scenarios: Revealing Interrogator’s Hidden Agenda, SemDial 2010, Poznań, June 16-18, 2010.
  28. Urbański, M. Paraconsistent Negation and the Square of Opposition, 2nd World Congress on the Square of Opposition, Corte, June 17-20, 2010.
  29. Łupkowski, P., Urbański, M. SemCAPTCHA: positive semantic priming and web security, ESPP 2010 (Meeting of the European Society for Philosophy and Psychology), Essen – Bochum, August 25-28, 2010.
  30. Urbański, M., Łupkowski, P. Konstruowanie pojęć w teoriach formalnych: przypadek abdukcji [Concept creation in formal theories: the case of abduction], konferencja `Pojęcia. Od konceptualizacji do reprezentacji’, Kraków, September 9-10, 2010 r.
  31. Urbański, M. In search for the perfect syllabus: teaching introductory course in logic. Third International Congress on Tools for Teaching Logic, Salamanca, June 1-4, 2011.
  32. Urbański, M., Urbańska, J. Abduction and Rumormongering to the Most Coherent Interpretation, 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, July 19-26, 2011.
  33. Leszczyńska-Jasion, D., Urbański, M., Wiśniewski, A. Socrtatic Trees, 4th International Conference Non-Classical Logics: Theory and Applications, Łódź, September 27-29, 2011.
  34. Urbański, M. Inferential Erotetic Logic meets proof theory, Prague Workshop on Logics of Questions, Prague, October 26-27, 2011.
  35. Urbański, M. Teaching logic in Poland: the National Qualifications Framework perspective (invited plenary lecture), 5-th International Conference „The Problems of Teaching Logic and Related Courses”, Kiev, May 3-4, 2012.
  36. Urbański, M., Paluszkiewicz, K., Urbańska, J. Erotetic Reasoning, Deductive Reasoning and Fluid Intelligence: a Cross-Curricular Study, 5-th International Conference „The Problems of Teaching Logic and Related Courses”, Kiev, May 3-4, 2012.
  37. Komosiński, M., Kupś, A., Urbański, M. Multi-criteria evaluation of abductive hypotheses: towards efficient optimization in proof theory, Mendel’12: 18th International Conference on Soft Computing, Brno, 27-29 June 2012.
  38. Urbański, M., Paluszkiewicz, K. Three-valued inquisitive semantics, The Fifth Conference: Non-Classical Logic. Theory and Applications, Toruń, 27-29 September 2012.
  39. Urbański, M. Permittance and Erotetic Implication, Inquisitive Semantics meets Inferential Erotetic Logic, Poznań, 18-19 April 2013.
  40. Łupkowski, P., Urbański, M. Preparing for scientific conference with LaTeX. A short practical how-to, EuroBachoTeX 2013, Bachotek, 1-5 May 2013.
  41. Urbański, M., Erotetic implication and deductive problem-solving, Questions and Inquiry, A conference on Hintikka’s Interrogative Model of Inquiry, Paris, 30 May-1 June 2013.
  42. Urbański, M., Paluszkiewicz, K., Urbańska, J., Deductive reasoning and learning, 18th Conference of the European Society for Cognitive Psychology ESCoP 2013, Budapest, 29 August-1 September 2013.
  43. Urbanski, M. Erotetic inferences and formal modeling of deductive problem-solving, Investigating semantics: Empirical and philosophical approaches, Bochum, 10-12 October 2013.
  44. Urbański, M., Paluszkiewicz, K., Urbańska, J., Erotetic Reasoning: Formal Modeling of Real Deductive Problem-Solving , 12th ArgDiaP: From Real Data to Argument Mining, Warsaw, 23-24 May, 2014.
  45. Bolotov, A., Shangin, V., Grigoriev, O., Urbański, M., Socratic Proofs for Propositional Linear-Time Logic, Joint Automated Reasoning Workshop and Deduktionstreffen, Vienna, 23-24 July, 2014
  46. Urbański, M., Paluszkiewicz, K., Kisielewska, M., Modelowanie rozwiązywania zadań dedukcyjnych za pomocą Inferencyjnej Logiki Pytań [Modeling deductive problem solving by Inferential Erotetic Logic], X Zjazd Polskiego Towarzystwa Kognitywistycznego, Szczecin, 25-27 September, 2014.
  47. Wiśniewski, A., Urbański, M., Inferencyjna Logika Pytań w naturalnym przetwarzaniu pytań [Inferential Erotetic Logic in natural question processing], X Zjazd Polskiego Towarzystwa Kognitywistycznego, Szczecin, 25-27 September, 2014.
  48. Urbański, M., Do diversify, panel discussion Force of Legal Arguments: Contemporary Perspectives and Methods, 1st International Workshop for Methodologies for Research on Legal Argumentation, Kraków, 10 December, 2014.
  49. Urbański, M., Paluszkiewicz, K., Urbańska, J., Erotetic problem-solving and learning: from real data to formal models, RACT 2015: Reasoning, Argumentation and Critical Thinking Instruction, Lund, 25-27 February, 2015.
  50. Łupkowski, P., Urbański, M., Paluszkiewicz, K., Czy zdalny kurs logiki może być efektywny? E-learningowy kurs logiki dla studentów psychologii UAM. III Ogólnopolska Konferencja Dydaktyki Akademickiej Ideatorium. Gdańsk, 9-10 April 2015.
  51. Urbański, M., Maryniaczyk, N., Paluszkiewicz, K., Urbańska, J., Deductive problem solving and learning logic, VII. Dubrovnik Conference on Cognitive Science: Metacognition and Reasoning, Dubrovnik, 21-23 May 2015.
  52. Urbański, M., Maryniaczyk, N., Paluszkiewicz, K., Urbańska, J., A Formal Model of Erotetic Reasoning in Collaborative Problem Solving. 1st European Conference on Argumentation: Argumentation and Reasoned Action, Lisbon, 9-12 June 2015.
  53. Urbański, M., Kisielewska, M., Paluszkiewicz, K. Abduction in one intelligence test: Types of reasoning involved in solving Raven’s Advanced Progressive Matrices. Model-Based Reasoning in Science and Technology, Sestri Levante, 25-27 June 2015.
  54. Urbański, M., Wiśniewski, A. On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations. 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, 3-8 August 2015.
  55. Urbański, M., Sylogistyczny model rozumowań abdukcyjnych [Syllogistic model of abductive reasoning], X Polski Zjazd Filozoficzny, Poznań, 15-19 September, 2015.
  56. Łupkowski, P., Urbański, M., Paluszkiewicz, K., Ignaszak, O., Maryniaczyk, N., Urbańska, J., ERC – korpus rozumowań erotetycznych [ERC – Erotetic Reasoning Corpus], 13 ArgDiaP. Siła argumentu: racja, przekonanie, konsensus, Wrocław, 20-21 November, 2015.
  57. Gajda, A., Chlebowski, S., Urbański, M., Soroko, E., Subject’s understanding of conditional sentences. Analysis of Socratic dialogues during solving various versions of Wason selection task, VIII Dubrovnik Conference on Cognitive Science, Dubrovnik, 28 April – 1 May, 2016.
  58. Urbański, M., Abduction: some conceptual issues, 2nd Logic & Cognition (Poznań Reasoning Week), Poznań, 5-6 September, 2016.
  59. Łupkowski, P., Urbański, M., Erotetic Reasoning Corpus. A data set for research on natural question processing, 14th ArgDiap (Poznań Reasoning Week), Poznań, 7-8 September, 2016.
  60. Urbański, M., On non acceepting Hamblin’s third postulate, QuestPro (Poznań Reasoning Week), Poznań, 9-10, September 2016.
  61. Gajda, A., Kups, A., Urbański, M., A connectionist approach to abductive problems: employing a learning algorithm, FedCSIS, Gdańsk, 11-14 September, 2016.
  62. Urbański, M., Żyluk, N., Semantyka sytuacyjna i logika pytań w analizie rozwiązań zadań abdukcyjnych, XI Zjazd Polskiego Towarzystwa Kognitywistycznego, Białystok, 22-24 September, 2016.
  63. Urbański, M., panel discussion: Integracja polskiego środowiska kognitywistycznego – perspektywy i zadania, XI Zjazd Polskiego Towarzystwa Kognitywistycznego, Białystok, 22-24 September, 2016.
  64. Urbański, M., Żyluk, N., Sets of situations, topics, and question relevance, Reasoning and Analytic Methods, Bratislava, 27-28 April, 2017.
  65. Chlebowski, S., Gajda, A., Urbański, M., Abductive Question-Answer System for minimal logic of formal inconsistency mbC, Reasoning and Analytic Methods, Bratislava, 27-28 April, 2017.
  66. Łupkowski, P., Urbański, M., Where Logic Meets Linguistics. Inferential Layer of Annotation for the Erotetic Reasoning Corpus, XXII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba, 8-12 May, 2017.
  67. Urbański, M., Żelechowska, D., Żyluk, N., Catching abduction. On two instruments for research on abductive reasoning, Ampliative Reasoning in the Sciences, Ghent, 18-19 May, 2017.
  68. Chlebowski, S., Gajda, A., Urbański, M., Logic of questions, abduction, and paraconsistency, Ampliative Reasoning in the Sciences, Ghent, 18-19 May, 2017.
  69. Urbański, M., Żyluk, N., Sets of situations, topics, and question relevance, 2nd European Conference on Argumentation, Fribourg, 20-23 June 2017.
  70. Peliš, M., Łupkowski, P., Majer, O., Urbański, M., (Dynamic)Epistemic interpretation of Erotetic Search Scenarios, QuestPro: Poznań Reasoning Week 2017, Poznań, 4-5 July, 2017.