1
Kobayashi, Naoki
2024
Table of Contents:
“... Semantics -- Drawing from an Urn is Isometric -- Enriching Diagrams with Algebraic Operations -- Monoidal Extended Stone Duality -- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory) -- Automata and Synthesis...”2024
Full text
2
Gierasimczuk, Nina
2024
Table of Contents:
“...A spatial logic with time and quantifiers -- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability -- Axiomatization of Hybrid Logic of Link Variations -- Kleene Algebra of Weighted Programs With Domain -- Automated Quantum...”2024
Full text
3
Areces, Carlos
2023
Table of Contents:
“...First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case -- Relating Kleene algebras -- Dynamic epistemic logic for budget-constrained agents -- Action models for coalition logic -- Quantum logic for observation...”2023
Full text
4
Hanus, Michael
2023
Table of Contents:
“... between Agents -- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting -- SwitchLog: A Logic Programming Language for Network Switches -- Linear Algebraic Abduction with Partial Evaluation -- Using Hybrid Knowledge Bases for Meta...”2023
Full text
5
Artemov, Sergei
2022
Table of Contents:
“... and Their Logics -- Soundness and Completeness Results for LEA and Probability Semantics -- On Inverse Operators in Dynamic Epistemic Logic -- Computability Models Over Categories and Presheaves -- Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite...”2022
Full text
6
7
8
Vejnarová, Jiřina
2021
Table of Contents:
“... integrals -- Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals -- On the KLM properties of a fuzzy DL with Typicality -- Probability Logic -- Trust Evidence Logic -- Generalized Rules of Probabilistic Independence -- Algebras of Sets...”2021
Full text
9
Cochez, Michael
2021
Table of Contents:
“... and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs....”2021
Full text
10
Fahrenberg, Uli
2021
Table of Contents:
“...Unary-determined distributive l-magmas and bunched implication algebras -- Effect Algebras, Girard Quantales and Complementation in Separation Logic -- Relational Computation of Sets of Relations -- Experimental Investigation of Su cient Criteria...”2021
Full text
11
Faber, Wolfgang
2021
Table of Contents:
“... for Lexicographic Orders -- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment -- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics -- ReAD: AD-Based Modular Ontology Classification -- Weighted...”2021
Full text
12
Leino, K. Rustan M.
2021
Table of Contents:
“...Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis...”2021
Full text
13
14
Mazzara, Manuel
2016
Table of Contents:
“... in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic...”2016
Full text
15
Dinh, Thang N.
2016
Table of Contents:
“... -- Scheduling Algorithms and Circuit Complexity -- Computational Geometry and Computational Biology -- Logic, Algebra and Automata....”2016
Full text
16
17
Han, Yo-Sub
2016
Table of Contents:
“...Decision Problems for Finite Automata over Infinite Algebraic Structures -- The Degree of Irreversibility in Deterministic Finite Automata -- Deterministic Stack Transducers -- Computing the Expected Edit Distance from a String to a PFA -- Derived-Term...”2016
Full text
18
Brlek, Srečko
2016
Table of Contents:
“...Formal languages and automata -- Combinatorial and algebraic properties of words and languages -- Grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages -- Codes; efficient text algorithms...”2016
Full text
19
Bertogna, Marko
2016
Table of Contents:
“... -- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development -- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance -- Kronecker Algebra for Static Analysis of Barriers in Ada -- An Empirical...”2016
Full text
20
King, Andy
2016
Table of Contents:
“... Function Specifications -- Declarative foreign function binding through generic programming -- Declarative Programming with Algebra....”2016
Full text