Logic in Computer Science

Authors and titles for August 2019

[51] arXiv:1908.11769 [pdf, other]

Title: Compositional specification in rewriting logic

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Comments: Changes in this revision: Removed last sentence from abstract (on the paper being considered for publication). Added note before abstract (on the paper being published)

Journal-ref: Theory and Practice of Logic Programming, 20(1), 44-98, 2020

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:1908.01624 (cross-list from cs.DS) [pdf, other]

Title: Learned Clause Minimization in Parallel SAT Solvers

Marc Hartung, Florian Schintke

Comments: accepted at Pragmatics of SAT 2019

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[53] arXiv:1908.02078 (cross-list from cs.PL) [pdf, other]

Title: A Transformational Approach to Resource Analysis with Typed-norms Inference

Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

[54] arXiv:1908.02202 (cross-list from math.CT) [pdf, other]

Title: Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$

David I. Spivak

Comments: 10 pages. (This version: fix some typos)

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

[55] arXiv:1908.03171 (cross-list from cs.AI) [pdf, other]

Title: Completing and Debugging Ontologies: state of the art and challenges

Patrick Lambrix

Comments: 56 pages

Journal-ref: Journal of Data and Information Quality, 2023

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

[56] arXiv:1908.03999 (cross-list from cs.CR) [pdf, other]

Title: Retrofitting a two-way peg between blockchains

Jason Teutsch, Michael Straka, Dan Boneh

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

[57] arXiv:1908.04038 (cross-list from cs.FL) [pdf, other]

Title: Regular Separability and Intersection Emptiness are Independent Problems

Ramanathan S. Thinniyam, Georg Zetzsche

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

[58] arXiv:1908.04381 (cross-list from cs.DS) [pdf, other]

Title: Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions

Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi

Comments: Submitted to AIJ

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[59] arXiv:1908.04700 (cross-list from cs.AI) [pdf, other]

Title: Semi-Supervised Learning using Differentiable Reasoning

Emile van Krieken, Erman Acar, Frank van Harmelen

Journal-ref: IFCoLog Journal of Logic and its Applications 6 (2019) 633-653

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

[60] arXiv:1908.04922 (cross-list from cs.CC) [pdf, other]

Title: Pointers in Recursion: Exploring the Tropics

Paulin Jacobé de Naurois (CNRS/université paris13)

Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478

Journal-ref: EPTCS 298, 2019, pp. 31-45

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

[61] arXiv:1908.04923 (cross-list from cs.CC) [pdf, other]

Title: Type-two Iteration with Bounded Query Revision

Bruce M. Kapron (University of Victoria), Florian Steinberg (INRIA Saclay)

Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478

Journal-ref: EPTCS 298, 2019, pp. 61-73

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

[62] arXiv:1908.05106 (cross-list from cs.GT) [pdf, other]

Title: Approximating Values of Generalized-Reachability Stochastic Games

Pranav Ashok, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, Tobias Winkler

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[63] arXiv:1908.05145 (cross-list from cs.AI) [pdf, other]

Title: Toward a Dempster-Shafer theory of concepts

Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg

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

[64] arXiv:1908.05268 (cross-list from cs.DM) [pdf, other]

Title: The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs

Sandra Kiefer, Daniel Neuen

Comments: 48 pages, 6 figures, full version of a paper accepted at MFCS 2019. Added Definition 5.4 and Theorem 5.6 to formalise the notions and arguments. New appendix contains extended proofs for Theorems 5.6 and 5.7. Results remain unchanged

Journal-ref: SIAM J. Discret. Math. 36(1): 252-298 (2022)

Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[65] arXiv:1908.05535 (cross-list from cs.PL) [pdf, other]

Title: Toward Structured Proofs for Dynamic Logics

Rose Bohrer, André Platzer

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

[66] arXiv:1908.05677 (cross-list from math.LO) [pdf, other]

Title: Lifting countable to uncountable mathematics

Sam Sanders

Comments: 24 pages. To appear in: 'Information and Computation' Special Issue WoLLIC19 post-proceedings. Same "Preliminaries" section as e.g. arXiv:1905.04058, arXiv:1908.05676

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[67] arXiv:1908.05737 (cross-list from cs.AI) [pdf, other]

Title: Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

Francesco Olivieri (Data61, CSIRO (Australia)), Guido Governatori (Data61, CSIRO (Australia)), Claudio Tomazzoli (Department of Computer Science, University of Verona), Matteo Cristani (Department of Computer Science, University of Verona)

Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478. arXiv admin note: substantial text overlap with arXiv:1809.03656

Journal-ref: EPTCS 298, 2019, pp. 1-14

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

[68] arXiv:1908.05799 (cross-list from cs.PL) [pdf, other]

Title: Modular Verification of Heap Reachability Properties in Separation Logic

Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller

Comments: OOPSLA-2019

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

[69] arXiv:1908.05839 (cross-list from cs.PL) [pdf, other]

Title: Bidirectional Typing

Jana Dunfield, Neel Krishnaswami

Comments: 37 pages; submitted to ACM Computing Surveys

Journal-ref: ACM Computing Surveys 54(5) (2021)

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

[70] arXiv:1908.06177 (cross-list from cs.LG) [pdf, other]

Title: CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text

Koustuv Sinha, Shagun Sodhani, Jin Dong, Joelle Pineau, William L. Hamilton

Comments: Accepted at EMNLP 2019, 9 page content + Appendix

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

[71] arXiv:1908.06601 (cross-list from cs.PL) [pdf, other]

Title: Implicit Recursive Characteristics of STOP

Mike H. Ji

Comments: 5 pages. A proof that STOP itself is a recursive process. STOP$_{αX} = μ$ X. nil $\rightarrow$ X

Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[72] arXiv:1908.06633 (cross-list from cs.FL) [pdf, other]

Title: On the expressive power of invariants in parametric timed automata

Étienne André, Didier Lime, Mathias Ramparison

Comments: This is the author version of the manuscript of the same name published in the proceedings of the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002) and by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST

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

[73] arXiv:1908.06723 (cross-list from cs.PL) [pdf, other]

Title: Proceedings Seventh International Workshop on Verification and Program Transformation

Alexei Lisitsa (The University of Liverpool), Andrei Nemytykh (Program Systems Institute of RAS)

Journal-ref: EPTCS 299, 2019

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

[74] arXiv:1908.06757 (cross-list from cs.AR) [pdf, other]

Title: Boosting the Bounds of Symbolic QED for Effective Pre-Silicon Verification of Processor Cores

Karthik Ganesan, Srinivasa Shashank Nuthakki

Comments: arXiv admin note: withdrawn by arXiv administrators due to incomplete author list

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

[75] arXiv:1908.07021 (cross-list from math.ST) [pdf, other]

Title: A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics

Tobias Fritz

Comments: 98 pages. v6: fixed error in Section 7. v7: incorporates referee's comments. v8: minor correction

Journal-ref: Adv. Math. 370, 107239 (2020)

Subjects: Statistics Theory (math.ST); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)