Logic in Computer Science

Authors and titles for April 2018

[51] arXiv:1804.07603 [pdf, other]

Title: The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

Thomas Wright, Ian Stark

Subjects: Logic in Computer Science (cs.LO); Molecular Networks (q-bio.MN)

[52] arXiv:1804.07626 [pdf, other]

Title: Graphical Conjunctive Queries

Filippo Bonchi, Jens Seeber, Pawel Sobocinski

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:1804.07703 [pdf, other]

Title: A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

Martin Bromberger

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:1804.07799 [pdf, other]

Title: Enumeration in Incremental FPT-Time

Arne Meier

Comments: improved proof of Thm. 24

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

[55] arXiv:1804.07832 [pdf, other]

Title: Normalization for planar string diagrams and a quadratic equivalence algorithm

Antonin Delpeuch, Jamie Vicary

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

Subjects: Logic in Computer Science (cs.LO)

[56] arXiv:1804.07860 [pdf, other]

Title: Formalising Mathematics In Simple Type Theory

Lawrence C. Paulson

Comments: Submitted to a volume on the Foundations of Mathematics

Subjects: Logic in Computer Science (cs.LO)

[57] arXiv:1804.07951 [pdf, other]

Title: Formal Verification of Platoon Control Strategies

Adnan Rashid, Umair Siddique, Osman Hasan

Comments: 15 pages, Software Engineering and Formal Methods (SEFM-2018)

Subjects: Logic in Computer Science (cs.LO)

[58] arXiv:1804.08105 [pdf, other]

Title: Subatomic systems need not be subatomic

Luca Roversi

Comments: Submitted

Subjects: Logic in Computer Science (cs.LO)

[59] arXiv:1804.08308 [pdf, other]

Title: A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems

Ştefan Ciobâcă, Dorel Lucanu

Comments: Extended version of IJCAR 2018 article

Subjects: Logic in Computer Science (cs.LO)

[60] arXiv:1804.08373 [pdf, other]

Title: Bisimulations for Delimited-Control Operators

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (May 24, 2019) lmcs:4458

Subjects: Logic in Computer Science (cs.LO)

[61] arXiv:1804.08443 [pdf, other]

Title: Top-down and Bottom-up Evaluation Procedurally Integrated

David S. Warren

Comments: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018, 16 pages, LaTeX, 1 PDF figure

Subjects: Logic in Computer Science (cs.LO)

[62] arXiv:1804.08480 [pdf, other]

Title: Cautious reasoning in ASP via minimal models and unsatisfiable cores

Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti

Comments: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018. 18 pages, LaTeX, 4 PDF figures (arXiv:this http URL)

Subjects: Logic in Computer Science (cs.LO)

[63] arXiv:1804.08488 [pdf, other]

Title: Shared aggregate sets in answer set programming

Mario Alviano, Carmine Dodaro, Marco Maratea

Comments: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 19 pages, LaTeX, 2 PDF figures (arXiv:this http URL)

Subjects: Logic in Computer Science (cs.LO)

[64] arXiv:1804.08555 [pdf, other]

Title: Reachability and Distances under Multiple Changes

Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume

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

[65] arXiv:1804.08674 [pdf, other]

Title: Equipping sequent-based argumentation with defeasible assumptions

AnneMarie Borg

Subjects: Logic in Computer Science (cs.LO)

[66] arXiv:1804.08744 [pdf, other]

Title: Central Limit Model Checking

Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti

Subjects: Logic in Computer Science (cs.LO); Quantitative Methods (q-bio.QM)

[67] arXiv:1804.08855 [pdf, other]

Title: Higher-order dependency pairs

Frédéric Blanqui (PROTHEO)

Journal-ref: Eighth International Workshop on Termination - WST 2006, Aug 2006, Seattle, United States. 2006

Subjects: Logic in Computer Science (cs.LO)

[68] arXiv:1804.08883 [pdf, other]

Title: Covering and separation for logical fragments with modular predicates

Thomas Place, Varun Ramanathan, Pascal Weil

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (May 8, 2019) lmcs:4501

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

[69] arXiv:1804.08917 [pdf, other]

Title: Developing Theoretical Foundations for Runtime Enforcement

Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir

Subjects: Logic in Computer Science (cs.LO)

[70] arXiv:1804.08982 [pdf, html, other]

Title: Quantum Büchi Automata

Qisheng Wang, Mingsheng Ying

Comments: Full final version. 40 pages, 1 figure, 2 tables. Removed [v1]'s disturbing acceptance for simplicity, so all QBAs in [v2] obeys non-disturbing acceptance

Journal-ref: Theoretical Computer Science, 1012: 114740, 2024

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Quantum Physics (quant-ph)

[71] arXiv:1804.09007 [pdf, other]

Title: Solving Horn Clauses on Inductive Data Types Without Induction

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

Comments: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018. 22 pages, LaTeX

Journal-ref: Theory and Practice of Logic Programming, 18(3-4), 2018, 452-469

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

[72] arXiv:1804.09098 [pdf, other]

Title: Guarded Computational Type Theory

Jonathan Sterling, Robert Harper

Comments: To appear in LICS 2018

Subjects: Logic in Computer Science (cs.LO)

[73] arXiv:1804.09341 [pdf, other]

Title: Distribution-based objectives for Markov Decision Processes

S. Akshay, Blaise Genest, Nikhil Vyas

Comments: An extended abstract of this paper has been accepted in the conference LICS'2018

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

[74] arXiv:1804.09408 [pdf, other]

Title: Two monads for graphs

Mikolaj Bojanczyk

Subjects: Logic in Computer Science (cs.LO)

[75] arXiv:1804.09447 [pdf, other]

Title: On the satisfiability problem for fragments of the two-variable logic with one transitive relation

Wiesław Szwast, Lidia Tendera

Comments: arXiv admin note: text overlap with arXiv:1707.05558 by other authors

Subjects: Logic in Computer Science (cs.LO)