Logic in Computer Science

Authors and titles for August 2022

[1] arXiv:2208.00252 [pdf, other]

Title: On translating conditional statements into mathematical logic

Kamaledin Ghiasi-Shirazi

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:2208.00423 [pdf, other]

Title: Left computably enumerable reals and initial segment complexity

George Davie

Comments: 13 pages

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:2208.00536 [pdf, other]

Title: Countdown $μ$-calculus

Jędrzej Kołodziejski, Bartek Klin

Comments: 30 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:2208.00758 [pdf, other]

Title: Finding smart contract vulnerabilities with ConCert's property-based testing framework

Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters

Journal-ref: FMBC: Formal Methods for Blockchains, 2022

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

[5] arXiv:2208.01005 [pdf, other]

Title: Analysing Parallel Complexity of Term Rewriting

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

Comments: Extended authors' accepted manuscript for a paper accepted for publication in the Proceedings of the 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022). 27 pages

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

[6] arXiv:2208.01298 [pdf, other]

Title: Conjunctive Queries for Logic-Based Information Extraction

Sam M. Thompson

Comments: Based on the author's PhD thesis and contains work from two conference publications (arXiv:2104.04758, arXiv:1909.10869) which are joint work with Dominik D. Freydenberger

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

[7] arXiv:2208.01443 [pdf, other]

Title: Stratified Certification for k-Induction

Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:2208.01520 [pdf, other]

Title: On the Expressiveness of a Logic of Separated Relations

Radu Iosif, Florian Zuleger

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:2208.02685 [pdf, other]

Title: Proceedings 38th International Conference on Logic Programming

Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle

Journal-ref: EPTCS 364, 2022

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

[10] arXiv:2208.02713 [pdf, other]

Title: NP Decision Procedure for Monomial and Linear Integer Constraints

Rodrigo Raya, Jad Hamza, Viktor Kunčak

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:2208.02920 [pdf, other]

Title: Deductive Verification of Smart Contracts with Dafny

Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:2208.02989 [pdf, other]

Title: Covariant-Contravariant Refinement Modal $μ$-calculus

Huili Xing

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

[13] arXiv:2208.03043 [pdf, other]

Title: Property Directed Reachability for Generalized Petri Nets

Nicolas Amat, Silvano Dal Zilio, Thomas Hujsa

Comments: This is a long version of a paper published in the proceedings of TACAS 2022 under the same title

Journal-ref: Fisman, D., Rosu, G. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Lecture Notes in Computer Science, vol 13243. Springer

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:2208.03091 [pdf, other]

Title: On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model?

Ho Tuan Dung (Department of Computer Science, New Mexico State University, Las Cruces, USA), Tran Cao Son (Department of Computer Science, New Mexico State University, Las Cruces, USA)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 27-48

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Human-Computer Interaction (cs.HC)

[15] arXiv:2208.03092 [pdf, other]

Title: An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols

Marco Alberti (Dipartimento di Matematica e Informatica, University of Ferrara), Riccardo Zese (Dipartimento di Scienze Chimiche, Farmaceutiche ed Agrarie, University of Ferrara), Fabrizio Riguzzi (Dipartimento di Matematica e Informatica, University of Ferrara), Evelina Lamma (Dipartimento di Ingegneria, University of Ferrara)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 65-78

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:2208.03093 [pdf, other]

Title: A Gaze into the Internal Logic of Graph Neural Networks, with Logic

Paul Tarau (University of North Texas)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 93-106

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

[17] arXiv:2208.03094 [pdf, other]

Title: Knowledge Authoring with Factual English

Yuheng Wang (Department of Computer Science, Stony Brook University), Giorgian Borca-Tasciuc (Department of Computer Science, Stony Brook University), Nikhil Goel (Department of Computer Science, Stony Brook University), Paul Fodor (Department of Computer Science, Stony Brook University), Michael Kifer (Department of Computer Science, Stony Brook University)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 107-122

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)

[18] arXiv:2208.03095 [pdf, other]

Title: A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming

Alice Tarzariol (University of Klagenfurt)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685. arXiv admin note: text overlap with arXiv:2112.11806

Journal-ref: EPTCS 364, 2022, pp. 200-210

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

[19] arXiv:2208.03096 [pdf, other]

Title: Tools and Methodologies for Verifying Answer Set Programs

