Search

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024. The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Keynote Talks; Analysis of Diagrams; Euler and Venn Diagrams; Diagrams in Logic; Diagrams and Applications; Diagram Tools; Historical Aspects of Diagrams; and Posters.

This volume is a collection of essays related to the work of Professor Yuriy Vasilievich Ivlev, a distinguished Russian logician and philosopher renowned for his expertise in many-valued and modal logics. Notably, his groundbreaking work on quasi-matrices for logics, now recognized as non-deterministic matrices and non-deterministic semantics, emerged in the 1970s. From a philosophical standpoint, Ivlev's research delves into the formal analysis of indeterminacy, offering a logical framework to understand how sequences of indeterminate events can yield determinate outcomes. The volume follows two complementary lines of research. Firstly, it serves as a platform for the exploration and discussion of Ivlev's seminal contributions to the algebraic characterization of both normal and non-normal modal logics, aimed at making these insights accessible to an international audience. Secondly, it features contributions from esteemed logicians and philosophers worldwide, offering diverseperspectives on the logical analysis of indeterminacy. This comprehensive volume will appeal to scholars and researchers in logic, philosophy, and mathematics who are engaged in the study of many-valued and modal methodologies for modeling situations of indeterminacy.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This book constitutes the refereed post-conference proceedings of the 20th International Conference, LENLS20, held in Osaka, Japan, during November 18-20, 2023. The 19 full papers presented were carefully reviewed and selected from 46 submissions. The conference aims to cover the topics at the Intersection of Language and logic, and so Centers Around Linguistics, both Theoretical and Computational; Logic; Philosophy; and other sorts of Formal Approaches to these topics such as Game Theory.

Samson Abramsky's wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky's work. It contains both survey material and new results, organised around six major themes: domains and duality, game semantics, contextuality and quantum computation, comonads and descriptive complexity, categorical and logical semantics, and probabilistic computation. These relate to different stages and aspects of Abramsky's work, reflecting its exceptionally broad scope and his ability to illuminate and unify diverse topics.Chapters in the volume include a review of his entire body of work, spanning from philosophical aspects to logic, programming language theory, quantum theory, economics and psychology, and relating it to a theory of unification of sciences using dual adjunctions. The section on game semantics shows how Abramsky's work hasled to a powerful new paradigm for the semantics of computation. The work on contextuality and categorical quantum mechanics has been highly influential, and provides the foundation for increasingly widely used methods in quantum computing. The work on comonads and descriptive complexity is building bridges between currently disjoint research areas in computer science, relating Structure to Power.The volume also includes a scientific autobiography, and an overview of the contributions. The outstanding set of contributors to this volume, including both senior and early career academics, serve as testament to Samson Abramsky's enduring influence. It will provide an invaluable and unique resource for both students and established researchers.

This book constitutes the proceedings of the 22nd International Semantic Web Conference, ISWC 2023, which took place in October 2023 in Athens, Greece. The 58 full papers presented in this double volume were thoroughly reviewed and selected from 248 submissions. Many submissions focused on the use of reasoning and query answering, witha number addressing engineering, maintenance, and alignment tasks for ontologies. Likewise, there has been a healthy batch of submissions on search, query, integration, and the analysis of knowledge. Finally, following the growing interest in neuro-symbolic approaches, there has been a rise in the number of studies that focus on the use of Large Language Models and Deep Learning techniques such as Graph Neural Networks.

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: ​logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language. Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach. Topics and features: Delivers a ‘crash'diagram-based course in theory of computationUses single-instruction diagrammatic programming languageOffers a practical introduction into categories and string diagrams as computational toolsReveals how computability is programmability, rather than an ‘ether'permeating computers Provides a categorical model of intensional computation is unique up to isomorphismServes as a stepping stone into research of computable categories In addition to its early chapters introducing computability for beginners, this flexible textbook/resource also contains both middle chapters that expand for suitability to a graduate course as well as final chapters opening up new research. Dusko Pavlovic is a professor at the Department of Information and Computer Sciences at the University of Hawaii at Manoa, and by courtesy at the Department of Mathematics and the College of Engineering. He completed this book as an Excellence Professor at Radboud University in Nijmegen, The Netherlands.

