Reasoning: games, cognition, logic

, & (eds.)
[London]: College Publications (2020)
  Copy   BIBTEX

Abstract

This volume contains papers presented at the Poznań Reasoning Week multi-conference held in Poznań in September 11-15, 2018. PRW aims at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling. The 2018 edition consisted of three conferences, which addressed the following topics: (i) games in reasoning research, (ii) the interplay of logic and cognition, and (iii) refutation systems. The papers collected in this volume address all these topics.

Categories

Keywords

Reprint years

Call number

BC177.R34327 2020

ISBN(s)

9781848903258

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation.Beishui Liao, Thomas Ågotnes & Yi N. Wang (eds.) - 2019 - Singapore: Springer Singapore.
Formalizing the Dynamics of Information.Martina Faller, Stefan C. Kaufmann, Marc Pauly & Center for the Study of Language and Information S.) - 2000 - Center for the Study of Language and Information Publications.
MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY.Lorenzo Magnani, Walter Carnielli & Claudio Pizzi (eds.) - 2010 - Springer.
Logic Programming and Automated Reasoning 4th International Conference, Lpar '93, St. Petersburg, Russia, 13-20, 1993 : Proceedings'.Andrei Voronkov - 1993 - Springer Verlag.
Logic Programming and Automated Reasoning International Conference Lpar '92, St. Petersburg, Russia, July 15-20, 1992 : Proceedings'.Andrei Voronkov - 1992 - Springer Verlag.
Logic Programming and Nonmonotonic Reasoning Third International Conference, Lpnmr '95, Lexington, Ky, Usa, June 26-28, 1995 : Proceedings'.Wiktor Marek, Anil Nerode & Miroslw Truszczy Nski - 1995 - Springer.
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings.Moshe Vardi & Andrei Voronkov - 2003 - Springer Verlag.
Modelling def+easible reasoning by means of adaptive logic games.Peter Verdée - 2012 - Logic Journal of the IGPL 20 (2):417-437.
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings.Frank Pfenning - 1994 - Springer Verlag.
Automated Deduction, CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : Proceedings.Deepak Kapur - 1992 - Springer.

Analytics

Added to PP
2022-12-02

Downloads
7 (#1,413,139)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paweł Łupkowski
Adam Mickiewicz University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references