Talks & Posters

2017

• Michal Peliš, Paweł Łupkowski, Ondrej Majer, Mariusz Urbański, (Dynamic)Epistemic interpretation for Erotetic Search Scenarios, Logic Colloquium 2017, Stockholm, 14-20 August, 2017. [conference talk]
• Michal Peliš, Paweł Łupkowski, Ondrej Majer, Mariusz Urbański, (Dynamic)Epistemic interpretation of Erotetic Search Scenarios, QuestPro2017@Poznań Reasoning Week 2017, Poznań, 4-7 July, 2017. [conference talk]
• Paweł Łupkowski, Erotetic Decomposition Principle and Paraphrasing Questions, QuestPro2017@Poznań Reasoning Week 2017, Poznań, 4-7 July, 2017. [conference talk]
• Andrzej Wiśniewski, Basic concepts of Inferential Erotetic Logic in view of generalized entailment, QuestPro2017@Poznań Reasoning Week 2017, Poznań, 4-7 July, 2017. [invited talk]
• Paweł Łupkowski, Belief Revision of a Questioning Agent, LOGICA 2017, Hejnice, 19-23 June, 2017. [conference talk]
• Szymon Chlebowski, Andrzej Gajda, Abductive Question-Answer System (AQAS) for Classical Propositional Logic, Flexible Query Answering Systems—12th International Conference, London, June 21–22, 2017. [conference talk]
• Szymon Chlebowski, Andrzej Gajda, Mariusz Urbański, Logic of questions, abduction, and paraconsistency, Ampliative Reasoning in the Sciences, Gent, 18 May, 2017. [conference talk]
• Andrzej Wiśniewski, Generalized Entailment Meets Interrogative Entailment. 22nd Conference Applications of Logic in Philosophy and Foundations of Mathematics, Szklarska Poręba, 8-12 May, 2017. [conference talk]
• Szymon Chlebowski, First-Order Refutability Properties.22nd Conference Applications of Logic in Philosophy and Foundations of Mathematics, Szklarska Poręba, 8-12 May, 2017. [conference talk]
• Paweł Łupkowski, Mariusz Urbański, Where Logic Meets Linguistics. Inferential Layer of Annotation for the Erotetic Reasoning Corpus.22nd Conference Applications of Logic in Philosophy and Foundations of Mathematics, Szklarska Poręba, 8-12 May, 2017. [conference talk]
• Szymon Chlebowski, Andrzej Gajda: Abductive Question-Answer System for minimal logic of formal inconsistency mbC, Reasoning and Analytic Methods, Bratislava, 27-28 April, 2017. [conference talk]
• Paweł Łupkowski, IEL-based Formal Dialogue System for Tutorials, Reasoning and Analytic Methods, Bratislava, 27-28 April, 2017. [conference talk]
• Szymon Chlebowski, Andrzej Gajda, Haskell Implementation of Abductive Question-Answer System (AQAS) for Classical Propositional Logic, Application of Algebra XXI, Akademia Jana Długosza w Częstochowie, Zakopane, 20–26 March, 2017. [conference talk]
• Andrzej Wiśniewski, Generalized Entailment and Inferential Erotetic Logic, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam 20.01.2017. [invited talk]

2016

