Logic in Computer Science

Authors and titles for May 2018

[51] arXiv:1805.10250 [pdf, other]

Title: Consequence-Based Axiom Pinpointing

Ana Ozaki, Rafael Peñaloza

Comments: Technical Report

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:1805.10415 [pdf, other]

Title: A Theory of Encodings and Expressiveness

Rob van Glabbeek

Comments: An extended abstract of this paper appeared in the proceedings of FoSSaCS 2018

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:1805.11392 [pdf, other]

Title: Classical realizability as a classifier for nondeterminism

Guillaume Geoffroy (AMU, I2M)

Journal-ref: ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom

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

[54] arXiv:1805.11765 [pdf, other]

Title: Approximate LTL model checking

Weijun Zhu, Jianwei Wang, Yongwen Fan

Comments: 13 pages, 7 figures

Subjects: Logic in Computer Science (cs.LO)

[55] arXiv:1805.11988 [pdf, other]

Title: Unification and Logarithmic Space

Clément Aubert, Marc Bagnol

Comments: arXiv admin note: text overlap with arXiv:1402.4327

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 3 (July 31, 2018) lmcs:4552

Subjects: Logic in Computer Science (cs.LO)

[56] arXiv:1805.12582 [pdf, other]

Title: Decidability results for ATL* with imperfect information and perfect recall

Raphaël Berthon, Bastien Maubert, Aniello Murano

Subjects: Logic in Computer Science (cs.LO)

[57] arXiv:1805.12592 [pdf, other]

Title: Strategy Logic with Imperfect Information

Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Vardi

Subjects: Logic in Computer Science (cs.LO)

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

Title: Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming

Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son

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

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

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

Title: Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce

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

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

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

Title: Multi-Source Fusion Operations in Subjective Logic

Rens Wouter van der Heijden, Henning Kopp, Frank Kargl

Comments: 8 pages, Pre-Print of accepted paper for FUSION 2018

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

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

Title: Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

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

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

Title: A new viewpoint of the Gödel's incompleteness theorem and its applications

Tianheng Tsui

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

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

Title: The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case

Yijia Chen, Abdallah Saffidine, Christoph Schwering

Comments: 15 pages, 1 figure, 1 table, Twenty-seventh International Joint Conference on Artificial Intelligence (IJCAI-18)

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

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

Title: Interacting Hopf Algebras: the theory of linear systems

Fabio Zanasi

Comments: PhD thesis manuscript, defended on October 5, 2015

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

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

Title: Presburger Arithmetic with algebraic scalar multiplications

Philipp Hieronymi, Danny Nguyen, Igor Pak

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (July 20, 2021) lmcs:5916

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

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

Title: When Names Are Not Commonly Known: Epistemic Logic with Assignments

Yanjing Wang, Jeremy Seligman

Comments: 18 pages, to appear in proceedings of AiML2018

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

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

Title: Structural Operational Semantics for Control Flow Graph Machines

Dmitri Garbuzov, William Mansky, Christine Rizkallah, Steve Zdancewic

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

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

Title: Incremental Database Design using UML-B and Event-B

Ahmed Al-Brashdi (University of Southampton), Michael Butler (University of Southampton), Abdolbaghi Rezazadeh (University of Southampton)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 34-47

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

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

Title: Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, Toulouse, France), Idir Ait Sadoune (LRI/CentraleSupelec/Paris-Saclay University, Plateau de Saclay, France), Kahina Hacid (IRIT/INPT-ENSEEIHT, Toulouse, France), Linda Mohand Oussaid (LRI/CentraleSupelec/Paris-Saclay University, Plateau de Saclay, France)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 24-33

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

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

Title: Towards Integrated Modelling of Dynamic Access Control with UML and Event-B

Inna Vistbakka (Åbo Akademi), Elena Troubitsyna (Åbo Akademi)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 105-116

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

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

Title: A Survey on Analog Models of Computation

Olivier Bournez, Amaury Pouly

Comments: To appear as a chapter of "Handbook of Computability and Complexity in Analysis " Series:Theory and Applications of Computability Publisher: Springer in cooperation with the Association Computablity in Europe. Editors: Vasco Brattka and Peter Hertling, Handbook of Computability and Complexity in Analysis, 2018

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

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

Title: The Drinker Paradox and its Dual

Louis Warren, Hannes Diener, Maarten McKubre-Jordens

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

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

Title: Distributed Automata and Logic

Fabian Reiter

Comments: PhD thesis, 116 pages. this http URL

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

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

Title: First Experiments with Neural Translation of Informal to Formal Mathematics

Qingxiang Wang, Cezary Kaliszyk, Josef Urban

Comments: Submission to CICM'2018

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

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

Title: Extensional constructive real analysis via locators

Auke B. Booij

Comments: 30 pages; to appear in the HoTT/UF Special Issue 2017-2018

Journal-ref: Math. Struct. Comp. Sci. 31 (2021) 64-88

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