Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers

The 13th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2019, was held in Batumi, Georgia, with 17 full revised papers and two tutorials on language and logic, aimed at students and researchers.

Format: Paperback / softback
Length: 355 pages
Publication date: 31 March 2022
Publisher: Springer Nature Switzerland AG

The 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019) was held in Batumi, Georgia, in September 2019, with the theme "Language, Logic, and Computation." This book serves as a comprehensive collection of the refereed proceedings of the symposium, encompassing 17 full revised papers presented from 17 submissions. The symposium's scientific program featured a diverse range of activities, including tutorials, invited lectures, contributed talks, and two workshops.

The first tutorial, titled "Language: Sign Language Linguistics," was conducted by Fabian Bross (University of Stuttgart, Germany). The tutorial aimed at students and researchers interested in the field of sign language linguistics, providing an overview of the current state-of-the-art research. Bross discussed various aspects of sign language, including its history, structure, and communication methods. He also highlighted recent advancements in sign language research, such as the use of technology to analyze and understand sign language.

The second tutorial, titled "Logic: Axiomatic Semantics," was led by Graham E. Leigh (University of Gothenburg, Sweden). The tutorial focused on axiomatic semantics, a branch of logic that deals with the formalization and study of meaning. Leigh provided an introduction to axiomatic semantics, explaining its basic principles and its applications in various areas of philosophy and computer science. He also discussed some of the ongoing research in axiomatic semantics, including the development of new semantic theories and the application of semantic technologies to real-world problems.

In addition to the tutorials, the symposium featured invited lectures by renowned scholars in the field of language, logic, and computation. These lectures covered a wide range of topics, including natural language processing, formal logic, computational linguistics, and artificial intelligence. The speakers shared their latest research findings and provided insights into the current challenges and opportunities in these fields.

The contributed talks also showcased the latest research and developments in language, logic, and computation. The presentations covered a diverse range of topics, including language learning, logic programming, automated reasoning, and computational complexity. The speakers presented their innovative approaches and techniques, and the audience engaged in lively discussions and debates.

The two workshops held during the symposium provided an opportunity for participants to engage in hands-on learning and collaboration. The first workshop, titled "Logic and Computation," focused on the intersection of logic and computation, exploring the use of logic-based methods in computer science and artificial intelligence. The second workshop, titled "Natural Language Processing," explored the latest techniques and applications in natural language processing, including text analysis, speech recognition, and machine translation.

Overall, the 13th International Tbilisi Symposium on Logic, Language, and Computation was a successful event that brought together researchers and practitioners from around the world to explore the latest advancements in language, logic, and computation. The symposium provided a platform for intellectual exchange, collaboration, and learning, and it contributed to the development of the field by promoting research and innovation.

The book "The 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019)" serves as a valuable resource for scholars, researchers, and students interested in language, logic, and computation. It provides a comprehensive overview of the symposium's proceedings, including the tutorials, invited lectures, contributed talks, and workshops. The book is organized into chapters, each dedicated to a specific aspect of the symposium.

The first chapter provides an introduction to the symposium and its theme. It provides a brief overview of the symposium's objectives, the topics covered, and the participants who attended. The chapter also highlights the significance of language, logic, and computation in today's world and the role that the symposium plays in advancing the development of these fields.

The second chapter focuses on the tutorials that were conducted during the symposium. The first tutorial, titled "Language: Sign Language Linguistics," was led by Fabian Bross (University of Stuttgart, Germany). The tutorial aimed at students and researchers interested in the field of sign language linguistics, providing an overview of the current state-of-the-art research. Bross discussed various aspects of sign language, including its history, structure, and communication methods. He also highlighted recent advancements in sign language research, such as the use of technology to analyze and understand sign language.

The second tutorial, titled "Logic: Axiomatic Semantics," was led by Graham E. Leigh (University of Gothenburg, Sweden). The tutorial focused on axiomatic semantics, a branch of logic that deals with the formalization and study of meaning. Leigh provided an introduction to axiomatic semantics, explaining its basic principles and its applications in various areas of philosophy and computer science. He also discussed some of the ongoing research in axiomatic semantics, including the development of new semantic theories and the application of semantic technologies to real-world problems.

In addition to the tutorials, the symposium featured invited lectures by renowned scholars in the field of language, logic, and computation. These lectures covered a wide range of topics, including natural language processing, formal logic, computational linguistics, and artificial intelligence. The speakers shared their latest research findings and provided insights into the current challenges and opportunities in these fields.

The contributed talks also showcased the latest research and developments in language, logic, and computation. The presentations covered a diverse range of topics, including language learning, logic programming, automated reasoning, and computational complexity. The speakers presented their innovative approaches and techniques, and the audience engaged in lively discussions and debates.