• Paweł Łupkowski, Mariusz Urbański, The influence of an agent’s credibility on the questioning agenda in a multi-agent environment, Workshop “Argument Strength”, Bochum, November 30-December 2, 2016. [conference talk]
• Paweł Łupkowski, Generowanie odpowiedzi kooperatywnych z wykorzystaniem erotetycznych scenariuszy poszukiwań,  XI Zjazd Polskiego Towarzystwa Kognitywistycznego, 22-24 September 2016. [conference talk]
• Andrzej Wiśniewski, Deductive arguments and strong entailments, 14th ArgDiap@Poznań Reasoning Week 2016, 5-10 September 2016. [invited talk]
• Paweł Łupkowski, Mariusz Urbański, Erotetic Reasoning Corpus. A data set for research on natural question processing, 14th ArgDiap@Poznań Reasoning Week 2016, 5-10 September 2016. [conference talk]
• Mariusz Urbański, On non accepting Hamblin’s third postulate, QuestPro2016@Poznań Reasoning Week 2016, 5-10 September 2016. [conference talk]
• Szymon Chlebowski, Some Operations on Erotetic Search Scenarios, QuestPro2016@Poznań Reasoning Week 2016, 5-10 September 2016. [conference talk]
• Szymon Chlebowski, Andrzej Gajda, Abductive Question-Answer System for Non-Classical Logics, QuestPro2016@Poznań Reasoning Week 2016, 5-10 September 2016. [conference talk]
• Adam Kupś, Automated Generation and Analyzes of Erotetic Search Scenarios, QuestPro2016@Poznań Reasoning Week 2016, 5-10 September 2016. [conference talk]
• Andrzej Wiśniewski, Deduction and reduction theorems for Inferential Erotetic Logic, QuestPro2016@Poznań Reasoning Week 2016, 5-10 September 2016. [conference talk]
• Paweł Łupkowski, Dialogic logic and dynamisation of erotetic search scenarios execution, QuestPro2016@Poznań Reasoning Week 2016, 5-10 September 2016. [conference talk]
• Paweł Łupkowski, Michal Peliš and Ondrej Majer. Epistemic Erotetic Search Scenarios, LOGICA 2016, Hejnice, 20–24 June 2016. [conference talk]
• Andrzej Wiśniewski, Dorota Leszczyńska and Paweł Łupkowski, Old and New Logical Themes at DLCS, Logical and Methodological Analysis of Scientific Reasoning Processes, Gent, 12-13.05.2016. [invited talk]
• Andrzej Gajda, Paweł Łupkowski. Using LaTeX as an element of the Erotetic Reasoning Corpus interface, BachoTeX 2016, Bachotek, 28.04-3.05 2016. [conference talk]

2015

• Paweł Łupkowski, Mariusz Urbański, Katarzyna Paluszkiewicz, Oliwia Ignaszak, Natalia Maryniaczyk, Joanna Urbańska, ERC — korpus rozumowań erotetycznych, ArgDiaP 2015 „Siła argumentu: racja, przekonanie, konsensus”, Wrocław, 20-21.11.2015. [conference talk]
• Paweł Łupkowski, Oliwia Ignaszak, Can gamers give us insights into complex problem solving process? A case study of reasoning with questions, CEEGS 2015, Kraków, 22-24.10.2015. [conference talk]
• Dorota Leszczyńska-Jasion, Adam Kupś, The Method of Syntetic Tableaux: proof-theoretical characterization, applications and extensions to some non-classical logics, Non-Classical Logics. Theory and Applications, Toruń Poland (UMK), 24.09.2015-26.09.2015. [conference talk]
• Adam Kupś, Dorota Leszczyńska-Jasion, The Method of Synthetic Tableaux for Modal Logics,, Non-Classical Logics. Theory and Applications, Toruń Poland (UMK), 24.09.2015-26.09.2015. [conference talk]
• Andrzej Gajda, Szymon Chlebowski, Abdukcyjny System Pytanie – Odpowiedź dla normalnych logik modalnych, X Polski Zjazd Filozoficzny, Poznań, 15-19.09.2015. [conference talk]
• Hubert Jastrzębski, Szymon Chlebowski, Rachunek sekwentów dla pewnych logik niefregowskich, X Polski Zjazd Filozoficzny, Poznań, 15-19.09.2015. [conference talk]
• Katarzyna Paluszkiewicz, Uogólnione pytania koniunkcyjne jako przykład pytań maksymalnie informatywnych w logikach modalnych S4, KDE4 i S5, X Polski Zjazd Filozoficzny, Poznań, 15-19.09.2015. [conference talk]
• Paweł Łupkowski, Modelowanie dialogów prowadzonych w poszukiwaniu informacji z wykorzystaniem erotetycznych scenariuszy poszukiwań, X Polski Zjazd Filozoficzny, Poznań, 15-19.09.2015. [conference talk]
• Paweł Łupkowski, Dependency of Questions in Tutorial Dialogues, LOGICA 2015, Hejnice, Czech Republic 16-19.06.2015. [conference talk]
• Paweł Łupkowski, Modelling multi-agent information seeking dialogues with erotetic search scenarios, 1st European Conference on Argumentation: Argumentation and Reasoned Action, Lisbon, Portugal 9-12.06.2015. [conference talk]
• Paweł Łupkowski, Dialogic Erotetic Games, Institute of Philosophy, Slovak Academy of Sciences, Bratislava 01.06.2015. [invited talk]
• Andrzej Wiśniewski, Pytania jako wnioski, Grupa Logiki, Języka i Informacji, Uniwersytet Opolski, Opole 20.01.2015. [invited talk]