This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022. The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications.Statistical Statements in Probabilistic Logic Programming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Chapters “Statistical Statements in Probabilistic Logic Programming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in hybrid mode in Valencia, Spain, in November 2022. The 31 full papers presented together with 15 short papers and 1 demo paper were carefully reviewed and selected from 100 submissions.The conference covers a wide range of ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

This book constitutes extended, revised, and selected papers from the 12th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2020. Organized in the Tokyo Institute of Technology, it was held virtually due to COVID-19 pandemic. The 19 full papers were carefully selected from 50 submissions and present two workshops: Logic and Engineering of Natural Language Semantics (LENLS 2020) focus on the formal and theoretical aspects of natural language. It is an annual International Workshop recognized internationally in the formal syntax-semantics-pragmatics community. The 14th International Workshop on Juris-informatics (JURISIN 2020) details legal issues for the perspective of information science. This workshop covers a wide range of topics, including any theories and technologies which are not directly related with juris-informatics but have a potential to contribute to this domain.

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in Nagoya, Japan, in November 2020. The 19 full papers presented and 13 short papers were carefully reviewed and selected from 50 submissions.Due to COVID-19, the conference was held online. The conference covers a wide range of ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.• In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods).The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools•The conference was held virtually due to the COVID-19 pandemic. Chapter ‘Constructive Hybrid Games'is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design.

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections named: Argumentation; Belief Functions; Conditional, Default and Analogical Reasoning; Learning and Decision Making; Precise and Imprecise Probabilities; and Uncertain Reasoning for Applications.

This volume constitutes the proceedings of the 8th International Congress on BIGDATA 2019, held as Part of SCF 2019 in San Diego, CA, USA in June 2019. The 9 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They cover topics such as: Big Data Models and Algorithms; Big Data Architectures; Big Data Management; Big Data Protection, Integrity and Privacy; Security Applications of Big Data; Big Data Search and Mining; Big Data for Enterprise, Government and Society.

This book constitutes extended, revised, and selected papers from the 10th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2018. It was held in November 2018 in Yokohama, Japan. The 28 paper full papers and 5 short papers were carefully selected from 97 submissions. The papers selected cover topics in Artificial Intelligence, such as AI and law, business intelligence, human intelligence, logic and engineering, and data analytics and applications.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.

This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orłowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Orłowska's autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors'biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orłowska's work.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda andcombinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017. The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic (the so-called non-normal modal logics). In addition, the book discusses a broad range of topics, including standard modal logic results (i.e., completeness, decidability and definability); bisimulations for neighborhood models and other model-theoretic constructions; comparisons with other semantics for modal logic (e.g., relational models, topological models, plausibility models); neighborhood semantics for first-order modal logic, applications in game theory (coalitional logic and game logic); applications in epistemic logic (logics of evidence and belief); and non-normal modal logics with dynamic modalities.The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level); or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory.

This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural Language, Philosophy and Philosophical Logic, and Strategic Reasoning.

This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. Features: explores the interrelationships between sets and graphs and their applications to finite combinatorics; introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a discussion on set universes; explains how sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs; investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets; presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant; contains numerous exercises, examples, definitions, problemsand insight panels.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift. We attempt to summarize Phil Wadler's scientific achievements. In addition, we describe the personal style and enthusiasm that Phil has brought to the subject.

This book celebrates and expands on J. Michael Dunn's work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself to a definition of negation and it has figured into Dunn's comprehensive investigations into representations of various negations. The informational view of semantics is also a prominent theme in Dunn's research on other logics, such as quantum logic and linear logic, and led to the encompassing theory of generalized Galois logics (or'gaggles'). Dunn's latest work addresses informational interpretations of the ternary accessibility relation and the verynature of information. The book opens with Dunn's autobiography, followed by a list of his publications. It then presents a series of papers written by respected logicians working on different aspects of information-based logics. The topics covered include the logic R-mingle, which was introduced by Dunn, and its applications in mathematical reasoning as well as its importance in obtaining results for other relevance logics. There are also interpretations of the accessibility relation in the semantics of relevance and other non-classical logics using different notions of information. It also presents a collection of papers that develop semantics for various logics, including certain modal and many-valued logics.The publication of this book is well timed, since we are living in an'information age.” Providing new technical findings, intellectual history and careful expositions of intriguing ideas, it appeals to a wide audience of scholars and researchers.

This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.