62 research outputs found
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum
LIPIcs, Volume 261, ICALP 2023, Complete Volume
LIPIcs, Volume 261, ICALP 2023, Complete Volum
Materials of Culture: Approaches to Materials in Cultural Studies
While the so-called material turn in the humanities and the social sciences has inspired a vibrant discourse on objects, things, and the concept of materiality in general, less attention has been paid to materials, particularly in cultural studies scholarship. With each of its chapters taking a particular material as its point of departure, this volume offers a palette of fresh approaches to materials within the realm of cultural studies. The contributors call for a materials-based perspective on culture, which has become all the more pertinent in times of climate change, energy crisis, conflict, migration, and the lingering coronavirus pandemic
LIPIcs, Volume 274, ESA 2023, Complete Volume
LIPIcs, Volume 274, ESA 2023, Complete Volum
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum
Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems
Automated Reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science
Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs
We propose a graph-based extension of Boolean logic called Boolean Graph
Logic (BGL). Construing formula trees as the cotrees of cographs, we may state
semantic notions such as evaluation and entailment in purely graph-theoretic
terms, whence we recover the definition of BGL. Naturally, it is conservative
over usual Boolean logic.
Our contributions are the following:
(1) We give a natural semantics of BGL based on Boolean relations, i.e. it is
a multivalued semantics, and show adequacy of this semantics for the
corresponding notions of entailment. (2) We show that the complexity of
evaluation is NP-complete for arbitrary graphs (as opposed to ALOGTIME-complete
for formulas), while entailment is -complete (as opposed to
coNP-complete for formulas). (3) We give a 'recursive' algorithm for evaluation
by induction on the modular decomposition of graphs. (Though this is not
polynomial-time, cf. point (2) above). (4) We characterise evaluation in a
game-theoretic setting, in terms of both static and sequentical strategies,
extending the classical notion of positional game forms beyond cographs. (5) We
give an axiomatisation of BGL, inspired by deep-inference proof theory, and
show soundness and completeness for the corresponding notions of entailment.
One particular feature of the graph-theoretic setting is that it escapes
certain no-go theorems such as a recent result of Das and Strassburger, that
there is no linear axiomatisation of the linear fragment of Boolean logic
(equivalently the multiplicative fragment of Japaridze's Computability Logic or
Blass' game semantics for Mutliplicative Linear Logic).Comment: 47 pages, 2 figures, 2 table
- …