Zach Hansen (University of Nebraska Omaha)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 211-216

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

[20] arXiv:2208.03100 [pdf, other]

Title: Decomposition Strategies for Solving Scheduling Problems in Industrial Applications

Mohammed M. S. El-Kholany (University of Klagenfurt, Klagenfurt, Austria)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 236-242

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:2208.03194 [pdf, other]

Title: Basic Elements of Logical Graphs

Lucas Dixon

Comments: Published in the CAMCAD-09 workshop (this https URL)

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

[22] arXiv:2208.03518 [pdf, other]

Title: A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers

Maximiliano Cristiá, Gianfranco Rossi

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

[23] arXiv:2208.03699 [pdf, other]

Title: UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia

Comments: 12 pages plus appendix. Published at CAV 2022

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:2208.03817 [pdf, other]

Title: Programs as Diagrams: From Categorical Computability to Computable Categories

Dusko Pavlovic

Comments: 150 pages, 81 figures

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

[25] arXiv:2208.03844 [pdf, other]

Title: Type-Theoretic Approaches to Ordinals

Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Comments: Improves, expands on, and reuses material from our previous short conference paper "Connecting Constructive Notions of Ordinals in Homotopy Type Theory", arXiv:2104.02549. v3: Thm 73 and Rem 74 corrected

Journal-ref: Theoretical Computer Science, volume 957, issn 0304-3975, 2023

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

[26] arXiv:2208.04180 [pdf, other]

Title: MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

Sarah Kleest-Meißner, Jonas Marasus, Matthias Niewerth

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)

[27] arXiv:2208.04634 [pdf, other]

Title: On Composing Communicating Systems

Franco Barbanera (Dept. of Mathematics and Computer Science, University of Catania (Italy)), Ivan Lanese (Focus Team, University of Bologna/INRIA (Italy)), Emilio Tuosto (Gran Sasso Science Institute (Italy))

Comments: In Proceedings ICE 2022, arXiv:2208.04086

Journal-ref: EPTCS 365, 2022, pp. 53-68

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

[28] arXiv:2208.05279 [pdf, other]

Title: The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC

Daiki Takahashi, Ken Kaneiwa

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:2208.05334 [pdf, other]

Title: Verification of the busy-forbidden protocol (using an extension of the cones and foci framework)

P.H.M. van Spaendonck

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)

[30] arXiv:2208.05507 [pdf, other]

Title: A Compositional Approach to Verifying Modular Robotic Systems

Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher

Comments: Version submitted to RAS

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

[31] arXiv:2208.06014 [pdf, other]

Title: Reducing NEXP-complete problems to DQBF

Fa-Hsun Chen, Shen-Chang Huang, Yu-Cheng Lu, Tony Tan

Comments: To appear in the proceedings of FMCAD 2022

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:2208.06642 [pdf, other]

Title: On the Formalization of the Heat Conduction Problem in HOL

Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar

Comments: 15th Conference on Intelligent Computer Mathematics

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:2208.06733 [pdf, other]

Title: Automated Conversion of Axiomatic to Operational Models: Theory and Practice

Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia

Comments: 16 pages, 14 pages

Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)

[34] arXiv:2208.07041 [pdf, other]

Title: On the Expressiveness of Mixed Choice Sessions (Technical Report)

Kirstin Peters, Nobuko Yoshida

Comments: This technical report extends a paper presented at the workshop EXPRESS/SOS'22

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:2208.07180 [pdf, other]

Title: Smart Contract Synthesis Modulo Hyperproperties

Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia Tillman

Comments: published at 36th IEEE Computer Security Foundations Symposium (CSF 2023)

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

[36] arXiv:2208.07200 [pdf, other]

Title: Exact Separation Logic (Extended Version)

Petar Maksimović, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner

Journal-ref: ECOOP 2023

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

[37] arXiv:2208.07577 [pdf, other]

Title: Order-Invariance of Two-Variable Logic is coNExpTime-complete

Bartosz Bednarczyk

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:2208.07644 [pdf, other]

Title: Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version)

Bas van den Heuvel, Jorge A. Pérez

Comments: Extended version of a paper accepted at EXPRESS'22. arXiv admin note: substantial text overlap with arXiv:2111.13091

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:2208.07775 [pdf, other]

Title: SAT-Inspired Higher-Order Eliminations

