|
Showing 1 - 12 of
12 matches in All Departments
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.
|
Monotonicity in Logic and Language - Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings (Paperback, 1st ed. 2020)
Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerstahl
|
R2,193
Discovery Miles 21 930
|
Ships in 10 - 15 working days
|
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.
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.
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.
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.
|
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 (Paperback, 1st ed. 2021)
Duc-Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
|
R3,064
Discovery Miles 30 640
|
Ships in 10 - 15 working days
|
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 I (Paperback, 1st ed. 2021)
Duc-Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
|
R3,064
Discovery Miles 30 640
|
Ships in 10 - 15 working days
|
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 III (Paperback, 1st ed. 2021)
Duc-Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
|
R2,501
Discovery Miles 25 010
|
Ships in 10 - 15 working days
|
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.
Modern logic is an active agent all across the university today,
connecting disciplines, and transcending traditional boundaries.
This book demonstrates this general role in the special setting of
a conference at Tsinghua University, where modern logic was already
taught in the 1930s by pioneers like Jin Yeulin. This boon contains
an unusual dialogue between Chinese logicians and international
colleagues representing a wide range of disciplines, including
philosophy, mathematics, linguistics computer science, cognitive
science, and the social sciences. The focus of this encounter is
not only to advance logic in its university-wide role but also to
look for its application in modern society.
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.
|
You may like...
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
|