Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.LO

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Logic in Computer Science

Authors and titles for December 2022

Total of 78 entries
Showing up to 2000 entries per page: fewer | more | all
[1] arXiv:2212.00916 [pdf, other]
Title: Learning Temporal Logic Properties: an Overview of Two Recent Methods
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Comments: Appears in Proceedings of AAAI FSS-22 Symposium "Lessons Learned for Autonomous Assessment of Machine Abilities (LLAAMA)"
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[2] arXiv:2212.01679 [pdf, other]
Title: Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
Diego Figueira, Rémi Morvan
Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 1 (March 5, 2025) lmcs:12567
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[3] arXiv:2212.01748 [pdf, other]
Title: Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)
Mark Utting, Brae J. Webb, Ian J. Hayes
Comments: 8 pages, 6 figures
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[4] arXiv:2212.02317 [pdf, other]
Title: Word Equations in Synergy with Regular Constraints (Technical Report)
František Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč
Comments: To appear in Proc. of FM'23
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[5] arXiv:2212.02371 [pdf, other]
Title: Integration in Cones
Thomas Ehrhard, Guillaume Geoffroy
Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 1 (January 3, 2025) lmcs:10815
Subjects: Logic in Computer Science (cs.LO)
[6] arXiv:2212.02425 [pdf, other]
Title: Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version)
Pedro Barroso, Mário Pereira, António Ravara
Comments: To be published in VSTTE'22
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[7] arXiv:2212.02494 [pdf, other]
Title: Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Pablo Nogueira, Álvaro García-Pérez
Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 4 (December 12, 2024) lmcs:10461
Subjects: Logic in Computer Science (cs.LO)
[8] arXiv:2212.03085 [pdf, other]
Title: Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
Michael Benedikt, Cécilia Pradic, Christoph Wernhard
Comments: arXiv admin note: substantial text overlap with arXiv:2209.08299, arXiv:2005.06503
Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 3 (July 22, 2024) lmcs:10495
Subjects: Logic in Computer Science (cs.LO)
[9] arXiv:2212.03146 [pdf, other]
Title: Univalent Monoidal Categories
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Comments: 21 pages, accepted for the TYPES'22 postproceedings volume in the LIPIcs series by Schloß Dagstuhl (editors: Delia Kesner and Pierre-Marie Pédrot)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[10] arXiv:2212.03284 [pdf, html, other]
Title: Type Theory with Explicit Universe Polymorphism (revised and extended version)
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
Comments: This paper was presented at Types'2022 and appeared in the post-proceedings published by LIPIcs. This version adds a correction in Appendix C. Otherwise the paper is as the one published by LIPIcs
Journal-ref: LIPIcs, volume 269, 2023
Subjects: Logic in Computer Science (cs.LO)
[11] arXiv:2212.03287 [pdf, other]
Title: veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
Comments: To appear in Proceedings of the 25th International Symposium on Formal Methods (FM)
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG); Software Engineering (cs.SE); Optimization and Control (math.OC)
[12] arXiv:2212.03349 [pdf, other]
Title: Formal Modeling and Analysis of Legal Contracts using ContractCheck
Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
Comments: Accepted for presentation at the Workshop on Programming Languages and the Law 2023
Subjects: Logic in Computer Science (cs.LO); Computers and Society (cs.CY)
[13] arXiv:2212.03553 [pdf, html, other]
Title: Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 1 (February 28, 2024) lmcs:10442
Subjects: Logic in Computer Science (cs.LO)
[14] arXiv:2212.04882 [pdf, other]
Title: Revisiting Decidable Bounded Quantification, via Dinaturality
James Laird
Comments: In Mathematical Semantics of Programming Languages (MFPS) '22
Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10474
Subjects: Logic in Computer Science (cs.LO)
[15] arXiv:2212.05457 [pdf, other]
Title: On the Fair Termination of Client-Server Sessions
Luca Padovani
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[16] arXiv:2212.05468 [pdf, other]
Title: McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
Maxwell Pirtle (Northeastern University, USA), Luka Jovanovic (Northeastern University, USA), Gene Cooperman (Northeastern University, USA)
Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 1, Article 1
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[17] arXiv:2212.05578 [pdf, other]
Title: A Formalization of Doob's Martingale Convergence Theorems in mathlib
Kexing Ying, Rémy Degenne
Subjects: Logic in Computer Science (cs.LO); Probability (math.PR)
[18] arXiv:2212.05893 [pdf, other]
Title: Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint
Sterre Lutz
Comments: 2 pages. Accepted submission for ProLaLa 2023 Workshop (part of POPL 2023 conference)
Subjects: Logic in Computer Science (cs.LO)
[19] arXiv:2212.06321 [pdf, other]
Title: Data Layout from a Type-Theoretic Perspective
Henry DeYoung, Frank Pfenning
Comments: Invited paper for MFPS 2022 special issue of ENTICS
Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10507
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[20] arXiv:2212.06472 [pdf, other]
Title: SMT Sampling via Model-Guided Approximation
Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:2212.06656 [pdf, other]
Title: A programming language characterizing quantum polynomial time
Emmanuel Hainry (MOCQUA), Romain Péchoux (MOCQUA), Mário Silva (MOCQUA)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[22] arXiv:2212.06781 [pdf, other]
Title: Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
Comments: Extended version of our contribution to the conference Petri Nets 2022 entitled "Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems"
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)
[23] arXiv:2212.07205 [pdf, other]
Title: Unfoldings and coverings of weighted graphs
Bruno Courcelle
Journal-ref: Fundamenta Informaticae, Volume 189, Issue 1 (July 1, 2023) fi:10486
Subjects: Logic in Computer Science (cs.LO)
[24] arXiv:2212.07976 [pdf, other]
Title: Bi-invariance for Uniform Strategies on Event Structures
Hugo Paquet
Comments: Proceedings of MFPS 2022 (Final version)
Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10498
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[25] arXiv:2212.08515 [pdf, other]
Title: The Formal Theory of Monads, Univalently
Niels van der Weide
Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 1 (February 19, 2025) lmcs:13005
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[26] arXiv:2212.08522 [pdf, other]
Title: Rewriting the Infinite Chase
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Journal-ref: Proceedings of the VLDB Endowment, Volume 15, Issue 11, July 2022, pp 3045-3057
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[27] arXiv:2212.08829 [pdf, other]
Title: Just Testing
Rob van Glabbeek
Subjects: Logic in Computer Science (cs.LO)
[28] arXiv:2212.09191 [pdf, other]
Title: Sufficient Statistics and Split Idempotents in Discrete Probability Theory
Bart Jacobs
Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10520
Subjects: Logic in Computer Science (cs.LO)
[29] arXiv:2212.09324 [pdf, other]
Title: Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Comments: 37 pages (21p article, 2p references, 14p appendices)
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[30] arXiv:2212.09570 [pdf, html, other]
Title: Solving Quantified Modal Logic Problems by Translation to Classical Logics
Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller
Comments: 23 pages, 1 figure; updated journal version of conference paper
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[31] arXiv:2212.10338 [pdf, other]
Title: Making Relational Hoare Logic Alignment Complete
Anindya Banerjee, Ramana Nagasamudram, David A. Naumann
Comments: v2: streamline treatment of hypotheses in definition of command equivalence; simplify normal form axioms. v3: add note referencing new paper ArXiv 2307.10045 which incorporates the results in this paper and more
Subjects: Logic in Computer Science (cs.LO)
[32] arXiv:2212.10453 [pdf, other]
Title: Pragmatic isomorphism proofs between Coq representations: application to lambda-term families
Catherine Dubois, Nicolas Magaud, Alain Giorgetti
Comments: Under review
Subjects: Logic in Computer Science (cs.LO)
[33] arXiv:2212.10975 [pdf, other]
Title: Proceedings of the Thirteenth International Workshop on Graph Computation Models
Reiko Heckel (University of Leicester), Christopher M. Poskitt (Singapore Management University)
Journal-ref: EPTCS 374, 2022
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[34] arXiv:2212.11055 [pdf, html, other]
Title: Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
Daniel Hausmann, Lutz Schröder
Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 3 (July 23, 2024) lmcs:10532
Subjects: Logic in Computer Science (cs.LO)
[35] arXiv:2212.11147 [pdf, other]
Title: Extended Addressing Machines for PCF, with Explicit Substitutions
Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
Comments: 16 pages, 5 pages appendix
Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10533
Subjects: Logic in Computer Science (cs.LO)
[36] arXiv:2212.11151 [pdf, other]
Title: Template-Based Conjecturing for Automated Induction in Isabelle/HOL
Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang
Comments: To appear at Fundamentals of Software engineering 2023 (this http URL)
Subjects: Logic in Computer Science (cs.LO)
[37] arXiv:2212.11158 [pdf, other]
Title: RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
Subjects: Logic in Computer Science (cs.LO)
[38] arXiv:2212.11173 [pdf, other]
Title: Python client for Isabelle server
Boris Shminke
Comments: 5 pages, 1 figure, submitted to CICM 2022 (this https URL)
Subjects: Logic in Computer Science (cs.LO)
[39] arXiv:2212.11248 [pdf, other]
Title: Fair Must Testing for I/O Automata
Rob van Glabbeek
Comments: Dedicated to Frits Vaandrager, at the occasion of his 60th birthday
Journal-ref: In: A Journey from Process Algebra via Timed Automata to Model Learning (N. Jansen, M. Stoelinga, P. van den Bos, eds.), LNCS 13560, Springer, 2022, pp. 559-574
Subjects: Logic in Computer Science (cs.LO)
[40] arXiv:2212.11362 [pdf, other]
Title: Tighter Bounds for Query Answering with Guarded TGDs
Antoine Amarilli, Michael Benedikt
Comments: 44 pages. This paper contains revised and generalized versions of the results in the appendices of the PODS'18 paper (arXiv:1706.07936)
Subjects: Logic in Computer Science (cs.LO)
[41] arXiv:2212.11630 [pdf, other]
Title: Towards Mechanised Proofs in Double-Pushout Graph Transformation
Robert Söldner (University of York, United Kingdom), Detlef Plump (University of York, United Kingdom)
Comments: In Proceedings GCM 2022, arXiv:2212.10975
Journal-ref: EPTCS 374, 2022, pp. 59-75
Subjects: Logic in Computer Science (cs.LO)
[42] arXiv:2212.11631 [pdf, other]
Title: On the growth rate of polyregular functions
Mikołaj Bojańczyk
Comments: Author version of LICS 23 paper
Journal-ref: Author version of a LICS 2023 paper
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[43] arXiv:2212.11784 [pdf, other]
Title: Sum and Tensor of Quantitative Effects
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin
Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 4 (October 29, 2024) lmcs:10761
Subjects: Logic in Computer Science (cs.LO)
[44] arXiv:2212.12347 [pdf, other]
Title: Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology
Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schoepp
Subjects: Logic in Computer Science (cs.LO)
[45] arXiv:2212.12455 [pdf, other]
Title: Decoupled Fitness Criteria for Reactive Systems
Derek Egolf, Stavros Tripakis
Comments: v3 notable changes: "component separable" -> "faithful representation"; v2 notable changes: - updated discussion of "component separable" - updated presentation/organization of section 4 - updated presentation/organization of section 5 - added new case study
Subjects: Logic in Computer Science (cs.LO)
[46] arXiv:2212.12976 [pdf, other]
Title: Modular Formal Verification of Rust Programs with Unsafe Blocks
Nima Rahimi Foroushaani, Bart Jacobs
Comments: 22 pages, 13 listings, 3 figures, Technical report, Appendix by Bart Jacobs
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[47] arXiv:2212.13229 [pdf, other]
Title: Monoidal Width
Elena Di Lavore, Paweł Sobociński
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 3 (September 4, 2023) lmcs:10552
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[48] arXiv:2212.13754 [pdf, other]
Title: Verification of C++ Programs with VeriFast
Niels Mommen, Bart Jacobs
Comments: 20 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[49] arXiv:2212.14126 [pdf, other]
Title: Modular termination verification with a higher-order concurrent separation logic (Intermediate report)
Justus Fasse, Bart Jacobs
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[50] arXiv:2212.14494 [pdf, other]
Title: Coinductive Streams in Monoidal Categories
Elena Di Lavore, Giovanni de Felice, Mario Román
Comments: arXiv admin note: substantial text overlap with arXiv:2202.02061
Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 3 (August 12, 2025) lmcs:10759
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[51] arXiv:2212.01838 (cross-list from cs.LG) [pdf, other]
Title: Automata Learning meets Shielding
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muškardin, Roderick Bloem, Kim Larsen
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[52] arXiv:2212.01861 (cross-list from cs.LG) [pdf, other]
Title: Online Shielding for Reinforcement Learning
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Comments: arXiv admin note: substantial text overlap with arXiv:2012.09539
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[53] arXiv:2212.02267 (cross-list from quant-ph) [pdf, other]
Title: symQV: Automated Symbolic Verification of Quantum Programs
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
Comments: This is the extended version of a paper with the same title that appeared at FM 2023. Tool available at this http URL
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[54] arXiv:2212.02444 (cross-list from math.CT) [pdf, html, other]
Title: Homotopy type theory as a language for diagrams of $\infty$-logoses
Taichi Uemura
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
[55] arXiv:2212.02653 (cross-list from math.LO) [pdf, html, other]
Title: Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
Lucy Ham, Marcel Jackson
Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[56] arXiv:2212.02833 (cross-list from quant-ph) [pdf, other]
Title: A substructural logic for quantum measurements
Daniel Lehmann
Comments: 38 pages, draft to be submitted, comments and remarks welcomed to lehmann@cs.this http URL. This is a corrected, lean, streamlined version of the previous version
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Logic (math.LO)
[57] arXiv:2212.03513 (cross-list from cs.LG) [pdf, other]
Title: Truthful Meta-Explanations for Local Interpretability of Machine Learning Models
Ioannis Mollas, Nick Bassiliades, Grigorios Tsoumakas
Comments: 22 pages, 5 figures, 9 tables, submitted to Applied Intelligence Journal
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[58] arXiv:2212.03687 (cross-list from cs.PL) [pdf, html, other]
Title: revTPL: The Reversible Temporal Process Language
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 1 (January 31, 2024) lmcs:10440
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[59] arXiv:2212.04182 (cross-list from math.AT) [pdf, other]
Title: Computing Cohomology Rings in Cubical Agda
Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
Subjects: Algebraic Topology (math.AT); Logic in Computer Science (cs.LO)
[60] arXiv:2212.04802 (cross-list from cs.FL) [pdf, other]
Title: Efficient Convex Zone Merging in Parametric Timed Automata
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Comments: This is the author version of the manuscript of the same name published in the proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022)
Journal-ref: FORMATS'22, Springer LNCS 13465, pages 1-19, 2022
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[61] arXiv:2212.04921 (cross-list from quant-ph) [pdf, other]
Title: Do we live in a [quantum] simulation? Constraints, observations, and experiments on the simulation hypothesis
Florian Neukart, Anders Indset, Markus Pflitsch, Michael Perelshtein
Comments: 27 pages, 5 figures
Subjects: Quantum Physics (quant-ph); Computers and Society (cs.CY); Logic in Computer Science (cs.LO)
[62] arXiv:2212.05050 (cross-list from math.LO) [pdf, html, other]
Title: The unstable formula theorem revisited via algorithms
Maryanthe Malliaris, Shay Moran
Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[63] arXiv:2212.05244 (cross-list from cs.PL) [pdf, other]
Title: A Quantitative Flavour of Robust Reachability
Sébastien Bardin, Guillaume Girol
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[64] arXiv:2212.06675 (cross-list from math.LO) [pdf, other]
Title: Logic of Combinatory Logic
Simona Kašterović, Silvia Ghilezan
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[65] arXiv:2212.06956 (cross-list from cs.PL) [pdf, other]
Title: Verifying term graph optimizations using Isabelle/HOL
Brae J. Webb, Ian J. Hayes, Mark Utting
Comments: 14 pages, 7 figures, to be published in CPP2023
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[66] arXiv:2212.07278 (cross-list from cs.CR) [pdf, other]
Title: Backdoor Mitigation in Deep Neural Networks via Strategic Retraining
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Comments: 13 Pages, 7 Tables, 4 Figures. Accepted at the International Symposium of Formal Methods 2023 (FM 2023)
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[67] arXiv:2212.07935 (cross-list from cs.AI) [pdf, other]
Title: Strong-AI Autoepistemic Robots Build on Intensional First Order Logic
Zoran Majkic
Comments: 25 pages, 2 figures
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[68] arXiv:2212.08170 (cross-list from cs.AI) [pdf, other]
Title: BNSynth: Bounded Boolean Functional Synthesis
Ravi Raja (1), Stanly Samuel (1), Chiranjib Bhattacharyya (1), Deepak D'Souza (1), Aditya Kanade (2) ((1) Indian Institute of Science, Bangalore, (2) Microsoft Research, Bangalore)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[69] arXiv:2212.08567 (cross-list from cs.LG) [pdf, other]
Title: Optimized Symbolic Interval Propagation for Neural Network Verification
Philipp Kern, Marko Kleine Büning, Carsten Sinz
Comments: Published at the 1st Workshop on Formal Verification of Machine Learning (WFVML 2022) (this https URL)
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[70] arXiv:2212.09390 (cross-list from cs.AI) [pdf, other]
Title: Fast Converging Anytime Model Counting
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[71] arXiv:2212.10841 (cross-list from cs.AI) [pdf, other]
Title: Predicting the Score of Atomic Candidate OWL Class Axioms
Ali Ballout (UCA, Laboratoire I3S - SPARKS, WIMMICS), Andrea G B Tettamanzi (Laboratoire I3S - SPARKS, UCA, WIMMICS), Célia da Costa Pereira (UCA, Laboratoire I3S - SPARKS)
Journal-ref: WI-IAT, Nov 2022, Niagara Falls, Canada
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[72] arXiv:2212.10875 (cross-list from cs.FL) [pdf, other]
Title: Reactive Synthesis for DECLARE via symbolic automata
Luca Geatti, Marco Montali, Andrey Rivkin
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[73] arXiv:2212.10931 (cross-list from cs.FL) [pdf, html, other]
Title: An Elementary Proof of the FMP for Kleene Algebra
Tobias Kappé
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[74] arXiv:2212.11247 (cross-list from cs.DS) [pdf, html, other]
Title: Count-Free Weisfeiler--Leman and Group Isomorphism
Nathaniel A. Collins, Michael Levet
Comments: arXiv admin note: text overlap with arXiv:2112.11487
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Group Theory (math.GR)
[75] arXiv:2212.11719 (cross-list from cs.IT) [pdf, other]
Title: Markov Categories and Entropy
Paolo Perrone
Comments: 54 pages
Journal-ref: IEEE Transactions of Information Theory 70(3), 2024
Subjects: Information Theory (cs.IT); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR); Statistics Theory (math.ST)
[76] arXiv:2212.11764 (cross-list from math.LO) [pdf, other]
Title: Normalization and coherence for $\infty$-type theories
Taichi Uemura
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[77] arXiv:2212.12150 (cross-list from cs.CC) [pdf, other]
Title: A Closer Look at Some Recent Proof Compression-Related Claims
Michael C. Chavrimootoo, Ethan Ferland, Erin Gibson, Ashley H. Wilson
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[78] arXiv:2212.12393 (cross-list from cs.LG) [pdf, other]
Title: A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
Emile van Krieken, Thiviyan Thanapalasingam, Jakub M. Tomczak, Frank van Harmelen, Annette ten Teije
Comments: Accepted to NeurIPS 2023. 13 pages, 11 appendix pages, 7 figures
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)
Total of 78 entries
Showing up to 2000 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack