(last update 13.09.2018)

11.09. (Tuesday) GaR@PRW2018

9:30-10:00 Morning coffee (Cafe The End) & Registration (Szamarzewskiego 89; Building E, Room D)
10:00-10:15 PRW2018 and GaR opening

10:15-11:00 Frank Zenker, How not to play the scientific discovery-game
11:00-11:45 Olena Astapova-Vyazmina, Process of reasoning as a game: schema and conditions

11:45-12:00 Coffee

12:00-12:45 Wojciech Włodarczyk, Dagmara Dziedzic and Filip Graliński, The influence of real-time feedback on quality of collected data in GWAP

13:00-14:30 Lunch

14:30-15:15 Mariusz Urbański, Joanna Grzelak, On a simple model of a simple game: `Guess Who?’, Inferential Erotetic Logic and situational semantics
15:15-16:00 Allie Richards, Modeling Bottom-up Cognition in the Card Game SET

16:00-16:15 Coffee

16:15-17:00 Agata Tomczyk, Natural Deduction Method for Solving CL-based Puzzles

12-13.09.  L&C@PRW2018

12.09.  (Wednesday)

9.30-9.50 Morning coffee (Cafe The End) & Registration (Szamarzewskiego 89; Building E, Room D)
9.50-10.00 L&C opening

10.00-10.45 Orianne Bargain and Emmanuelle-Anna Dietz Saldanha, Cognitive Principles and Dierences in Human Syllogistic Reasoning
10.45-11.30 Yves Bouchard, Inferential Knowledge and Knowledge Representation

11.30-11.45 Coffee

11.45-12.45 Key-note: Gerhard Minnameier, The logic of abduction, deduction, and induction, and a taxonomy of inferential reasoning [abstract]

12.45-14.00 Lunch

14.00-14.45 Dominic Deckert, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler and Sibylle Schwarz, Human Reasoning, Computational Logic, and Ethical Decision Making
14.45-15.30 Adrian Groza, Distinguishing argument and explanation with description logic

15.30-15.45 Coffee

15.45-16.30 Petr Cintula, Carles Noguera and Nicholas J.J. Smith, The sorites paradox in mathematical fuzzy logic
16.30-17.15 Aleksandra Czyż, Kinga Ordecka and Andrzej Gajda, Acceptable propositional normal logic programs checking procedure implementation

18.00- Dinner at Makaron

13.09. (Thursday)

9.30-10.00Morning coffee (Cafe The End) & Registration (Szamarzewskiego 89; Building E, Room D)

10.00-10.45 Farshad Badie, A Semantic Representation of Humans’ Conceptions in Terminological Systems
10.45-11.30 Paula Álvarez Merino, Carmen Requena and Francisco Salto, Deduction as a factive hypothesis

11.30-11.45 Coffee

11.45-12.45 Key-note: Keith Stenning, A logical characterisation of a human language phenotype finds a central role throughout cognition [abstract]

12.45-14.00 Lunch

14.00-14.45 Moritz Cordes, Inferential Erotetic Logic and Cognitive Speech Acts
14.45-15.30 Sylvie Saget, Language as a tool: Acceptance-based Pragmatics
15.30-16.15 Ondrej Majer, Many-valued logics and strategic reasoning


14-15.09. Refutations@PRW2018

14.09. (Friday)

9:30-10:00Morning coffee (Cafe The End) & Registration (Szamarzewskiego 89; Building E, Room D)

10:00-11:00 Key-note: Tomasz Skura, Refutations in logics related to Johansson’s, Nelson’s, and Segerberg’s

11.00-11.15 Coffee

11:15-12:15 Key-note: Valentin Goranko, Proofs and refutations getting married [abstract]
12:15-12:45 Adam Trybus, Implementing refutation calculi: a case study

12:45-13:45 Lunch

13:45-14:45 Key-note: Heinrich Wansing, Refutation as falsification [abstract]
15:00-16:00 Key-note: Gabriele Pulcini, From complementary logic to proof-theoretic semantics [abstract]

15.09. (Saturday)

9:30-10:00Morning coffee (Cafe The End)

10:00-11:00 Key-note: Camillo Fiorentini, Applying the inverse method to refutation calculi [abstract]

11.00-11.15 Coffee

11:15-12:15 Key-note: Hans Tompits, From Łukasiewicz to Gentzen: On sequent-type refutation calculi for three-valued logics [abstract]
12:15-12:45 Luca Tranchini and Gianluigi Bellin, A refutation calculus for Intuitionistic Logic

13:00-15:00 Lunch

15:00-18:00 Discussions