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)

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

Title: Verification of Flat FIFO Systems

Alain Finkel, M. Praveen

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (October 14, 2020) lmcs:5999

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

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

Title: Tensor Product Representations of Subregular Formal Languages

Jonathan Rawski

Comments: to appear in Proceedings of IJCAI 2019 workshop on Neural-Symbolic Learning and Reasoning

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

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

Title: SCF2 -- an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report

Marcos Cramer, Leendert van der Torre

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

[79] arXiv:1908.08634 (cross-list from cs.MA) [pdf, other]

Title: Semantic Structures for Spatially-Distributed Multi-Agent Systems

Frank Valencia (CNRS-LIX, Ecole Polytechnique de Paris and Univ. Javeriana Cali.)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213. This is an invited contribution to EXPRESS/SOS 2019 based on my invited talk

Journal-ref: EPTCS 300, 2019, pp. 39-53

Subjects: Multiagent Systems (cs.MA); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[80] arXiv:1908.09068 (cross-list from cs.NI) [pdf, other]

Title: A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Comments: ICNP'19

Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO)

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

Title: Dependent Pearl: Normalization by realizability

Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer

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

[82] arXiv:1908.09477 (cross-list from cs.SC) [pdf, other]

Title: Converting ALC Connection Proofs into ALC Sequents

Eunice Palmeira (Federal Institute of Alagoas), Fred Freitas (Federal University of Pernambuco), Jens Otten (University of Oslo)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639. Thanks to CAPES: Coordination for the Improvement of Higher Level Personnel

Journal-ref: EPTCS 301, 2019, pp. 3-17

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

[83] arXiv:1908.09658 (cross-list from cs.MA) [pdf, other]

Title: Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)

Andrés Occhipinti Liberman, Rasmus K. Rendsvig

Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO); Social and Information Networks (cs.SI)

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

Title: Introducing H, an institution-based formal specification and verification language

Răzvan Diaconescu

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

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

Title: PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic

Christoph Wernhard

Comments: Part of DECLARE 19 proceedings

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

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

Title: Modular Runtime Complexity Analysis of Probabilistic While Programs

Martin Avanzini, Michael Schaper, Georg Moser

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

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

Title: The naturality of natural deduction (II). Some remarks on atomic polymorphism

Paolo Pistone, Luca Tranchini, Mattia Petrolo

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

[88] arXiv:1908.11642 (cross-list from cs.DB) [pdf, other]

Title: Weight Annotation in Information Extraction

Johannes Doleschal, Benny Kimelfeld, Wim Martens, Liat Peterfreund

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 31, 2022) lmcs:6936

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