Jasmin Blanchette, Petar Vukmirović

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 2 (May 8, 2023) lmcs:9928

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2208.08806 [pdf, other]

Title: A Generic Information Extraction System for String Constraints

Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

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

[41] arXiv:2208.09066 [pdf, other]

Title: A Verified Implementation of B+-Trees in Isabelle/HOL

Niels Mündler, Tobias Nipkow

Comments: Submitted at ICTAC 2022

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)

[42] arXiv:2208.10456 [pdf, other]

Title: Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version)

Thibault Dardinier, Gaurav Parthasarathy, Peter Müller

Journal-ref: Proc. ACM Program. Lang. 7, OOPSLA1, Article 102 (April 2023)

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:2208.10480 [pdf, other]

Title: Regular languages defined by first-order formulas without quantifier alternation

Andreas Krebs, Howard Straubing

Comments: 13 pages

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

[44] arXiv:2208.11928 [pdf, other]

Title: Backwards Reachability for Probabilistic Timed Automata: A Replication Report

Arnd Hartmanns, Bram Kohlen

Comments: 7 pages, 8 figures, Reproducibility and Replication of Research Results (RRRR 2022)

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:2208.12347 [pdf, other]

Title: Robustness, Scott Continuity, and Computability

Amin Farjudian, Eugenio Moggi

Comments: 26 pages

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:2208.12723 [pdf, other]

Title: Software Performability Analysis Using Fast Parametric Model Checking

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:2208.13428 [pdf, html, other]

Title: Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Andrej Dudenhefner

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 8, 2023) lmcs:9977

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:2208.14356 [pdf, html, other]

Title: The syntactic side of autonomous categories enriched over generalised metric spaces

Fredrik Dahlqvist, Renato Neves

Comments: Journal version of "An Internal Language for Categories Enriched over Generalised Metric Spaces" [arXiv:2105.08473] (this https URL)

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:10018

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:2208.14381 [pdf, other]

Title: Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Comments: Extended version of a paper accepted at 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022). arXiv admin note: substantial text overlap with arXiv:2206.09758

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

[50] arXiv:2208.14739 [pdf, other]

Title: Complete and tractable machine-independent characterizations of second-order polytime

Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux

Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 1 (January 22, 2025) lmcs:9987

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

[51] arXiv:2208.14777 [pdf, other]

Title: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics

Valentina Castiglioni, Claudio A. Mezzina

Journal-ref: EPTCS 368, 2022

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

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

Title: Active Learning of One-Clock Timed Automata using Constraint Solving

Runqing Xu, Jie An, Bohua Zhan

Comments: The full version of the paper accecpted in ATVA2022

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

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

Title: Repairing $\mathcal{EL}$ Ontologies Using Weakening and Completing

Ying Li, Patrick Lambrix

Comments: 33 pages, 4 figures, 30 tables

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

[54] arXiv:2208.01450 (cross-list from math.AT) [pdf, other]

Title: Sequents, barcodes, and homology

Saugata Basu, Negin Karisani, Laxmi Parida

Comments: 26 pages, 10 figures

Subjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG); Databases (cs.DB); Logic in Computer Science (cs.LO)

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

Title: Improving Fuzzy-Logic based Map-Matching Method with Trajectory Stay-Point Detection

Minoo Jafarlou, Omid Mahdi Ebadati E., Hassan Naderi

Comments: 10 Pages, 20 Figures

Journal-ref: Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2023, pp. 48-57, Hong Kong, July 5-7, 2023

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Geometry (cs.CG); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO)

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

Title: A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases

Spencer Killen (University of Alberta), Jia-Huai You (University of Alberta)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 51-64

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

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

Title: Jumping Evaluation of Nested Regular Path Queries

Joachim Niehren (Inria Lille), Sylvain Salvati (Université de Lille), Rustam Azimov (Saint Petersburg State University)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 79-92

Subjects: Computational Complexity (cs.CC); Databases (cs.DB); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

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

Title: Tree-Like Justification Systems are Consistent

Simon Marynissen (KU Leuven, Vrije Universiteit Brussel), Bart Bogaerts (Vrije Universiteit Brussel)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 1-11

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

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

Title: Planning and Scheduling in Digital Health with Answer Set Programming

Marco Mochi

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 228-235

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

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

