Logic in Computer Science

Authors and titles for August 2020

[101] arXiv:2008.08245 (cross-list from cs.DC) [pdf, other]

Title: Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic

Yepeng Ding, Hiroyuki Sato

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

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

Title: Axiomatic (and Non-Axiomatic) Mathematics

Saeed Salehi

Comments: 10 pages

Journal-ref: Rocky Mountain Journal of Mathematics 52:4 (2022) 1157--1176

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

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

Title: On the Notion of a Generalized Mapping on Multiset Spaces

Athar Kharal, Mansoor H. Alshehri, Nasser Bin Turki, Faisal Z. Duraihem

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

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

Title: SentiQ: A Probabilistic Logic Approach to Enhance Sentiment Analysis Tool Quality

Wissam Maamar Kouadri, Salima Benbernou, Mourad Ouziri, Themis Palpanas, Iheb Ben Amor

Comments: In Proceedings of the 9th KDD Workshop on Issues of Sentiment Discovery and Opinion Mining (WISDOM 20). San Diego, CA, USA, 8 pages

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

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

Title: DataProVe: A Data Protection Policy and System Architecture Verification Tool

Vinh Thong Ta

Comments: 65 pages. Improved algorithm description and explanation. Semantics of policy language added. More complete list of properties, and inference rules added. More figures and discussion section added. Finally, we refer to this version in our (shorter) paper under review

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

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

Title: From Intuitionism to Many-Valued Logics through Kripke Models

Saeed Salehi

Comments: 10 pages, to appear in: Mathematics, Logic, and their Philosophies---Essays in Honor of Mohammad Ardeshir (Springer)

Journal-ref: M. Mojtahedi & Sh. Rahman & M.S. Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir, Springer (2021) pp. 339--348

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

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

Title: A Heuristic Approach to Two Level Boolean Minimization Derived from Karnaugh Mapping

Ethan L. Childerhose, Jingzhou Liu

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

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

Title: Tuple-Independent Representations of Infinite Probabilistic Databases

Nofar Carmeli, Martin Grohe, Peter Lindner, Christoph Standke

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

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

Title: Neural Logic Reasoning

Shaoyun Shi, Hanxiong Chen, Weizhi Ma, Jiaxin Mao, Min Zhang, Yongfeng Zhang

Comments: Accepted to ACM CIKM 2020. arXiv admin note: substantial text overlap with arXiv:1910.08629

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

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

Title: Implementing backjumping by throw/1 and catch/3 of Prolog

Włodzimierz Drabent

Comments: 10 pages. This version - extensions and corrections

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

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

Title: Gentzen-Mints-Zucker duality

Daniel Murfet, William Troiani

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

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

Title: Qualitative Multi-Objective Reachability for Ordered Branching MDPs

Kousha Etessami, Emanuel Martinov

Comments: 47 pages

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

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

Title: The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom

Manuel Bodirsky, Simon Knäuer

Comments: 32 pages, 2 figures

Journal-ref: Journal of Artificial Intelligence Research (JAIR), 75, 2022

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

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

Title: Effectiveness of Annotation-Based Static Type Inference

Isabel Wingen, Philipp Körner

Comments: 15 pages. Part of WFLP 2020 pre-proceedings

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

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

Title: On the Notion of Equal Figures in Euclid

Michael Beeson

Comments: 38 pages, 28 figures

Journal-ref: {B}eitr\"age zur {A}lgebra und {G}eometrie, July 2022

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

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

Title: A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations

Bjørn Kjos-Hanssen

Journal-ref: Studia Logica 105 (2017), no. 1, 173--178

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

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

Title: On a plausible concept-wise multipreference semantics and its relations with self-organising maps

Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré

Comments: 13 pages

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

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

Title: Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars

Manfred Schmidt-Schauß (Goethe-University, Frankfurt, Germany), David Sabel (LMU, Munich, Germany)

Comments: In Proceedings EXPRESS/SOS 2020, arXiv:2008.12414

Journal-ref: EPTCS 322, 2020, pp. 88-105

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