Fenrong Liu - Böcker
Visar alla böcker från författaren Fenrong Liu. Handla med fri frakt och snabb leverans.
18 produkter
18 produkter
371 kr
Skickas inom 7-10 vardagar
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 of logic, discusses a portion of its extensions, and illustrates the application of logic in philosophy and linguistics utilizing classical and contemporary sources. In doing so, it provides the students with a rich set of tools along with first-hand experience regarding their applications in the study of rationality and meaning. With lots of exercises, and study and discussion questions, it provides a complete set of materials for courses for a variety of audiences at different levels.
266 kr
Skickas inom 5-8 vardagar
Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021
Häftad, Engelska, 2021
250 kr
Skickas inom 5-8 vardagar
Del 13031 - Lecture Notes in Computer Science
PRICAI 2021: Trends in Artificial Intelligence
18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8–12, 2021, Proceedings, Part I
Häftad, Engelska, 2021
1 095 kr
Skickas inom 10-15 vardagar
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 papers and 28 short papers presented in these volumes were carefully reviewed and selected from 382 submissions. PRICAI covers a wide range of topics in the areas of social and economic importance for countries in the Pacific Rim: artificial intelligence, machine learning, natural language processing, knowledge representation and reasoning, planning and scheduling, computer vision, distributed artificial intelligence, search methodologies, etc. Part I includes the following topical headings: AI Foundations / Decision Theory, Applications of AI, Data Mining and Knowledge Discovery, Evolutionary Computation / Optimisation, Knowledge Representation and Reasoning.
Del 13032 - Lecture Notes in Computer Science
PRICAI 2021: Trends in Artificial Intelligence
18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8–12, 2021, Proceedings, Part II
Häftad, Engelska, 2021
1 034 kr
Skickas inom 10-15 vardagar
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 papers and 28 short papers presented in these volumes were carefully reviewed and selected from 382 submissions. PRICAI covers a wide range of topics in the areas of social and economic importance for countries in the Pacific Rim: artificial intelligence, machine learning, natural language processing, knowledge representation and reasoning, planning and scheduling, computer vision, distributed artificial intelligence, search methodologies, etc. Part II includes two thematic blocks: Natural Language Processing, followed by Neural Networks and Deep Learning.
Del 13033 - Lecture Notes in Computer Science
PRICAI 2021: Trends in Artificial Intelligence
18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8–12, 2021, Proceedings, Part III
Häftad, Engelska, 2021
878 kr
Skickas inom 10-15 vardagar
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 papers and 28 short papers presented in these volumes were carefully reviewed and selected from 382 submissions. PRICAI covers a wide range of topics in the areas of social and economic importance for countries in the Pacific Rim: artificial intelligence, machine learning, natural language processing, knowledge representation and reasoning, planning and scheduling, computer vision, distributed artificial intelligence, search methodologies, etc. Part III includes two thematic blocks: Reinforcement Learning, followed by Vision and Perception.
- Nyhet
1 275 kr
Skickas inom 10-15 vardagar
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 game – to demonstrate the natural interplay between designing new graph games and exploring new kinds of logics that fit with these games. The collected works in this volume therefore straddle both established research directions of designing logics for analyzing games and designing games for analyzing logics.This book contains a general introduction to the project of matching up graph games and logic design, and a collection of selected and commissioned contributions that illustrate novel concepts, questions, and logical techniques in the field. The contributions are introduced and contextualized in an editorial preface and conclusion. Future outlooks towards further research on graph games, new graph games, major new technical challenges, and potential practical applications to, for example, board games and a design tool for experiments in cognitive psychology conclude the volume. This book is of interest to a broad audience working with theoretical and practical applications of graph games and modal logics.
9 061 kr
Kommande
Monotonicity in Logic and Language
Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Häftad, Engelska, 2020
769 kr
Skickas inom 10-15 vardagar
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 December 2020.
402 kr
Skickas inom 5-8 vardagar
1 064 kr
Skickas inom 10-15 vardagar
This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference change, including new information, suggestions, and commands.
1 064 kr
Skickas inom 10-15 vardagar
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 new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference change, including new information, suggestions, and commands. In sum, the book creates new bridges between many fields, from philosophy and computer science to economics, linguistics, and psychology. For the experienced scholar access to a large body of recent literature is provided and the novice gets a thorough introduction to the action and techniques of dynamic logic.
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
Inbunden, Engelska, 2020
1 577 kr
Skickas inom 10-15 vardagar
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), proof theory, algebraic logic, game logics, and philosophical foundations of logic.
1 577 kr
Skickas inom 10-15 vardagar
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), proof theory, algebraic logic, game logics, and philosophical foundations of logic.
1 554 kr
Skickas inom 3-6 vardagar
The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and 15th ALCs.
Del 14325 - Lecture Notes in Computer Science
PRICAI 2023: Trends in Artificial Intelligence
20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15–19, 2023, Proceedings, Part I
Häftad, Engelska, 2023
878 kr
Skickas inom 10-15 vardagar
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 papers presented in these volumes were carefully reviewed and selected from 422 submissions.
Del 14326 - Lecture Notes in Computer Science
PRICAI 2023: Trends in Artificial Intelligence
20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15–19, 2023, Proceedings, Part II
Häftad, Engelska, 2023
1 204 kr
Skickas inom 7-10 vardagar
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 papers presented in these volumes were carefully reviewed and selected from 422 submissions.
Del 14327 - Lecture Notes in Computer Science
PRICAI 2023: Trends in Artificial Intelligence
20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15–19, 2023, Proceedings, Part III
Häftad, Engelska, 2023
878 kr
Skickas inom 7-10 vardagar
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 papers presented in these volumes were carefully reviewed and selected from 422 submissions. PRICAI covers a wide range of topics in the areas of social and economic importance for countries in the Pacific Rim: artificial intelligence, machine learning, natural language processing, knowledge representation and reasoning, planning and scheduling, computer vision, distributed artificial intelligence, search methodologies, etc.