2014

• Paweł Łupkowski, Oliwia Ignaszak, Modelowanie kooperatywnego rozwiązywania problemów w środowisku gry QuestGen z wykorzystaniem logiki pytań, Seminarium DokMa, Poznań 19.12.2014. [seminar talk]
• Paweł Łupkowski, Oliwia Ignaszak, Grywalizacja w nauce na przykładzie gry QuestGen. HOMO INFORMATICUS 2.0 — informatyka, człowiek, społeczeństwo. Poznań 12 grudnia 2014. [conference talk]
• Paweł Łupkowski, Patrycja Wietrzycka, Gra QuestGen — przykład grywalizacji procesu naukowego, Kulturotwórcza funkcja gier — Game-based learning / Game-biased learning, Poznań, 15-16 listopada 2014. [conference talk]
• Andrzej Wiśniewski, Mariusz Urbański, Inferencyjna Logika Pytań w naturalnym przetwarzaniu pytań, X Zjazd Polskiego Towarzystwa Kognitywistycznego Poznanie, komunikacja i działanie. Mechanizmy integrujące i separujące, Szczecin, September 25-27, 2014. [conference talk]
• Dorota Leszczyńska-Jasion, Adam Kupś, Perspektywa teoriodowodowa w Inferencyjnej Logice Pytań, X Zjazd Polskiego Towarzystwa Kognitywistycznego Poznanie, komunikacja i działanie. Mechanizmy integrujące i separujące, Szczecin, September 25-27, 2014. [conference talk]
• Szymon Chlebowski, Andrzej Gajda, Pytania Abdukcyjne — Złożoność i Przetwarzanie, X Zjazd Polskiego Towarzystwa Kognitywistycznego Poznanie, komunikacja i działanie. Mechanizmy integrujące i separujące, Szczecin, September 25-27, 2014. [conference talk]
• Paweł Łupkowski, Modelowanie zjawiska odpowiadania pytaniem na pytanie w dialogach prowadzonych w poszukiwaniu informacji, X Zjazd Polskiego Towarzystwa Kognitywistycznego Poznanie, komunikacja i działanie. Mechanizmy integrujące i separujące, Szczecin, September 25-27, 2014. [conference talk]
• Mariusz Urbański, Katarzyna Paluszkiewicz, Małgorzata Kisielewska, Modelowanie rozwiązywania zadań dedukcyjnych za pomocą Inferencyjnej Logiki Pytań, X Zjazd Polskiego Towarzystwa Kognitywistycznego Poznanie, komunikacja i działanie. Mechanizmy integrujące i separujące, Szczecin, September 25-27, 2014. [conference talk]
• Mariusz Urbański, Katarzyna Paluszkiewicz and Joanna Urbanska, Erotetic Reasoning: Formal Modeling of Real Deductive Problem-Solving, 12th ArgDiaP: From Real Data to Argument Mining, Warsaw, May 23-24, 2014. [conference talk]
• Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev and Mariusz Urbanski,Socratic Proofs for Propositional Linear-Time Logic, Joint Automated Reasoning Workshop and Deduktionstreffen, Vienna, 23-24 July 2014. [conference talk]
• Paweł Łupkowski, Aleksandra Rybacka and Jakub Marszałkowski, Measuring Non-Cooperation of Dialogue Participants. Loebner Contest Case Study, 12th ArgDiaP: From Real Data to Argument Mining, Warsaw, May 23-24, 2014. [conference talk]
• Paweł Łupkowski, A Corpus-Based Taxonomy of Answering by Means of Questions, 2nd IGSAR: Corpus Analysis in Argument Studies, Warsaw, May 21-24, 2014. [tutorial]
• Szymon Chlebowski, Erotetic Calculi, Cut Rule, and the Minimal LFI, Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba, May 5-9 2014. [conference talk]
• Szymon Chlebowski, Andrzej Gajda, Abductive Questions and Their Complexity,Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba, May 5-9, 2014. [conference talk]
• Szymon Chlebowski, Hubert Jastrzębski, Rachunek erotetyczny dla minimalnej logiki niefregowskiej SCI, 9 Poznańskie Forum Kognitywistyczne, Poznań, March 21-22, 2014. [conference talk]
• Szymon Chlebowski, Andrzej Gajda, Pytania abdukcyjne, 9 Poznańskie Forum Kognitywistyczne, Poznań, March 21-22, 2014. [conference talk]

