Programme 2016

Poznań Reasoning Week

PRW2016 Book of Abstracts [PDF]

prw16cover

2nd Logic and Cognition 2016


Invited speakers: Michiel van Lambalgen, Ruth Byrne, Keith Stenning

Monday (5.09.2016)
9.30 – 9.55 Morning coffee
9.55 – 10.00 PRW and L&C opening
10.00 – 11.00 Michiel van Lambalgen Kant, time and cognitive science
11.00 – 11.15 coffee break

11.15 – 11.45 Robert Kowalski A Non-Modal Deontic Logic
11.45 – 12.15 Jerzy Pogonowski On the Origin of Metalogical Notions
12.15 – 12.30 coffee break

12.30 – 13.00 Farshad Badie On Logical Characterisation of Human Concept Learning within Terminological Systems
13.00 – 13.30 Atsushi Shimojima, David J. Barker-Plummer Cognitively Relevant Formal Properties of Diagrams
13.30 – 15.00 lunch

15.00 – 16.00 Adam Chuderski Relational reasoning in the human brain
16.00 – 16.15 coffee break

16.15 – 16.45 Mariusz Urbanski Abduction: some conceptual issues
19.00 – PRW kickstart reception


Tuesday (6.09.2016)
9.30 – 10.00 Morning coffee

10.00 – 11.00 Keith Stenning What is the working relation between intensional and extensional reasoning and judgement?
11.00 – 11.15 coffee break

11.15 – 11.45 Andrzej Gajda, Szymon Chlebowski, Mariusz Urbański, Emilia Soroko Subject’s understanding of conditional sentences. Content analysis of Socratic dialogues during solving various versions of Wason selection task
11.45 – 12.15 Frank Zenker Can Bayesian models have “normative pull” on human reasoners?
12.15 – 12.30 coffee break

12.30 – 13.00 Natalia Żyluk, Mikołaj Michta Deductive Flexibility Test
13.00 – 13.30 Kinga Antonik-Jończyk, Dajana Bieganowska, Agnieszka Dubowska, Dominika Koch, Iga Kropa, Maciej Małkowski, Dawid Ratajczyk, Anita Steć, Natalia Żyluk Difficult deductions and fluid intelligence: Deductive Flexibility Test vs Raven’s Advanced Progressive Matrices
13.30 – 15.00 lunch

15.00 – 16.00 Ruth Byrne Counterfactual conditionals and the mental representation of possibilities
16.00 – 16.15 coffee break

16.15 – 16.45 Andrzej Gajda, Adam Kups Abductive problems in a connectionist environment. Computational approach
16.45 – 16.50 L&C closing


14th ArgDiap: Formal Models of Reasoning and Argumentation


Invited speakers: Ruth Byrne, Keith Stenning, Andrzej Wisniewski

Wednesday (7.09.2016)
9.30 – 9.55 Morning coffee

9.55 – 10.00 ArgDiap opening

10.00 – 11.00 Ruth Byrne Counterfactual thoughts and the controllability of events
11.00 – 11.15 coffee break

11.15 – 11.55 Michal Dancak, Michal Pelis Normal default rules as epistemic actions
11.55 – 12.35 Magdalena Kacprzak, Krzysztof Rzeńca, Anna Sawicka, Andrzej Zbrzezny, Katarzyna Żukowska A formal model of an argumentative dialogue in the management of emotions
12.35 – 12.50 coffee break

12.50 – 13.30 Martin Hinton Slippery Slopes and other Consequences
13.30 – 14.10 Jerzy Pogonowski Intuitive explanations
14.10 – 15.30 lunch

15.30 – 16.30 Keith Stenning Arguing with oneself, in a nonmonotonic logic, about a causal regularity’s reliability
18.00 – PRW conference dinner


Thursday (8.09.2016)
9.30 – 10.00 Morning coffee

10.00 – 11.00 Andrzej Wiśniewski Deductive arguments and strong entailments
11.00 – 11.15 coffee break

11.15 – 11.55 Mathieu Beirlaen, Jesse Heyninck, Christian Strasser Reasoning by Cases in Structured Argumentation
11.55 – 12.35 Michał Araszkiewicz Annotating Judicial Decisions for the Sake of Identification of Case-Based Reasoning Structures in the Context of Statutory Interpretation
12.35 – 12.55 coffee break

12.55 – 13.35 Paweł Łupkowski, Mariusz Urbański Erotetic Reasoning Corpus. A data set for research on natural question processing
13.35 – 14.15 Jacky Visser, Katarzyna Budzyńska, Chris Reed A Critical Discussion Game for Prohibiting Fallacious Arguments
14.15 – 15.30 lunch

15.30 – 16.10 Iva Svacinova Based on what should we formulate a legitimate definition of quasi-logical arguments? Case study of arguments of reciprocity
16.10 – 16.15 ArgDiap closing


QuestPro 2016


Invited speakers: Ivano Ciardelli, Jonathan Ginzburg, Yacin Hamami, Philipp E. Koralus

Friday (9.09.2016)
9.30 – 9.55 Morning coffee

9.55 – 10.00 Quest Pro opening

10.00 – 11.30 Jonathan Ginzburg Interacting and Reasoning across Domains
11.30 – 11.45 coffee break

11.45 – 13.15 Philipp E. Koralus Reasoning as Inquiry
13.15 – 14.45 lunch

14.45 – 15.15 Szymon Chlebowski Some operations on Erotetic Search Scenarios
15.15 – 15.45 Adam Kups Automated Generation and Analyzes of Erotetic Search Scenarios
15.45 – 16.00 coffee break

16.00 – 16.45 Michal Pelis Erotetic Epistemic Logic
16.45 – 17.15 Paweł Łupkowski Dialogic logic and dynamisation of erotetic search scenarios execution
17.15 – 17.45 Szymon Chlebowski, Andrzej Gajda Abductive Question-Answer System for Classical Propositional Logic and some Non-Classical Logics
19.00 – PRW summing up reception


Saturday (10.09.2016)
9.30 – 10.00 Morning coffee

10.00 – 11.30 Ivano Ciardelli Questions as Information Types
11.30 – 11.45 coffee break

11.45 – 13.15 Yacin Hamami A Game-Theoretic Analysis of Interrogative Games: First Steps
13.15 – 14.30 lunch

14.30 – 15.00 Mariusz Urbański On non accepting Hamblin’s third postulate
15.00 – 15.45 Andrzej Wiśniewski Deduction and reduction theorems for Inferential Erotetic Logic
15.45 – 15.50 QuestPro and PRW closing


Advertisements