Fenrong Liu – författare

Visar alla böcker från författaren Fenrong Liu. Handla med fri frakt och snabb leverans.

28 produkter

Kategorier

28 produkter

Logic, Language and Philosophy
An Introduction to Standard Logic
AvFenrong Liu,Martin Stokhof
Häftad, Engelska, 2024
387 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.
Logic Across the University
Foundations and Applications
AvJohan van Benthem,Fenrong Liu
Häftad, Engelska, 2013
273 kr
Skickas inom 5-8 vardagar
Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021
AvFenrong Liu,Alessandra Marram. fl.
Häftad, Engelska, 2021
263 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
AvDuc Nghia Pham,Thanaruk Theeramunkongm. fl.
Häftad, Engelska, 2021
1 142 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.
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
AvFenrong Liu,Guido Governatorim. fl.
E-bok
Engelska, 2021
1 373 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
AvDuc Nghia Pham,Thanaruk Theeramunkongm. fl.
Häftad, Engelska, 2021
1 077 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.
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
AvFenrong Liu,Guido Governatorim. fl.
E-bok
Engelska, 2021
1 373 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
AvDuc Nghia Pham,Thanaruk Theeramunkongm. fl.
Häftad, Engelska, 2021
915 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.
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
AvFenrong Liu,Guido Governatorim. fl.
E-bok
Engelska, 2021
1 074 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
AvJohan van Benthem,Fenrong Liu
Inbunden, Engelska, 2026
1 329 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.
Graph Games and Logic Design
Recent Developments and Further Directions
AvFenrong Liu,Johan van Benthem
E-bok
Engelska, 2026
1 746 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.
Handbook of Logical Thought in China
AvFenrong Liu,Jeremy M. Seligman
Inbunden, Engelska
9 589 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
AvDun Deng,Fenrong Lium. fl.
Häftad, Engelska, 2020
801 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.
Monotonicity in Logic and Language
Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
AvDag Westerstahl,Mingming Lium. fl.
E-bok
Engelska, 2020
985 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.
History of Logic in China
5 Questions
AvFenrong Liu,Jeremy Seligman
Häftad, Engelska, 2015
413 kr
Skickas inom 5-8 vardagar
Del 354 - Synthese Library
Reasoning about Preference Dynamics
AvFenrong Liu
Inbunden, Engelska, 2011
1 108 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.
Reasoning about Preference Dynamics
AvFenrong Liu
E-bok
PDF, Engelska, 2011
1 413 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
AvFenrong Liu
Häftad, Engelska, 2013
1 108 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
AvFenrong Liu,Hiroakira Onom. fl.
Inbunden, Engelska, 2020
1 659 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.
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
AvJunhua Yu,Hiroakira Onom. fl.
E-bok
Engelska, 2020
2 044 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.
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
AvFenrong Liu,Hiroakira Onom. fl.
Häftad, Engelska, 2021
1 659 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.
Proceedings Of The 14th And 15th Asian Logic Conferences
AvKim Byunghan,Byunghan Kimm. fl.
Inbunden, Engelska, 2019
1 669 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
AvFenrong Liu,Arun Anand Sadanandanm. fl.
Häftad, Engelska, 2023
915 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.
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
AvDickson Lukose,Petrus Mursantom. fl.
E-bok
Engelska, 2023
1 150 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
AvFenrong Liu,Arun Anand Sadanandanm. fl.
Häftad, Engelska, 2023
1 255 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.
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
AvDickson Lukose,Petrus Mursantom. fl.
E-bok
Engelska, 2023
1 634 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
AvFenrong Liu,Arun Anand Sadanandanm. fl.
Häftad, Engelska, 2023
915 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.
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
AvDickson Lukose,Petrus Mursantom. fl.
E-bok
Engelska, 2023
1 138 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.

Företag, bibliotek eller offentlig verksamhet?

Fenrong Liu – författare

Logic, Language and Philosophy

Logic Across the University

Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021

PRICAI 2021: Trends in Artificial Intelligence

PRICAI 2021: Trends in Artificial Intelligence

PRICAI 2021: Trends in Artificial Intelligence

PRICAI 2021: Trends in Artificial Intelligence

PRICAI 2021: Trends in Artificial Intelligence

PRICAI 2021: Trends in Artificial Intelligence

Graph Games and Logic Design

Graph Games and Logic Design

Handbook of Logical Thought in China

Monotonicity in Logic and Language

Monotonicity in Logic and Language

History of Logic in China

Reasoning about Preference Dynamics

Reasoning about Preference Dynamics

Reasoning about Preference Dynamics

Knowledge, Proof and Dynamics

Knowledge, Proof and Dynamics

Knowledge, Proof and Dynamics

Proceedings Of The 14th And 15th Asian Logic Conferences

PRICAI 2023: Trends in Artificial Intelligence

PRICAI 2023: Trends in Artificial Intelligence

PRICAI 2023: Trends in Artificial Intelligence

PRICAI 2023: Trends in Artificial Intelligence

PRICAI 2023: Trends in Artificial Intelligence

PRICAI 2023: Trends in Artificial Intelligence

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration