Abstract:The year 2012 has witnessed worldwide celebrations of Alan Turing’s 100th birthday. A great number of conferences and workshops were organized by logicians, computer scientists and researchers in AI, showing the continued flourishing of computer science, and the fruitful interfaces between logic and computer science. Logic is no longer just the concept that Frege had about one hundred years ago, let alone that of Aristotle twenty centuries before. One of the prominent features of contemporary logic is its interdisciplinary character, connecting across mathematics, philosophy, modern computer science, and even the cognitive and social sciences. China is no exception. This special issue explores interfaces of logic with AI and other disciplines, and it attempts to give a bird’s eye view of the developing landscape of logic and AI in China. Our contributors come from computer science, AI, philosophy and linguistics, united by their interest in using formal logical tools and notions to deal with substantial problems in their fields. We are aware that AI is a vast area, and that the limitations of space in a volume like this may provide a somewhat incomplete or biased view. Still we hope that the six papers selected here illustrate the concerns and curiosity driving Chinese researchers, on topics shared with our colleagues around the world. One of the active research areas in AI is planning under uncertainty, with incomplete knowledge, where a well-established logical framework is the action language of Son and Baral (Son and Baral 2001). This language can express the notions of sensing actions and making conditional plans. However, its current semantics is not yet satisfactory, since according to the semantics an agent would

Conference Report:LOGIC2009 International Logic Conference

A Report on the Chinese National Conference on Modern Logic

"Modernizing Logic":Today's Thought and Practice-A Report on a Special Session of the Conference"Wang Xianjun Centenary"

Logic Across the University: Foundations and Applications

Logic and AI in China: an Introduction

Logic Teaching in China: Past and Present

A Report on the Tutorials and Workshop of Logic,Language and Philosophy

Preface of the Special Issue‘logic, Argumentation and AI’ in JLC

Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science.

Toward a Hierarchal "View of Logic in Broad Sense"——Retrospection and Reflection of the Two Major Disputes on "View of Logic"

Logic:A Growing and Changing Concept

AppLP: A Dialogue on Applications of Logic Programming

Development and Innovation of the Study of Logic of Science in China

One hundred years of Chinese dialectical logic: An academic history of logic relating to contemporary Chinese Marxism

Conception and Theory of Logic——TWO Significant Factors in the Study of Chinese Logic History

Proceedings Seventh International Workshop on Classical Logic and Computation

On the Modernization of Logic Course——To Commemorate 100th Anniversary Birthday of Mr.Wang Xianjun

Some Thoughts on the Comprehensive Realization of the“ Modernization of Logic Education” in China:Based on the Practice of Nanjing University

Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

Ten-Year History of Social Network Logics in China