Logic in Computer Science

Authors and titles for August 2019

[26] arXiv:1908.06550 [pdf, other]

Title: Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence

Wan Fokkink, Rob van Glabbeek, Bas Luttik

Comments: An extended abstract of this paper appeared in Proc. CONCUR'17

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1908.06684 [pdf, other]

Title: Directed Homotopy in Non-Positively Curved Spaces

Eric Goubault, Samuel Mimram

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 3 (July 13, 2020) lmcs:5731

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Algebraic Topology (math.AT)

[28] arXiv:1908.07188 [pdf, other]

Title: Lemma Generation for Horn Clause Satisfiability: A Preliminary Study

Emanuele De Angelis (DEC, University "G. d'Annunzio" of Chieti-Pescara, Italy), Fabio Fioravanti (DEC, University "G. d'Annunzio" of Chieti-Pescara, Italy), Alberto Pettorossi (DICII, University of Roma Tor Vergata, Italy), Maurizio Proietti (CNR-IASI, Rome, Italy)

Comments: In Proceedings VPT 2019, arXiv:1908.06723

Journal-ref: EPTCS 299, 2019, pp. 4-18

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

[29] arXiv:1908.07189 [pdf, other]

Title: Polyvariant Program Specialisation with Property-based Abstraction

John P. Gallagher (Roskilde University and IMDEA Software Institute)

Comments: In Proceedings VPT 2019, arXiv:1908.06723

Journal-ref: EPTCS 299, 2019, pp. 34-48

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[30] arXiv:1908.07239 [pdf, other]

Title: A simple combinatorial proof for small model property of two-variable logic

Yanger Ma, Tony Tan

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[31] arXiv:1908.08213 [pdf, other]

Title: Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics

Jorge A. Pérez (University of Groningen), Jurriaan Rot (UCL and Radboud University)

Journal-ref: EPTCS 300, 2019

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[32] arXiv:1908.08633 [pdf, other]

Title: Comparing Process Calculi Using Encodings

Kirstin Peters (TU Berlin/TU Darmstadt)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213

Journal-ref: EPTCS 300, 2019, pp. 19-38

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1908.08635 [pdf, other]

Title: On the Meaning of Transition System Specifications

Rob van Glabbeek (Data61, CSIRO)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213

Journal-ref: EPTCS 300, 2019, pp. 69-85

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1908.08636 [pdf, other]

Title: Conflict vs Causality in Event Structures

Daniele Gorla (Dip. Informatica, Sapienza Univ. di Roma), Ivano Salvo (Dip. Informatica, Sapienza Univ. di Roma), Adolfo Piperno (Dip. Informatica, Sapienza Univ. di Roma)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213

Journal-ref: EPTCS 300, 2019, pp. 86-101

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1908.08639 [pdf, other]

Title: Proceedings Sixth Workshop on Proof eXchange for Theorem Proving

Giselle Reis (Carnegie Mellon University), Haniel Barbosa (The University of Iowa)

Journal-ref: EPTCS 301, 2019

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1908.09302 [pdf, other]

Title: Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution

Davide Ancona (DIBRIS, University of Genova, Italy), Gordon Pace (Department of Computer Science, University of Malta)

Journal-ref: EPTCS 302, 2019

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[37] arXiv:1908.09478 [pdf, other]

Title: Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)

Burak Ekici (University of Innsbruck), Arjun Viswanathan (University of Iowa), Yoni Zohar (Stanford University), Clark Barrett (Stanford University), Cesare Tinelli (University of Iowa)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639. Presented as an extended abstract

Journal-ref: EPTCS 301, 2019, pp. 18-26

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1908.09479 [pdf, other]

Title: EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)

Mohamed Yacine El Haddad (CNRS), Guillaume Burel (ENSIIE), Frédéric Blanqui (Inria)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639

Journal-ref: EPTCS 301, 2019, pp. 27-35

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1908.09480 [pdf, other]

Title: Reconstructing veriT Proofs in Isabelle/HOL

Mathias Fleury (Max Planck Institut for Informatics), Hans-Jörg Schurr (University of Lorraine, CNRS, Inria, and LORIA)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639

Journal-ref: EPTCS 301, 2019, pp. 36-50

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1908.09481 [pdf, other]

Title: CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

Fadil Kallat (Technical University of Dortmund, Germany), Tristan Schäfer (Technical University of Dortmund, Germany), Anna Vasileva (Technical University of Dortmund, Germany)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639

Journal-ref: EPTCS 301, 2019, pp. 51-65

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[41] arXiv:1908.10203 [pdf, other]

Title: Towards Constraint Logic Programming over Strings for Test Data Generation

Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke

Comments: Part of DECLARE 19 proceedings

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[42] arXiv:1908.10405 [pdf, other]

Title: Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms

Marcelo Finger

Comments: An earlier version of this work has appeared at Franz Baader's festschrift. Here we detail the column generation method and present a detailed example

Journal-ref: In Lecture Notes in Computer Science 11560, pp. 286--300. Springer (2019)

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[43] arXiv:1908.10416 [pdf, other]

Title: A Type-Based HFL Model Checking Algorithm

Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada

Comments: A longer version of APLAS 2019 paper

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[44] arXiv:1908.11132 [pdf, other]

Title: Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"

Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)

[45] arXiv:1908.11169 [pdf, other]

Title: Cellular Monads from Positive GSOS Specifications

Tom Hirschowitz (Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, France)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213

Journal-ref: EPTCS 300, 2019, pp. 1-18

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)

[46] arXiv:1908.11289 [pdf, other]

Title: Factorization and Normalization, Essentially

Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:1908.11341 [pdf, other]

Title: Ordered Sets for Data Analysis

Sergei O. Kuznetsov

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[48] arXiv:1908.11342 [pdf, other]

Title: Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics

Alex Shkotin

Comments: 6 pages

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:1908.11345 [pdf, other]

Title: Local Reasoning about Parametric and Reconfigurable Component-based Systems

Marius Bozga, Radu Iosif, Joseph Sifakis

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1908.11360 [pdf, other]

Title: Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

Tim Lyon, Kees van Berkel

Comments: Included version of the paper "Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics", accepted to the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019)

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Logic (math.LO)