Logic in Computer Science

Authors and titles for August 2021

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

Title: A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction

Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis

Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages + 13 pages appendix

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

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

Title: Solution Enumeration by Optimality in Answer Set Programming

Jukka Pajunen, Tomi Janhunen

Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages

Journal-ref: Theory and Practice of Logic Programming 21 (2021) 750-767

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

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

Title: Visual Analysis of Hyperproperties for Understanding Model Checking Results

Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt

Comments: This work has been accepted for the IEEE VIS 2021 conference and will be published in the IEEE Transactions on Visualization and Computer Graphics journal

Subjects: Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO)

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

Title: Probabilistic annotations for protocol models

Dusko Pavlovic

Comments: 17 pages

Journal-ref: Lecture Notes in Computer Science, vol 13066, Springer 2021, pp. 332-347

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

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

Title: Plotting in a Formally Verified Way

Guillaume Melquiond

Comments: In Proceedings F-IDE 2021, arXiv:2108.02369

Journal-ref: EPTCS 338, 2021, pp. 39-45

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

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

Title: Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo

Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages

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

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

Title: Decentralized Observation of Discrete-Event Systems: At Least One Can Tell

Stavros Tripakis, Karen Rudie

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

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

Title: Knowledge-Based Stable Roommates Problem: A Real-World Application

Muge Fidan, Esra Erdem

Comments: This paper is under consideration for acceptance in Theory and Practice of Logic Programming (TPLP)

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

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

Title: Logic Explained Networks

Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Lió, Marco Maggini, Stefano Melacci

Journal-ref: Artificial Intelligence, 103822, 2022

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

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

Title: Approximating Defeasible Logics to Improve Scalability

Michael J. Maher

Comments: This is a technical report from the Reasoning Research Institute

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

[86] arXiv:2108.05569 (cross-list from cs.DM) [pdf, other]

Title: Agnostic Online Learning and Excellent Sets

Maryanthe Malliaris, Shay Moran

Subjects: Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

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

Title: Engineering an Efficient Boolean Functional Synthesis Engine

Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel

Comments: To be published in 40th International Conference On Computer Aided Design (ICCAD-2021)

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

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

Title: How to Make a New Logic

Takao Inoué

Comments: 7 pages

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

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

Title: Data Type Inference for Logic Programming

João Barbosa, Mário Florido, Vítor Santos Costa

Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)

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

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

Title: Synthesizing Pareto-Optimal Interpretations for Black-Box Models

Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia

Comments: Long version of conference paper accepted at FMCAD'21

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

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

Title: Thirty years of Epistemic Specifications

Jorge Fandinno, Wolfgang Faber, Michael Gelfond

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

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

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

Title: On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope

Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle

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

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

Title: B Maude: A formal executable environment for Abstract Machine Notation Descriptions

Christiano Braga, Narciso Martí-Oliet

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

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

Title: Verifying Low-dimensional Input Neural Networks via Input Quantization

Kai Jia, Martin Rinard

Comments: SAS 2021

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

[95] arXiv:2108.08067 (cross-list from math.CO) [pdf, other]

Title: Exact enumeration of satisfiable 2-SAT formulae

Sergey Dovgal, Élie de Panafieu, Vlady Ravelomanana

Comments: 29 pages, 6 tables, 10 figures. For associated python code, see this https URL

Subjects: Combinatorics (math.CO); Statistical Mechanics (cond-mat.stat-mech); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

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

Title: Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases

Leopoldo Bertossi

Comments: A couple of minor mistakes corrected, and some explanations added

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

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

Title: Forgetting Formulas and Signature Elements in Epistemic States

A. Becker, G. Kern-Isberner, K. Sauerwald, C. Beierle

Comments: Accepted at NMR 2021

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

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

Title: Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs

Shmuel Berman, Mark Santolucito

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

[99] arXiv:2108.09830 (cross-list from math.NA) [pdf, other]

Title: Algorithms for reachability problems on stochastic Markov reward models

Irfan Muhammad

Comments: Accepted PhD thesis

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

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

Title: On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI

Adnan Darwiche, Pierre Marquis

Comments: Published in the Journal of Artificial Intelligence Research (JAIR), volume 72, 2021

Journal-ref: Journal of Artificial Intelligence Research 72 (2021) 285-328

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