Seminars

Upcoming seminars

2017

  • 11.01.2017 (Andrzej Wiśniewski) Uogólnione wynikanie a Inferencyjna Logika Pytań

2016

  • 7.12.2016 (Paweł Świeczka) O możliwości stosowania e-scenariuszy do badań nad klasycznymi tekstami scholastycznymi (na przykładzie Sumy teologicznej św. Tomasza z Akwinu)
  • 16.11.2016 (Vít Punčochář) Inquisitive semantics and its generalizations
  • 12.10.2016 (Andrzej Wiśniewski) E-scenarios for entailed answers
  • 12.10.2016 (Dorota Leszczyńska-Jasion) Synthetic Tableaux with Unrestricted Cut for First-Order Logic
  • 13.04.2016 (Andrzej Wiśniewski) Deduction and Reduction Theorems for Inferential Erotetic Logic
  • 27.01.2016 (Dorota Leszczyńska-Jasion) Kilka uwag dotyczących złożoności obliczeniowej metody tabel syntetycznych

2015

  • 09.12.2015 (Andrzej Wiśniewski) Dedukcja i redukcja dla implikacji erotetycznej
  • 18.11.2015 (Adam Kupś, Szymon Chlebowski): Automatic embedding, contraction and repair of Erotetic Search Scenarios. Part 2
  • 04.11.2015 (Paweł Łupkowski): When is it rational to ask a question? In pursuit of question dependency in dialogues
  • 28.10.2015 (Mariusz Urbański, Natalia Maryniaczyk, Paweł Łupkowski) Przetwarzanie pytań w rozwiązywaniu problemów niedobrze określonych
  • 21.10.2015 (Adam Kupś) Combining Apriori algorithm and logical abduction in a search for valuable knowledge. Preliminaries
  • 14.10.2015 (Adam Kupś, Szymon Chlebowski) Automatic embedding, contraction and repair of Erotetic Search Scenarios. Part 1
  • 30.09.2015 (Andrzej Wiśniewski) An Axiomatic Account of Question Evocation. Part 1
  • 29.07.2015 (Dorota Leszczyńska-Jasion, Adam Kupś) The Method of Synthetic Tableaux for Propositional Modal Logics
  • 15.07.2015 (Szymon Chlebowski) A proof-search oriented approach to SCI
  • 01.07.2015 (Andrzej Wiśniewski) Strong entailments and minimally inconsistent sets
  • 22.04.2015 (Szymon Chlebowski) Solving Problems in Constructive Logics: Calculi and Erotetic Search Scenarios
  • 25.02.2015 (Dorota Leszczyńska-Jasion) Rachunek sekwentów dla własności bycia W-zbiorem
  • 18.02.2015 (Andrzej Wiśniewski) Strong mc-entailment, part 2
  • 04.02.2015 (Andrzej Wiśniewski) Strong mc-entailment, part 1

2014

  • 19.12.2014 (Adam Kupś) Computational Tools for ESS — development
  • 12.12.2014 (Szymon Chlebowski, Andrzej Gajda) Abductive Question-Answer System for CPL
  • 28.11.2014 (Rafał Szczepiński) Metoda dowodów sokratycznych dla logiki FDE
  • 21.11.2014 (Andrzej Wiśniewski & Mariusz Urbański) On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
  • 14.11.2014 (Dorota Leszczyńska-Jasion) Socratic translations: the case of analytic tableaux (part 2)
  • 7.11.2014 (Dorota Leszczyńska-Jasion) Socratic translations: the case of analytic tableaux (part 1)
  • 24.10.2014 (Adam Kupś) Computational Tools for ESS — introduction
  • 26.06.2014 (Dorota Leszczyńska-Jasion & Adam Kupś) Synthetic tableaux for K
  • 18.06.2014 (Paweł Łupkowski & Dorota Leszczyńska-Jasion) Generating cooperative question-responses by means of erotetic search scenarios
  • 12.06.2014 (Szymon Chlebowski, Dorota Leszczyńska-Jasion) Dual Erotetic Calculi and the Minimal LFI
  • 5.06.2014 (Szymon Chlebowski) Structural Erotetic Calculi and the Minimal LFI
  • 8.05.2014 (Tomasz Skura, Andrzej Wiśniewski) A System for Proper Multi-Conclusion Entailment
  • 23.01.2014 (Szymon Chlebowski) Erotetic Implication for mbC and mCi
  • 9.01.2014 (Szymon Chlebowski) Refutation Erotetic Calculi

2013

  • 12.12.2013 (Katarzyna Paluszkiewicz) The Erotetic Theory of Reasoning
  • 28.11.2013 (Dorota Leszczyńska-Jasion, Paweł Łupkowski) A bunch of ideas on the costs of generating standard e-scenarios
  • 14.11.2013 (Adam Kupś, Dorota Leszczyńska-Jasion, Mariusz Urbański) Identifying efficient abductive hypotheses using multi-criteria dominance relation (Part 2)
  • 7.11.2013 (Adam Kupś, Dorota Leszczyńska-Jasion, Mariusz Urbański) Identifying efficient abductive hypotheses using multi-criteria dominance relation (Part 1)
  • 17.10.2013 (Mariusz Urbański)  Erotetic inferences and formal modeling of deductive problem-solving
  • 1.07.2013 (Paweł Łupkowski) Compliance vs Erotetic Implication
  • 5.06.2013 (Szymon Chlebowski), Erotetic calculus for logic Mbc+
  • 22.05.2013 (Jiří Raclavský, Masaryk University) Transparent Intensional Logic: introduction
  • 15.05.2013 (Paweł Łupkowski & Dorota Leszczyńska-Jasion) Generating cooperative question-responses by means of erotetic search scenarios. Prolog implementation
  • 8.05.2013 (Mariusz Urbański) Permittance and Erotetic Implication
  • 14.02.2013 (Dorota Leszczyńska-Jasion) Erotetic Search Scenarios as families of sequences and Erotetic Search Scenarios as trees: two different, yet equal accounts

2012

  • 18.10.2012 (Dorota Leszczyńska-Jasion & Paweł Łupkowski) Three valued logic and e-scenarios
  • 23.10.2012 (Dorota Leszczyńska-Jasion) Syntactic Approach to Erotetiic Implication
  • 15.11.2012 (Mariusz Urbański) Erotetic Reasoning, Deductive Reasoning and Fluid Intelligence: a Cross-Curricular Study
  • 22.11.2012 (Paweł Łupkowski) Compliance in Terms of Inquisitive Semantics #1
  • 29.11.2012 (Paweł Łupkowski) Compliance in Terms of Inquisitive Semantics #2