Logic in Computer Science

Authors and titles for cs.LO in Oct 2020, skipping first 75

[76]  arXiv:2010.01050 (cross-list from cs.RO) [pdf, other]

Title: Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives

Authors: Alper Kamil Bozkurt, Yu Wang, Michael Zavlanos, Miroslav Pajic

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

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

Title: A Framework for Reasoning on Probabilistic Description Logics

Authors: Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi

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

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

Title: Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming

Authors: Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

[79]  arXiv:2010.02922 (cross-list from cs.CC) [pdf, ps, other]

Title: Balanced incomplete block designs and exact satisfiability

Authors: Bernd. R. Schuh

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

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

Title: Scaling Guarantees for Nearest Counterfactual Explanations

Authors: Kiarash Mohammadi, Amir-Hossein Karimi, Gilles Barthe, Isabel Valera

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

[81]  arXiv:2010.05167 (cross-list from cs.PL) [pdf, ps, other]

Title: A Categorical Programming Language

Authors: Tatsuya Hagino

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

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

Title: Neural, Symbolic and Neural-Symbolic Reasoning on Knowledge Graphs

Authors: Jing Zhang, Bo Chen, Lingxi Zhang, Xirui Ke, Haipeng Ding

Comments: 29 pages, AI Open Journal 2021

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

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

Title: Continuous Safety Verification of Neural Networks

Authors: Chih-Hong Cheng, Rongjie Yan

Comments: Paper accepted at IEEE DATE'21

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

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

Title: Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean

Authors: Viviana Mascardi (University of Genova, DIBRIS, Italy), Domenico Pellegrini (Ministry of Justice, Tribunale di Genova, Italy)

Comments: In Proceedings ICLP 2020, arXiv:2009.09158

Journal-ref: EPTCS 325, 2020, pp. 268-275

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

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

Title: Resolution as Intersection Subtyping via Modus Ponens

Authors: Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Comments: 43 pages, 20 figures; typos corrected, link to artifact added

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

[86]  arXiv:2010.06361 (cross-list from cs.FL) [pdf, ps, other]

Title: Collapsible Pushdown Parity Games

Authors: Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre

Comments: 51 pages

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

[87]  arXiv:2010.06482 (cross-list from cs.PL) [pdf, ps, other]

Title: Nested Session Types

Authors: Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

Comments: Technical Report

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

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

Title: Adaptive Testing for Specification Coverage

Authors: Ezio Bartocci (1), Roderick Bloem (2), Benedikt Maderbacher (2), Niveditha Manjunath (1 and 3), Dejan Ničković (3) ((1) Vienna University of Technology, (2) Graz University of Technology, (3) AIT Austrian Institute of Technology)

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[89]  arXiv:2010.07031 (cross-list from cs.DC) [pdf, ps, other]

Title: A Tendermint Light Client

Authors: Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder

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

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

Title: Altruist: Argumentative Explanations through Local Interpretations of Predictive Models

Authors: Ioannis Mollas, Nick Bassiliades, Grigorios Tsoumakas

Comments: Submitted to SETN2022

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

[91]  arXiv:2010.07763 (cross-list from cs.PL) [pdf, ps, other]

Title: Refinement Types: A Tutorial

Authors: Ranjit Jhala, Niki Vazou

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

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

Title: Enumerating Answers to First-Order Queries over Databases of Low Degree

Authors: Arnaud Durand, Nicole Schweikardt, Luc Segoufin

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 2 (May 10, 2022) lmcs:6858

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

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

Title: Logical Relations as Types: Proof-Relevant Parametricity for Program Modules

Authors: Jonathan Sterling, Robert Harper

Comments: To appear, J.ACM

Journal-ref: Journal of the ACM, Volume 68, Issue 6, December 2021, Article No.: 41, pp 1-47

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

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

Title: ERIC: Extracting Relations Inferred from Convolutions

Authors: Joe Townsend, Theodoros Kasioumis, Hiroya Inakoshi

Comments: Accepted for poster presentation at ACCV (Asian Conference on Computer Vision) 2020

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE)

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

Title: Optimal Decision Lists using SAT

Authors: Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey

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

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

Title: Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction

Authors: Yutaka Nagashima

Comments: This is the preprint of our paper accepted at Tests and Proofs 2022. arXiv admin note: substantial text overlap with arXiv:2009.09215

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

[97]  arXiv:2010.10724 (cross-list from cs.AI) [pdf, ps, other]

Title: Taming Discrete Integration via the Boon of Dimensionality

Authors: Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel

Comments: To be published at NeurIPS 2020

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

[98]  arXiv:2010.10912 (cross-list from cs.FL) [pdf, ps, other]

Title: A Linear-Time Nominal $μ$-Calculus with Name Allocation

Authors: Daniel Hausmann, Stefan Milius, Lutz Schröder

Comments: Extended version (shorter version published at MFCS 2021)

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

[99]  arXiv:2010.11342 (cross-list from cs.PL) [pdf, ps, other]

Title: Contextual Linear Types for Differential Privacy

Authors: Matías Toro, David Darais, Chike Abuah, Joe Near, Damián Árquez, Federico Olmedo, Éric Tanter

Comments: Published in Transactions on Programming Languages and Systems (TOPLAS) 2023

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

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

Title: Learning Implicitly with Noisy Data in Linear Arithmetic

Authors: Alexander P. Rader, Ionela G. Mocanu, Vaishak Belle, Brendan Juba

Comments: This is an extended version of our IJCAI21 paper of the same name

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