Title: Proceedings 15th Interaction and Concurrency Experience

Clément Aubert (Augusta University, USA), Cinzia Di Giusto (Université Côte d'Azur, CNRS, Sophia Antipolis, FR), Larisa Safina (Inria, FR), Alceste Scalas (Technical University of Denmark, DK)

Journal-ref: EPTCS 365, 2022

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

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

Title: Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)

Alicia Villanueva

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

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

Title: EFI: A Toolbox for Feature Importance Fusion and Interpretation in Python

Aayush Kumar, Jimiama Mafeni Mase, Divish Rengasamy, Benjamin Rothwell, Mercedes Torres Torres, David A. Winkler, Grazziela P. Figueredo

Comments: 16 pages, 5 tables, 9 figures

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

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

Title: Truth Set Algebra: A New Way to Prove Undefinability

Sophia Knight, Pavel Naumov, Qi Shi, Vigasan Suntharraj

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

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

Title: Uniform Lyndon interpolation for intuitionistic monotone modal logic

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

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

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

Title: Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules

Gerard Tabone, Adrian Francalanza

Comments: In Proceedings ICE 2022, arXiv:2208.04086

Journal-ref: EPTCS 365, 2022, pp. 17-36

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

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

Title: Branching Pomsets for Choreographies

Luc Edixhoven (Open University (Heerlen) and CWI (Amsterdam), Netherlands), Sung-Shik Jongmans (Open University (Heerlen) and CWI (Amsterdam), Netherlands), José Proença (CISTER, ISEP, Polytechnic Institute of Porto, Portugal), Guillermina Cledou (HASLab, INESC TEC and University of Minho, Portugal)

Comments: In Proceedings ICE 2022, arXiv:2208.04086

Journal-ref: EPTCS 365, 2022, pp. 37-52

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

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

Title: Incompleteness for stably computable formal systems

Yasha Savelyev

Comments: The framework currently has gaps, this is to be fixed in an upcoming: "Incompleteness theorems via Turing category"

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

[68] arXiv:2208.04912 (cross-list from math.GN) [pdf, other]

Title: An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains

Friedrich Martin Schneider, Caterina Viola

Comments: 18 pages. The paper is based on a chapter from Caterina Viola's doctoral dissertation. This is a preprint of a manuscript accepted for publication in Journal of Mathematical Analysis and Applications (JMAA)

Journal-ref: J. Math. Anal. Appl. 517 (2023) 126591

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

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

Title: Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

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

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

Title: Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Sen Zheng, Renate A. Schmidt

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

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

Title: A Quantum Natural Language Processing Approach to Pronoun Resolution

Hadi Wazni, Kin Ian Lo, Lachlan McPheat, Mehrnoosh Sadrzadeh

Subjects: Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

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

Title: Differentiable Inference of Temporal Logic Formulas

Nicole Fronda, Houssam Abbas

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

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

Title: Probabilistic Variational Causal Approach in Observational Studies

Usef Faghihi, Amir Saki

Comments: 35 pages, 5 figures, 2 tables

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

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

Title: Granular Directed Rough Sets, Concept Organization and Soft Clustering

Mani A

Comments: 32 pages

Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO); Rings and Algebras (math.RA)

[75] arXiv:2208.06652 (cross-list from cs.AI) [pdf, html, other]

Title: Differentiable Inductive Logic Programming in High-Dimensional Space

Stanisław J. Purgał, David M. Cerna, Cezary Kaliszyk

Comments: 8 pages, To appear, published at IJCLR 2024

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

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

Title: Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition)

Peter Flach, Kacper Sokol

Comments: The online edition is available at this https URL

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

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

Title: Analogical proportions in monounary algebras

Christian Antić

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

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

Title: Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning

Haoyuan He, Wangzhou Dai, Ming Li

Comments: ACML'2023 Journal Track(Accepted by Machine Learning Journal)

Journal-ref: Mach Learn 113, 3357--3377 (2024)

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

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

Title: Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe

Comments: 11 pages, 7 appendices (data, proofs and links to proofs); to appear in the Logic Journal of the IGPL

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

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

Title: Cooperative and uncooperative institution designs: Surprises and problems in open-source game theory

Andrew Critch, Michael Dennis, Stuart Russell

Comments: 41 pages

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

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

Title: FALCON: Scalable Reasoning over Inconsistent ALC Ontologies

