Fenrong Liu – författare
Visar alla böcker från författaren Fenrong Liu. Handla med fri frakt och snabb leverans.
28 produkter
28 produkter
Häftad, Engelska, 2024
391 kr
Skickas inom 5-8 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.
Häftad, Engelska, 2013
262 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2021
255 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 112 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.
1 377 kr
Läs direkt efter köp
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 049 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.
1 377 kr
Läs direkt efter köp
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
891 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.
1 077 kr
Läs direkt efter köp
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.
Del 66 - Trends in Logic
Graph Games and Logic Design
Recent Developments and Further Directions
Inbunden, Engelska, 2026
1 294 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.
E-bok
Engelska, 20261 733 kr
Läs direkt efter köp
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.
Inbunden, Engelska
9 302 kr
Kommande
Häftad, Engelska, 2020
780 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. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held online.The workshop covers a wide range of topics where monotonicity is discussed in the context of logic, causality, belief revision, quantification, polarity, syntax, comparatives, and various semantic phenomena in particular languages.
E-bok
Engelska, 2020978 kr
Läs direkt efter köp
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. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held online.The workshop covers a wide range of topics where monotonicity is discussed in the context of logic, causality, belief revision, quantification, polarity, syntax, comparatives, and various semantic phenomena in particular languages.
Häftad, Engelska, 2015
410 kr
Skickas inom 5-8 vardagar
Del 354 - Synthese Library
Reasoning about Preference Dynamics
Inbunden, Engelska, 2011
1 080 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.
E-bok
PDF, Engelska, 20111 367 kr
Läs direkt efter köp
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.
Del 354 - Synthese Library
Reasoning about Preference Dynamics
Häftad, Engelska, 2013
1 080 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.
Inbunden, Engelska, 2020
1 616 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. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.
2 049 kr
Läs direkt efter köp
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. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.
Häftad, Engelska, 2021
1 616 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. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.
Inbunden, Engelska, 2019
1 590 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
891 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. 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.
1 101 kr
Läs direkt efter köp
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.
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 222 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. 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.
1 565 kr
Läs direkt efter köp
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.
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
891 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. 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.
1 101 kr
Läs direkt efter köp
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.