Logic in Computer Science

Authors and titles for October 2017

[51] arXiv:1710.03571 (cross-list from q-bio.OT) [pdf, other]

Title: Adapting a Formal Model Theory to Applications in Augmented Personalized Medicine

Plamen L. Simeonov, Andrée C. Ehresmann

Comments: 56 pages, 18 figures, technical application paper

Subjects: Other Quantitative Biology (q-bio.OT); Logic in Computer Science (cs.LO)

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

Title: Representations and evaluation strategies for feasibly approximable functions

Michal Konečný, Eike Neumann

Comments: 33 pages, 4 figures

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

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

Title: Learning Task Specifications from Demonstrations

Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia

Comments: NIPS 2018

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

[54] arXiv:1710.03928 (cross-list from cs.SE) [pdf, other]

Title: A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

Comments: Accepted by Formal Aspects of Computing

Journal-ref: Formal Asp. Comput. 30(1): 163-192 (2018)

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: Polishness of some topologies related to word or tree automata

Olivier Finkel, Olivier Carton, Dominique Lecomte

Comments: This paper is an extended version of a paper which appeared in the proceedings of the 26th EACSL Annual Conference on Computer Science and Logic, CSL 2017. The main addition with regard to the conference paper consists in the study of the Büchi topology and of the Muller topology in the case of a space of trees, which now forms Section 4

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

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

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

Title: VC-dimension of short Presburger formulas

Danny Nguyen, Igor Pak

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

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

Title: On the Ontological Modeling of Trees

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph

Comments: Proceedings of the 8th Workshop on Ontology Design and Patterns, WOP 2017, co-located with the 16th International Semantic Web Conference, ISWC2017, Vienna, Austria, October 2017. To appear

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

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

Title: The Complete Extensions do not form a Complete Semilattice

Anthony P. Young

Comments: 10 pages, 2 figures, 11 references [Update 26/10/2017] This note contains an error that invalidates its title

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

[59] arXiv:1710.05706 (cross-list from math.GR) [pdf, other]

Title: Commutator width in the first Grigorchuk group

Laurent Bartholdi, Thorsten Groth, Igor Lysenok

Comments: Wrt v1: improved presentation

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

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

Title: System Description: Russell - A Logical Framework for Deductive Systems

Dmitry Vlasov

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

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

Title: Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

Randal E. Bryant

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

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

Title: Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis

Quang Loc Le

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

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

Title: Games on graphs with a public signal monitoring

Patricia Bouyer

Comments: 28 pages

Journal-ref: FoSSaCS 2018

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

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

Title: Paxos Made EPR: Decidable Reasoning about Distributed Protocols

Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham

Comments: 61 pages. Full version of paper by the same title presented in OOPSLA 2017

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

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

Title: The Emptiness Problem for Valence Automata over Graph Monoids

Georg Zetzsche

Comments: Preprint of contribution to special issue on RP2015 (Information & Computation)

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

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

Title: Locally Nameless Permutation Types

Edsko de Vries, Vasileios Koutavas

Comments: Coq code in ancillary files

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

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

Title: Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report)

Milan Ceska, Vojtech Havlena, Lukas Holik, Ondrej Lengal, Tomas Vojnar

Comments: An extended version of a paper accepted at TACAS'18

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

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

Title: Formally continuous functions on Baire space

Tatsuji Kawai

Comments: 13 pages

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

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

Title: Approximate Span Liftings

Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

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

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

Title: State Space Reduction for Reachability Graph of CSM Automata

Wiktor B. Daszczuk

Comments: 12 pages, 10 figures

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

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

Title: Sufficient and necessary causation are dual

Robert Künnemann

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

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

Title: Alone Together: Compositional Reasoning and Inference for Weak Isolation

Gowtham Kaki, Kartik Nagar, Mahsa Nazafzadeh, Suresh Jagannathan

Comments: 46 pages, 12 figures

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

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

Title: Recursive functions and existentially closed structures

Emil Jeřábek

Comments: 42 pages; to appear in Journal of Mathematical Logic

Journal-ref: Journal of Mathematical Logic 20 (2020), no. 1, article no. 2050002, 52 pp

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

[74] arXiv:1710.10109 (cross-list from math.GR) [pdf, other]

Title: The word and order problems for self-similar and automata groups

Laurent Bartholdi, Ivan Mitrofanov

Comments: Fixed broken references

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

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

Title: Polymorphism and the obstinate circularity of second order logic: a victims' tale

Paolo Pistone

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

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

Title: The univalence axiom in cubical sets

Marc Bezem, Thierry Coquand, Simon Huber

Comments: 12 pages

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

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

Title: Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently

Bertram Felgenhauer

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (October 29, 2018) lmcs:4035

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

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

Title: Improve SAT-solving with Machine Learning

Haoze Wu

Comments: 2 pages, SIGCSE SRC 2017

Journal-ref: In Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE '17). ACM, New York, NY, USA, 787-788 (2017)

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