Tilman Hinnerichs, Zhenwei Tang, Xi Peng, Xiangliang Zhang, Robert Hoehndorf

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

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

Title: On Optimizing Back-Substitution Methods for Neural Network Verification

Tom Zelazny, Haoze Wu, Clark Barrett, Guy Katz

Comments: This is the extended version of a paper with the same title that appeared at FMCAD 2022

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

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

Title: Proof Engineering with Predicate Transformer Semantics

Christa Jenkins, Mark Moir, Harold Carr

Comments: 15 pages excluding references

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

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

Title: A Framework for Understanding and Visualizing Strategies of RL Agents

Pedro Sequeira, Daniel Elenius, Jesse Hostetler, Melinda Gervasio

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

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

Title: Personalized Decision Making -- A Conceptual Introduction

Scott Mueller, Judea Pearl

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

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

Title: Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation

Wesley Fussner, Nick Galatos

Comments: The original preprint arXiv:2208.09724v1 has been expanded and split into two papers, which we will make available as arXiv:2208.09724v2 (Part I) and arXiv:2208.09724v3 (Part II)

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

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

Title: Tyche: A library for probabilistic reasoning and belief modelling in Python

Padraig X. Lamont

Comments: 21 pages, submitted to AJCAI2022

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

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

Title: Reachability Games and Parity Games

Volker Diekert, Manfred Kufleitner

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

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

Title: On the non-efficient PAC learnability of conjunctive queries

Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

Comments: To appear in Information Processing Letters

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

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

Title: Language-independence of DisCoCirc's Text Circuits: English and Urdu

Muhammad Hamza Waseem, Jonathon Liu, Vincent Wang-Maścianica, Bob Coecke

Comments: In Proceedings E2ECOMPVEC, arXiv:2208.05313

Journal-ref: EPTCS 366, 2022, pp. 50-60

Subjects: Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

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

Title: A robust class of languages of 2-nested words

Séverine Fratani, Guillaume Maurras, Pierre-Alain Reynier

Comments: Extended version of paper published at MFCS 2022

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

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

Title: Towards Clause Learning à la Carte through VarMonads

Arved Friedemann, Oliver Keszocze

Comments: Paper presented at the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Tbilisi, Georgia, and Virtual, September 22-23, 2022 (arXiv:2208.04235)

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

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

Title: Your Blockchain Needn't Care How the Message is Spread

Wolfgang Jeltsch, Javier Díaz

Comments: Paper presented at the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Tbilisi, Georgia, and Virtual, September 22-23, 2022 (arXiv:2208.04235)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Networking and Internet Architecture (cs.NI)

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

Title: Advanced Tools and Methods for Treewidth-Based Problem Solving -- Extended Abstract

Markus Hecher

Comments: This is an extended abstract of a binational PhD thesis that has been awarded with the EurAI Dissertation Award 2021, see this https URL

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

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

Title: Non-distributive positive logic as a fragment of first-order logic over semilattices

Jim de Groot

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

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

Title: On the existence of strong proof complexity generators

Jan Krajicek

Comments: preliminary version August 2022, revised July 2023 and November 2023

Journal-ref: Bulletin of Symbolic Logic , Volume 30 , Issue 1 , March 2024 , pp. 20 - 40

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

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

Title: Coarser Equivalences for Causal Concurrency

Azadeh Farzan, Umang Mathur

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

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

Title: Paraconsistent logic and query answering in inconsistent databases

C. A. Middelburg

Comments: 21 pages; revision of v4, some inaccuracies removed and material streamlined at several places. arXiv admin note: substantial text overlap with arXiv:2303.05264

Journal-ref: Journal of Applied Non-Classical Logics 34(1):133-154 (2024)

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

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

Title: LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

Björn Deiseroth, Patrick Schramowski, Hikaru Shindo, Devendra Singh Dhami, Kristian Kersting

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

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

Title: An invitation to the promise constraint satisfaction problem

Andrei Krokhin, Jakub Opršal

Comments: This survey appeared in ACM SIGLOG News, Volume 9, Issue 3, July 2022, pp 30-59, this https URL

Journal-ref: Andrei Krokhin and Jakub Opr\v{s}al. 2022. An invitation to the promise constraint satisfaction problem. ACM SIGLOG News 9, 3 (July 2022), 30-59

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