Fenrong Liu – författare
Visar alla böcker från författaren Fenrong Liu. Handla med fri frakt och snabb leverans.
28 produkter
Logic, Language and Philosophy
An Introduction to Standard Logic
Av Fenrong Liu, Martin Stokhof
Häftad, 2024
404 kr
Lägg i varukorg
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 …
Logic Across the University
Foundations and Applications
Av Johan van Benthem, Fenrong Liu
Häftad, 2013
279 kr
Lägg i varukorg
Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021
Av Fenrong Liu, Alessandra Marra m. fl.
Häftad, 2021
272 kr
Lägg i varukorg
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
Av Duc Nghia Pham, Thanaruk Theeramunkong m. fl.
Häftad, 2021
1129 kr
Lägg i varukorg
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 …
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
Av Fenrong Liu, Guido Governatori m. fl.
E-bok, 2021
1387 kr
Lägg i varukorg
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 …
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
Av Duc Nghia Pham, Thanaruk Theeramunkong m. fl.
Häftad, 2021
1065 kr
Lägg i varukorg
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 …
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
Av Fenrong Liu, Guido Governatori m. fl.
E-bok, 2021
1373 kr
Lägg i varukorg
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 …
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
Av Duc Nghia Pham, Thanaruk Theeramunkong m. fl.
Häftad, 2021
904 kr
Lägg i varukorg
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 …
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
Av Fenrong Liu, Guido Governatori m. fl.
E-bok, 2021
1109 kr
Lägg i varukorg
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 …
Graph Games and Logic Design
Recent Developments and Further Directions
Av Johan van Benthem, Fenrong Liu
Inbunden, 2026
1314 kr
Kommande
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 …
Graph Games and Logic Design
Recent Developments and Further Directions
Av Fenrong Liu, Johan van Benthem
E-bok, 2026
1746 kr
Lägg i varukorg
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 …
Monotonicity in Logic and Language
Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Av Dun Deng, Fenrong Liu m. fl.
Häftad, 2020
792 kr
Lägg i varukorg
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 …
Monotonicity in Logic and Language
Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Av Dag Westerstahl, Mingming Liu m. fl.
E-bok, 2020
1007 kr
Lägg i varukorg
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 …
History of Logic in China
5 Questions
Av Fenrong Liu, Jeremy Seligman
Häftad, 2015
413 kr
Lägg i varukorg
Reasoning about Preference Dynamics
Av Fenrong Liu
Inbunden, 2011
1096 kr
Lägg i varukorg
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 …
Reasoning about Preference Dynamics
Av Fenrong Liu
E-bok, 2011
1459 kr
Lägg i varukorg
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 …
Reasoning about Preference Dynamics
Av Fenrong Liu
Häftad, 2013
1096 kr
Lägg i varukorg
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 …
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
Av Fenrong Liu, Hiroakira Ono m. fl.
Inbunden, 2020
1641 kr
Lägg i varukorg
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 …
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
Av Junhua Yu, Hiroakira Ono m. fl.
E-bok, 2020
2111 kr
Lägg i varukorg
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 …
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
Av Fenrong Liu, Hiroakira Ono m. fl.
Häftad, 2021
1641 kr
Lägg i varukorg
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 …
PROCEEDINGS OF THE 14TH AND 15TH ASIAN LOGIC CONFERENCES
Av Kim Byunghan, Byunghan Kim m. fl.
Inbunden, 2019
1709 kr
Lägg i varukorg
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 …
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
Av Fenrong Liu, Arun Anand Sadanandan m. fl.
Häftad, 2023
904 kr
Lägg i varukorg
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 …
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
Av Dickson Lukose, Petrus Mursanto m. fl.
E-bok, 2023
1175 kr
Lägg i varukorg
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 …
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
Av Fenrong Liu, Arun Anand Sadanandan m. fl.
Häftad, 2023
1241 kr
Lägg i varukorg
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 …
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
Av Dickson Lukose, Petrus Mursanto m. fl.
E-bok, 2023
1670 kr
Lägg i varukorg
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 …
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
Av Fenrong Liu, Arun Anand Sadanandan m. fl.
Häftad, 2023
904 kr
Lägg i varukorg
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 …
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
Av Dickson Lukose, Petrus Mursanto m. fl.
E-bok, 2023
1175 kr
Lägg i varukorg
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 …
