(Izdošanas datums: 03-Jul-2024, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781684000821)
A fresh introduction to the field of logic, this book provides a fascinating encounter between linguistics and philosophy utilizing logic. This book explores the systematic and formal study of reasoning. It introduces the core systems...Lasīt vairāk
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games the sabotage game and the hide-and-seek...Lasīt vairāk
(Izdošanas datums: 03-Jul-2024, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781684000821)
A fresh introduction to the field of logic, this book provides a fascinating encounter between linguistics and philosophy utilizing logic. This book explores the systematic and formal study of reasoning. It introduces the core systems...Lasīt vairāk
(Izdošanas datums: 02-Jul-2023, Hardback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662438220)
The Handbook aims to provide a comprehensive review of research on logical thought in China by both Chinese and non-Chinese scholars. It highlights and summarizes important areas of controversy and general agreement, while giving prime importance to...Lasīt vairāk
This three-volume set, LNCS 14325-14327 constitutes the thoroughly refereed proceedings of the 20th Pacific Rim Conference on Artificial Intelligence, PRICAI 2023, held in Jakarta, Indonesia, in November 2023.The 95 full papers and 36 short...Lasīt vairāk
This three-volume set, LNCS 14325-14327 constitutes the thoroughly refereed proceedings of the 20th Pacific Rim Conference on Artificial Intelligence, PRICAI 2023, held in Jakarta, Indonesia, in November 2023.The 95 full papers and 36 short...Lasīt vairāk
This three-volume set, LNCS 14325-14327 constitutes the thoroughly refereed proceedings of the 20th Pacific Rim Conference on Artificial Intelligence, PRICAI 2023, held in Jakarta, Indonesia, in November 2023.The 95 full papers and 36 short...Lasīt vairāk
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), p...Lasīt vairāk
This three-volume set, LNAI 13031, LNAI 13032, and LNAI 13033 constitutes the thoroughly refereed proceedings of the 18th Pacific Rim Conference on Artificial Intelligence, PRICAI 2021, held in Hanoi, Vietnam, in November 2021.The 93 full...Lasīt vairāk
This three-volume set, LNAI 13031, LNAI 13032, and LNAI 13033 constitutes the thoroughly refereed proceedings of the 18th Pacific Rim Conference on Artificial Intelligence, PRICAI 2021, held in Hanoi, Vietnam, in November 2021.The 93 full...Lasīt vairāk
This three-volume set, LNAI 13031, LNAI 13032, and LNAI 13033 constitutes the thoroughly refereed proceedings of the 18th Pacific Rim Conference on Artificial Intelligence, PRICAI 2021, held in Hanoi, Vietnam, in November 2021.The 93 full...Lasīt vairāk
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), p...Lasīt vairāk
Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 17-Dec-2020, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662628423)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in...Lasīt vairāk
Byunghan Kim, Jorg Brendle, Gyesik Lee, Fenrong Liu, R Ramanujam, Shashi M Srivastava, Akito Tsuboi, Liang Yu
(Izdošanas datums: 23-Jan-2019, Hardback, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789813237544)
The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The...Lasīt vairāk
Reasoning about Preference Dynamics explores what it takes for logical systems to deal with information dynamics and preference change in an integrated way. The text covers all aspects of reasoning and agency, while providing a framework accessibl...Lasīt vairāk
Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified n...Lasīt vairāk