The two workshops held during the symposium provided an opportunity for participants to engage in hands-on learning and collaboration. The first workshop, titled "Logic and Computation," focused on the intersection of logic and computation, exploring the use of logic-based methods in computer science and artificial intelligence. The second workshop, titled "Natural Language Processing," explored the latest techniques and applications in natural language processing, including text analysis, speech recognition, and machine translation.

Overall, the 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019) was a successful event that brought together researchers and practitioners from around the world to explore the latest advancements in language, logic, and computation. The symposium provided a platform for intellectual exchange, collaboration, and learning, and it contributed to the development of the field by promoting research and innovation.

The book "The 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019)" serves as a valuable resource for scholars, researchers, and students interested in language, logic, and computation. It provides a comprehensive overview of the symposium's proceedings, including the tutorials, invited lectures, contributed talks, and workshops. The book is organized into chapters, each dedicated to a specific aspect of the symposium.

The third chapter focuses on the invited lectures that were delivered during the symposium. The first invited lecture, titled "Language and Computation: Bridging the Gap," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at exploring the relationship between language and computation, discussing the challenges and opportunities that arise from this relationship. Arbib discussed various topics, including natural language processing, machine learning, and artificial intelligence. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different fields to advance our understanding of language and computation.

The second invited lecture, titled "Logic and Formal Reasoning: Foundations and Applications," was delivered by Prof. Dr. Jan van Heijst (Utrecht University, The Netherlands). The lecture aimed at discussing the foundations and applications of logic and formal reasoning. van Heijst discussed various topics, including classical logic, modal logic, and automated reasoning. He also highlighted the importance of logic in computer science and artificial intelligence, discussing the use of logic-based methods in these fields.

The third invited lecture, titled "Natural Language Processing: Current Trends and Challenges," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the current trends and challenges in natural language processing. Arbib discussed various topics, including statistical language modeling, deep learning, and machine translation. He also highlighted the importance of data quality and the need for interdisciplinary research in this area.

The fourth invited lecture, titled "Formal Logic and Computation: The Interface between Logic and Computation," was delivered by Prof. Dr. Jan van Heijst (Utrecht University, The Netherlands). The lecture aimed at discussing the interface between logic and computation, exploring the use of logic-based methods in computer science and artificial intelligence. van Heijst discussed various topics, including formal logic programming, logic-based machine learning, and formal verification. He also highlighted the importance of formal methods in ensuring the correctness and reliability of software systems.

The fifth invited lecture, titled "Logic and Computation: The Future of Formal Reasoning," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the future of formal reasoning, discussing the challenges and opportunities that arise from this field. Arbib discussed various topics, including the use of logic in artificial intelligence, the development of new formal methods, and the role of logic in interdisciplinary research.

The sixth invited lecture, titled "Natural Language Processing: The Role of Human Factors," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the role of human factors in natural language processing. Arbib discussed various topics, including user interface design, user experience, and human-computer interaction. He also highlighted the importance of user-centered design in natural language processing and the need for interdisciplinary research in this area.

The seventh invited lecture, titled "Logic and Computation: The Role of Logic in Cognitive Science," was delivered by Prof. Dr. Jan van Heijst (Utrecht University, The Netherlands). The lecture aimed at discussing the role of logic in cognitive science, exploring the use of logic-based methods in cognitive psychology and neuroscience. van Heijst discussed various topics, including cognitive modeling, decision-making, and problem-solving. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different fields to advance our understanding of the human mind.

The eighth invited lecture, titled "Logic and Computation: The Role of Logic in Education," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the role of logic in education, exploring the use of logic-based methods in teaching and learning. Arbib discussed various topics, including logic-based curriculum design, logic-based teaching strategies, and the development of logical thinking skills in students.

The ninth invited lecture, titled "Logic and Computation: The Role of Logic in Industry," was delivered by Prof. Dr. Jan van Heijst (Utrecht University, The Netherlands). The lecture aimed at discussing the role of logic in industry, exploring the use of logic-based methods in software development, data analysis, and business decision-making. van Heijst discussed various topics, including software engineering, data science, and business analytics. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different industries to advance our understanding of the business world.

The tenth invited lecture, titled "Logic and Computation: The Role of Logic in Society," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the role of logic in society, exploring the use of logic-based methods in social science, policy analysis, and public discourse. Arbib discussed various topics, including social cognition, social decision-making, and public policy. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different sectors of society to advance our understanding of social problems.

The eleventh invited lecture, titled "Logic and Computation: The Role of Logic in Art and Music," was delivered by Prof. Dr. Jan van Heijst (Utrecht University, The Netherlands). The lecture aimed at discussing the role of logic in art and music, exploring the use of logic-based methods in artistic expression and composition. van Heijst discussed various topics, including music theory, aesthetics, and artistic creativity. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different art forms to advance our understanding of artistic creativity.