2013

• Paweł Łupkowski, Capturing dependent questions relevance with erotetic implication, Investigating semantics: Empirical and philosophical approaches, Bochum, October 10-12, 2013. [poster presentation]
• Mariusz Urbanski, Erotetic inferences and formal modeling of deductive problem-solving, Investigating semantics: Empirical and philosophical approaches, Bochum, October 10-12, 2013. [conference talk]
• Mariusz Urbański, Katarzyna Paluszkiewicz, Joanna Urbańska, Deductive reasoning and learning, 18th Conference of the European Society for Cognitive Psychology, 29 August-1 September 2013 Budapest (Hungary). [poster presentation]
• Paweł Łupkowski, Question Dependency in Terms of Compliance and Erotetic Implication, LOGICA 2013, Hejnice Monastery, 17-21 June, 2013. [conference talk]
• Mariusz Urbański, Erotetic implication and deductive problem-solving, Questions and Inquiry, A conference on Hintikka’s Interrogative Model of Inquiry, 30 May-1 Jun 2013 Paris (France). [conference talk]
• Dorota Leszczyńska-Jasion, Paweł Łupkowski, Erotetic Search Scenarios and Three-Valued Logic, Questions and Inquiry, A conference on Hintikka’s Interrogative Model of Inquiry, 30 May-1 Jun 2013 Paris (France). [conference talk]
• Andrzej Wiśniewski, Permittance, Inconsistencies, and Question Raising, Logic, Questions and Inquiry, A conference on Hintikka’s Interrogative Model of Inquiry, 30 May-1 Jun 2013 Paris (France). [invited talk]
• Andrzej Wiśniewski, The Logic of Permittance, Inqusitive Semantics meets Inferential Erotetic Logic, Poznań, 18-19.04.2013. [conference talk]
• Mariusz Urbański, Permittance and Erotetic Implication, Inqusitive Semantics meets Inferential Erotetic Logic, Poznań, 18-19.04.2013. [conference talk]
• Dorota Leszczyńska-Jasion, Paweł Łupkowski, Three Valued Inferential Erotetic Logic and its Applications, Inqusitive Semantics meets Inferential Erotetic Logic, Poznań, 18-19.04.2013. [conference talk]
• Andrzej Wiśniewski, Effectiveness of question-answer systems, Unilog’13: 4th World Congress and School on Universal Logic, Rio de Janeiro, March/April 2013, Workshop „Logic and Lingustics”. [invited talk]
• Andrzej Wiśniewski, Erotetic Logics, Unilog’13: 4th World Congress and School on Universal Logic, Rio de Janeiro, March/April 2013. [tutorial]

2012

• Mariusz Urbański, Katarzyna Paluszkiewicz, Three-valued inquisitive semantics, The Fifth Conference: Non-Classical Logic. Theory and Applications, Toruń, 27-29 September 2012. [conference talk]

Reklama