Logic in Computer Science

Authors and titles for October 2015

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

Title: The grounding for Continuum

Stanislaw Ambroszkiewicz

Comments: This is the second part of the general framework for a constructive type theory presented in the paper Functionals and hardware arXiv:1501.03043. The version is final. The research on the grounding of Mathematics is continued in the paper {\em Asymptotic combinatorial constructions of Geometries} available at arXiv:1904.05173

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

[47] arXiv:1510.03057 (cross-list from cs.MM) [pdf, other]

Title: Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems

Mauricio Toro

Comments: 55 pages

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

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

Title: On the equivalence of different presentations of Turner's bracket abstraction algorithm

Łukasz Czajka

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

[49] arXiv:1510.04021 (cross-list from math.RA) [pdf, other]

Title: Subvarieties of the variety of meadows

Jan A. Bergstra, Inge Bethke

Comments: 11 pages

Subjects: Rings and Algebras (math.RA); Logic in Computer Science (cs.LO)

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

Title: The wonderland of reflections

Libor Barto, Jakub Opršal, Michael Pinsker

Comments: 24 pages

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)

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

Title: SAFE: A Declarative Trust Management System with Linked Credentials

Vamsi Thummala, Jeff Chase

Comments: 17 pages, 7 figures

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

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

Title: Improving the Competency of First-Order Ontologies

Javier Álvez, Paqui Lucio, German Rigau

Comments: 8 pages, 2 tables

Journal-ref: Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Palisades, NY. 2015

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

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

Title: Evaluating the Competency of a First-Order Ontology

Javier Álvez, Paqui Lucio, German Rigau

Comments: 4 pages, 4 figures

Journal-ref: Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Palisades, NY. 2015

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

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

Title: Translating Hierarchical Block Diagrams into Composite Predicate Transformers

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

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

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

Title: A categorical approach to open and interconnected dynamical systems

Brendan Fong, Paolo Rapisarda, Paweł Sobociński

Comments: 10 pages + 3 page appendix

Journal-ref: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16). ACM, New York, NY, USA, pp 495-504, 2016

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Category Theory (math.CT)

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

Title: Shortest paths in one-counter systems

Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar

Comments: 28 pages, 2 figures

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 5, 2019) lmcs:4037

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

[57] arXiv:1510.06233 (cross-list from math.RA) [pdf, other]

Title: Transformation of fractions into simple fractions in divisive meadows

J. A. Bergstra, C. A. Middelburg

Comments: 23 pages; one theorem and two corollaries of it added at end of Sect. 5; some minor errors corrected

Journal-ref: Journal of Applied Logic, 16:92--110, 2016

Subjects: Rings and Algebras (math.RA); Logic in Computer Science (cs.LO)

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

Title: Approximating Strategic Abilities under Imperfect Information: a Naive Approach

Wojciech Jamroga, Michał Knapik, Damian Kurpiewski

Comments: Updated version, August 2016

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

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

Title: Connectivity of Boolean Satisfiability

Konrad W. Schwerdtfeger

Comments: PhD thesis, 82 pages, contains all results from the previous papers arXiv:1312.4524, arXiv:1312.6679, and arXiv:1403.6165, plus additional findings. arXiv admin note: text overlap with arXiv:cs/0609072 by other authors

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

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

Title: Forkable Regular Expressions

Martin Sulzmann, Peter Thiemann

Comments: 12 pages plus technical appendix, to appear in LATA 2016

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

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

Title: Safe Control under Uncertainty

Dorsa Sadigh, Ashish Kapoor

Comments: 10 pages, 6 figures, Submitted to HSCC 2016

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Robotics (cs.RO)

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

Title: Probabilistic Formal Analysis of App Usage to Inform Redesign

Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost

Comments: 13 pages, 6 figures, 7 tables, under review

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

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

Title: Control with Probabilistic Signal Temporal Logic

Chanyeol Yoo, Calin Belta

Comments: 7 pages, submitted to the 2016 American Control Conference (ACC 2016) on September, 30, 2015 (under review)

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Robotics (cs.RO)