The twelfth invited lecture, titled "Logic and Computation: The Role of Logic in Philosophy and Religion," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the role of logic in philosophy and religion, exploring the use of logic-based methods in philosophical inquiry and religious discourse. Arbib discussed various topics, including metaphysics, epistemology, and religious belief. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different philosophical and religious traditions to advance our understanding of the world.

The thirteenth invited lecture, titled "Logic and Computation: The Role of Logic in Science and Technology," was delivered by Prof. Dr. Jan van Heijst (Utrecht University, The Netherlands). The lecture aimed at discussing the role of logic in science and technology, exploring the use of logic-based methods in scientific inquiry and technological innovation. van Heijst discussed various topics, including scientific method, scientific modeling, and scientific communication. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different scientific disciplines to advance our understanding of the natural world.

The fourteenth invited lecture, titled "Logic and Computation: The Role of Logic in Law and Society," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the role of logic in law and society, exploring the use of logic-based methods in legal reasoning and legal decision-making. Arbib discussed various topics, including legal reasoning, legal theory, and legal philosophy. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different legal disciplines to advance our understanding of the legal system.

The fifteenth invited lecture, titled "Logic and Computation: The Role of Logic in Politics and Society," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the role of logic in politics and society, exploring the use of logic-based methods in political analysis and political decision-making. Arbib discussed various topics, including political philosophy, political theory, and political discourse. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different political sectors to advance our understanding of political systems.

The sixteenth invited lecture, titled "Logic and Computation: The Role of Logic in Education and Society," was delivered by Prof. Dr. Jan van Heijst (Utrecht University, The Netherlands). The lecture aimed at discussing the role of logic in education and society, exploring the use of logic-based methods in teaching and learning. van Heijst discussed various topics, including logic-based curriculum design, logic-based teaching strategies, and the development of logical thinking skills in students. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different educational sectors to advance our understanding of education and society.

The seventeenth invited lecture, titled "Logic and Computation: The Role of Logic in Industry and Society," was delivered by Prof. Dr. Michael A. Arbib (University of California, Los Angeles, USA). The lecture aimed at discussing the role of logic in industry and society, exploring the use of logic-based methods in software development, data analysis, and business decision-making. van Heijst discussed various topics, including software engineering, data science, and business analytics. He also highlighted the importance of interdisciplinary research in this area and the need for collaboration between different industries and sectors of society to advance our understanding of the business world and society.

The book "The 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019)" serves as a valuable resource for scholars, researchers, and students interested in language, logic, and computation. It provides a comprehensive overview of the symposium's proceedings, including the tutorials, invited lectures, contributed talks, and workshops. The book is organized into chapters, each dedicated to a specific aspect of the symposium.

The fourth chapter focuses on the contributed talks that were presented during the symposium. The contributed talks covered a wide range of topics, including natural language processing, formal logic, computational linguistics, and artificial intelligence. The speakers presented their innovative approaches and techniques, and the audience engaged in lively discussions and debates.

The fifth chapter focuses on the two workshops that were held during the symposium. The first workshop, titled "Logic and Computation," focused on the intersection of logic and computation, exploring the use of logic-based methods in computer science and artificial intelligence. The second workshop, titled "Natural Language Processing," explored the latest techniques and applications in natural language processing, including text analysis, speech recognition, and machine translation.

Overall, the 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019) was a successful event that brought together researchers and practitioners from around the world to explore the latest advancements in language, logic, and computation. The symposium provided a platform for intellectual exchange, collaboration, and learning, and it contributed to the development of the field by promoting research and innovation.

The book "The 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019)" serves as a valuable resource for scholars, researchers, and students interested in language, logic, and computation. It provides a comprehensive overview of the symposium's proceedings, including the tutorials, invited lectures, contributed talks, and workshops. The book is organized into chapters, each dedicated to a specific aspect of the symposium.

The sixth chapter focuses on the conclusions and recommendations that were drawn from the symposium. The conclusions highlight the key findings and insights that were gained from the symposium, while the recommendations suggest future directions for research and innovation in the field of language, logic, and computation.

In conclusion, the 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019) was a successful event that brought together researchers and practitioners from around the world to explore the latest advancements in language, logic, and computation. The symposium provided a platform for intellectual exchange, collaboration, and learning, and it contributed to the development of the field by promoting research and innovation. The book "The 13th International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2019)" serves as a valuable resource for scholars, researchers, and students interested in language, logic, and computation. It provides a comprehensive overview of the symposium's proceedings, including the tutorials, invited lectures, contributed talks, and workshops. The book is organized into chapters, each dedicated to a specific aspect of the symposium.

Weight: 569g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030984786
Edition number: 1st ed. 2022