We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for cs.LO in Jul 2022

[ total of 112 entries: 1-112 ]
[ showing 112 entries per page: fewer | more ]
[1]  arXiv:2207.00119 [pdf, other]
Title: Reasoning in Non-normal Modal Description Logics
Comments: ARQNL 2022
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2207.00317 [pdf]
Title: A Note on Process Modelling: Combining Situation Calculus and Petri Nets
Comments: Monografias em Ci\^encia da Computa\c{c}\~ao, June, 2022, Dep. Inform\'atica PUC-Rio, RJ, BRAZIL, ISSN 0103-9741
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2207.00517 [pdf, ps, other]
Title: A Survey on Satisfiability Checking for the $μ$-Calculus through Tree Automata
Comments: 28 pages
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2207.00851 [pdf, other]
Title: What Makes a Strong Monad?
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 113-133
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[5]  arXiv:2207.00921 [pdf, other]
Title: Auto-active Verification of Floating-point Programs via Nonlinear Real Provers
Comments: 26 pages, 2 figures, 24 listings, 6 tables, to be submitted to SEFM2022 (see this https URL )
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[6]  arXiv:2207.01048 [pdf, ps, other]
Title: A Formal Framework for Distributed Cyber-Physical Systems
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2207.01288 [pdf, ps, other]
Title: Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder
Authors: Zhiguang Zhao
Comments: arXiv admin note: text overlap with arXiv:2102.13291
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[8]  arXiv:2207.01338 [pdf, ps, other]
Title: Formal Verification of Safety Properties Using Interpolation and k-induction
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:2207.02045 [pdf, ps, other]
Title: A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2207.02601 [pdf]
Title: Partial Residuated Implications Derived from Partial Triangular Norms and Partial Residuated Lattices
Comments: 29 pages
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2207.02637 [pdf, ps, other]
Title: On the Complexity of Rational Verification
Comments: Preprint submitted to Annals of Mathematics and Artificial Intelligence
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[12]  arXiv:2207.02697 [pdf, ps, other]
Title: Semilinear Home-space is Decidable for Petri Nets
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2207.02728 [pdf, other]
Title: Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
Comments: Accepted to ITP 2022, to be published in conference proceedings
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[14]  arXiv:2207.02822 [pdf, other]
Title: Towards Concurrent Quantitative Separation Logic
Comments: Extended version of CONCUR'22 paper
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[15]  arXiv:2207.02956 [pdf, other]
Title: Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Subjects: Logic in Computer Science (cs.LO)
[16]  arXiv:2207.03209 [pdf, other]
Title: Application of Validation Obligations to Security Concerns
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2207.03360 [pdf, ps, other]
Title: On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version)
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[18]  arXiv:2207.03749 [pdf, other]
Title: An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear $π$-Calculus
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[19]  arXiv:2207.03929 [pdf, ps, other]
Title: String Diagrams for Layered Explanations
Comments: 21 pages, 8 figures. Accepted for publication in the proceedings of ACT 2022
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[20]  arXiv:2207.04362 [pdf, ps, other]
Title: Abstract Processes in the Absence of Conflicts in General Place/Transition Systems
Comments: The above result appeared already in our technical report arXiv:2103.00729, although formulated and proven differently, since there we didn't have the preorder $\sqsubseteq_1^\infty$, introduced in arXiv:2103.01490. Our revised proofs are conceptually simpler, as they avoid the auxiliary concepts of BD-runs and FS-runs
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2207.04647 [pdf, ps, other]
Title: Epi-constructivism: Decidable sets of computable numbers as foundational objects for mathematics
Authors: Zvi Schreiber
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[22]  arXiv:2207.04986 [pdf, other]
Title: Order-Invariance in the Two-Variable Fragment of First-Order Logic
Authors: Julien Grange
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:2207.05207 [pdf, other]
Title: Counterexample Generation for Infinite-State Chemical Reaction Networks
Authors: Mohammad Ahmadi (1), Zhen Zhang (2), Chris Myers (3), Chris Winstead (2), Hao Zheng (1) ((1) University of South Florida,(2) Utah State University,(3) University of Colorado Boulder)
Subjects: Logic in Computer Science (cs.LO)
[24]  arXiv:2207.05407 [pdf, other]
Title: Hennessy-Milner Theorems via Galois Connections
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2207.05610 [pdf, ps, other]
Title: Abstraction Logic: A New Foundation for (Computer) Mathematics
Authors: Steven Obua
Subjects: Logic in Computer Science (cs.LO)
[26]  arXiv:2207.05678 [pdf, other]
Title: Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
Subjects: Logic in Computer Science (cs.LO)
[27]  arXiv:2207.06681 [pdf, other]
Title: Multi: a Formal Playground for Multi-Smart Contract Interaction
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[28]  arXiv:2207.06708 [pdf, other]
Title: Realizability Problem for Constraint LTL
Comments: 26 pages
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[29]  arXiv:2207.06801 [pdf, other]
Title: Parameter Synthesis in Markov Models: A Gentle Survey
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:2207.07143 [pdf, ps, other]
Title: Node Replication: Theory And Practice
Comments: 64 pages, submitted to LMCS
Subjects: Logic in Computer Science (cs.LO)
[31]  arXiv:2207.07416 [pdf, ps, other]
Title: Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Comments: 9 pages
Subjects: Logic in Computer Science (cs.LO)
[32]  arXiv:2207.07479 [pdf, ps, other]
Title: Zone-based verification of timed automata: extrapolations, simulations and what next?
Comments: Invited contribution at FORMATS'22
Subjects: Logic in Computer Science (cs.LO)
[33]  arXiv:2207.07499 [pdf, ps, other]
Title: Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL
Subjects: Logic in Computer Science (cs.LO)
[34]  arXiv:2207.07614 [pdf, other]
Title: Fixed Points and Noetherian Topologies
Authors: Aliaume Lopez
Comments: 18 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:2207.07683 [pdf, ps, other]
Title: First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs
Comments: 28 pages, 5 figures
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[36]  arXiv:2207.08420 [pdf, ps, other]
Title: Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic
Authors: David Monniaux (VERIMAG - IMAG), Alice Pain (VERIMAG - IMAG, ENS-PSL)
Subjects: Logic in Computer Science (cs.LO)
[37]  arXiv:2207.08453 [pdf, other]
Title: CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description)
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[38]  arXiv:2207.08465 [pdf, ps, other]
Title: Multiplicative linear logic from a resolution-based tile system
Authors: Boris Eng (LIPN), Thomas Seiller (CNRS, LIPN)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[39]  arXiv:2207.08572 [pdf, other]
Title: Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions
Authors: Ján Komara
Comments: 30 pages; reprint of the technical report TR mff-ii-10-1992, September 1992
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[40]  arXiv:2207.08697 [pdf, ps, other]
Title: The Theory of Call-by-Value Solvability (long version)
Comments: Long version of a paper accepted at ICFP 2022. arXiv admin note: text overlap with arXiv:2202.03079
Subjects: Logic in Computer Science (cs.LO)
[41]  arXiv:2207.08775 [pdf, other]
Title: Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach
Authors: Luan V. Nguyen (University of Dayton), Wesam Haddad (University of Dayton), Taylor T. Johnson (Vanderbilt University)
Comments: In Proceedings SNR 2021, arXiv:2207.04391
Journal-ref: EPTCS 361, 2022, pp. 9-23
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)
[42]  arXiv:2207.08777 [pdf, ps, other]
Title: Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
Authors: Marcelo Fiore
Comments: This is a slight revision, with an implementation, of the full version, with proofs, of February 2003 for the extended abstract with the same title published in the Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) in October 2002
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[43]  arXiv:2207.08918 [pdf, ps, other]
Title: One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
Comments: 6 pages, submitted to Journal (a revised version of the previous submission with more precise proofs)
Subjects: Logic in Computer Science (cs.LO)
[44]  arXiv:2207.09142 [pdf, other]
Title: Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming
Authors: Ján Komara
Comments: 26 pages; reprint of the technical report TR mff-ii-11-1992, September 1992. arXiv admin note: substantial text overlap with arXiv:2207.08572
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[45]  arXiv:2207.09187 [pdf, other]
Title: Quantitative Hennessy-Milner Theorems via Notions of Density
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[46]  arXiv:2207.09190 [pdf, ps, other]
Title: Central Submonads and Notions of Computation
Comments: 25 pages + 8 pages references and appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[47]  arXiv:2207.09226 [pdf, ps, other]
Title: Capturing the polynomial hierarchy by second-order revised Krom logic
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[48]  arXiv:2207.09486 [pdf, ps, other]
Title: Formalising the Krull Topology in Lean
Authors: Sebastian Monnet
Comments: Minor corrections
Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
[49]  arXiv:2207.09509 [pdf, other]
Title: TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version
Comments: 19 pages
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[50]  arXiv:2207.09707 [pdf, other]
Title: Careful Autonomous Agents in Environments With Multiple Common Resources
Authors: Rodica Condurache (Alexandru Ioan Cuza University), Catalin Dima (Paris-East Créteil University, LACL), Madalina Jitaru (Paris-East Créteil University, LACL), Youssouf Oualhadj (Free University of Bozen-Bolzano, Paris-East Créteil University), Nicolas Troquard (Free University of Bozen-Bolzano)
Comments: In Proceedings AREA 2022, arXiv:2207.09058
Journal-ref: EPTCS 362, 2022, pp. 3-14
Subjects: Logic in Computer Science (cs.LO)
[51]  arXiv:2207.09854 [pdf, other]
Title: Auto-active Verification of Graph Algorithms, Written in OCaml
Subjects: Logic in Computer Science (cs.LO)
[52]  arXiv:2207.09872 [pdf, other]
Title: A Lattice-Theoretical View of Strategy Iteration
Subjects: Logic in Computer Science (cs.LO)
[53]  arXiv:2207.09895 [pdf, other]
Title: PFMC: a parallel symbolic model checker for security protocol verification
Subjects: Logic in Computer Science (cs.LO)
[54]  arXiv:2207.10010 [pdf, ps, other]
Title: A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Authors: Gershom Bazerman
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[55]  arXiv:2207.10262 [pdf, ps, other]
Title: A Labelled Sequent Calculus for Public Announcement Logic
Subjects: Logic in Computer Science (cs.LO)
[56]  arXiv:2207.10424 [pdf, other]
Title: A Linter for Isabelle: Implementation and Evaluation
Comments: Isabelle Workshop 2022
Subjects: Logic in Computer Science (cs.LO)
[57]  arXiv:2207.10562 [pdf, other]
Title: CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
Comments: PPDP 2022, 24th International Symposium on Principles and Practice of Declarative Programming
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[58]  arXiv:2207.10590 [pdf, other]
Title: On Feller Continuity and Full Abstraction (Long Version)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[59]  arXiv:2207.11284 [pdf, ps, other]
Title: Towards the shortest DRAT proof of the Pigeonhole Principle
Comments: 13 pages. To appear in Pragmatics of SAT 2022
Subjects: Logic in Computer Science (cs.LO)
[60]  arXiv:2207.12039 [pdf, ps, other]
Title: Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[61]  arXiv:2207.12742 [pdf, ps, other]
Title: A formalization of the change of variables formula for integrals in mathlib
Authors: Sébastien Gouëzel (IRMAR)
Subjects: Logic in Computer Science (cs.LO)
[62]  arXiv:2207.12807 [pdf, other]
Title: Normalization for Fitch-Style Modal Calculi
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[63]  arXiv:2207.12953 [pdf, ps, other]
Title: Extensible Proof Systems for Infinite-State Systems
Comments: Version with full proofs and technical details
Subjects: Logic in Computer Science (cs.LO)
[64]  arXiv:2207.13577 [pdf, other]
Title: Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
Comments: Accepted at the Pragmatics of SAT workshop this http URL
Subjects: Logic in Computer Science (cs.LO)
[65]  arXiv:2207.13660 [pdf, ps, other]
Title: Satisfiability Bounds for $ω$-Regular Properties in Bounded-Parameter Markov Decision Processes
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[66]  arXiv:2207.13912 [pdf, other]
Title: Frobenius structures in star-autonomous categories
Authors: Luigi Santocanale (LIS, LIRICA), Cédric de Lacroix (LIS, LIRICA)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[67]  arXiv:2207.14043 [pdf, other]
Title: Trace Refinement in B and Event-B
Subjects: Logic in Computer Science (cs.LO)
[68]  arXiv:2207.14139 [pdf, ps, other]
Title: Nominal Matching Logic
Comments: To appear, PPDP 2022
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[69]  arXiv:2207.14364 [pdf, ps, other]
Title: Regression verification of unbalanced recursive functions with multiple calls (long version)
Comments: long version of a submission to VSTTE'22
Subjects: Logic in Computer Science (cs.LO)
[70]  arXiv:2207.00843 (cross-list from cs.PL) [pdf, ps, other]
Title: Sikkel: Multimode Simple Type Theory as an Agda Library
Authors: Joris Ceulemans (KU Leuven), Andreas Nuyts (KU Leuven), Dominique Devriese (KU Leuven)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 93-112
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[71]  arXiv:2207.01431 (cross-list from cs.CY) [pdf]
Title: Breaking Bad News in the Era of Artificial Intelligence and Algorithmic Medicine: An Exploration of Disclosure and its Ethical Justification using the Hedonic Calculus
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[72]  arXiv:2207.02015 (cross-list from cs.PL) [pdf, other]
Title: Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Comments: Extended version of paper accepted at CONCUR 2022
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[73]  arXiv:2207.02355 (cross-list from cs.PL) [pdf, other]
Title: A Concurrent Program Logic with a Future and History
Journal-ref: Proc. ACM Program. Lang. 6, OOPSLA2, Article 174 (October 2022), 30 pages
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[74]  arXiv:2207.02387 (cross-list from cs.RO) [pdf, other]
Title: Goal-Aware RSS for Complex Scenarios via Program Logic
Comments: 33 pages, 18 figures, 1 table. Accepted for publication in IEEE Transactions on Intelligent Vehicles
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO)
[75]  arXiv:2207.02517 (cross-list from cs.CR) [pdf, other]
Title: Transaction Monitoring of Smart Contracts
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[76]  arXiv:2207.02978 (cross-list from cs.AI) [pdf, other]
Title: Extending Logical Neural Networks using First-Order Theories
Comments: 7 pages, 4 figures
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[77]  arXiv:2207.03264 (cross-list from cs.LG) [pdf, other]
Title: A Solver + Gradient Descent Training Algorithm for Deep Neural Networks
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[78]  arXiv:2207.03880 (cross-list from cs.AI) [pdf, other]
Title: Constrained Training of Neural Networks via Theorem Proving
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[79]  arXiv:2207.03994 (cross-list from cs.PL) [pdf, other]
Title: LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes
Authors: Mathieu Montin (Université de Lorraine, Loria, CNRS, Inria, France), Amélie Ledein (Université Paris-Saclay, ENS Paris-Saclay, LMF, CNRS, Inria, France), Catherine Dubois (ENSIIE, Samovar, IP Paris, France)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 27-44
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[80]  arXiv:2207.05413 (cross-list from cs.CR) [pdf, other]
Title: A Security-aware and LUT-based CAD Flow for the Physical Synthesis of eASICs
Subjects: Cryptography and Security (cs.CR); Hardware Architecture (cs.AR); Logic in Computer Science (cs.LO)
[81]  arXiv:2207.06210 (cross-list from cs.CC) [pdf, ps, other]
Title: Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic
Comments: arXiv admin note: text overlap with arXiv:2105.06202
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[82]  arXiv:2207.06741 (cross-list from cs.AI) [pdf, ps, other]
Title: Differentiable Logics for Neural Network Training and Verification
Comments: FOMLAS'22 paper
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[83]  arXiv:2207.07053 (cross-list from cs.PL) [pdf, ps, other]
Title: On Pitts' Relational Properties of Domains
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[84]  arXiv:2207.07259 (cross-list from cs.RO) [pdf, other]
Title: Automating Geometric Proofs of Collision Avoidance with Active Corners
Comments: 13 pages, 11 figures, conference paper
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[85]  arXiv:2207.07694 (cross-list from cs.FL) [pdf, ps, other]
Title: Parikh Automata over Infinite Words
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[86]  arXiv:2207.08276 (cross-list from cs.AI) [pdf, ps, other]
Title: Certain and Uncertain Inference with Trivalent Conditionals
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO); Probability (math.PR)
[87]  arXiv:2207.08579 (cross-list from cs.AI) [pdf, ps, other]
Title: Positive Dependency Graphs Revisited
Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[88]  arXiv:2207.08795 (cross-list from cs.PL) [pdf, ps, other]
Title: Multi Types and Reasonable Space (Long Version)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[89]  arXiv:2207.09669 (cross-list from cs.AI) [pdf, other]
Title: Efficient Dependency Analysis for Rule-Based Ontologies
Comments: Extended report of our ISWC 2022 paper
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)
[90]  arXiv:2207.09746 (cross-list from cs.CR) [pdf, other]
Title: Can Causal (and Counterfactual) Reasoning improve Privacy Threat Modelling?
Comments: Accepted at PTM-SOUPS'22
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[91]  arXiv:2207.10152 (cross-list from cs.AI) [pdf, other]
Title: Automated Kantian Ethics: A Faithful Implementation
Authors: Lavanya Singh
Comments: 20 pages, 8 figures, to appear in KI: 45th German Conference on Artificial Intelligence
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[92]  arXiv:2207.11000 (cross-list from cs.FL) [pdf, other]
Title: Natural Colors of Infinite Words
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[93]  arXiv:2207.11723 (cross-list from cs.SE) [pdf, other]
Title: On the Validation of Multi-Level Personalised Health Condition Model
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[94]  arXiv:2207.11733 (cross-list from cs.AI) [pdf, other]
Title: State Definition for Conflict Analysis with Four-valued Logic
Authors: Yukiko Kato
Comments: This work has been submitted to the IEEE SMC 2022 for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[95]  arXiv:2207.12326 (cross-list from cs.CR) [pdf, ps, other]
Title: Automatic Fair Exchanges
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[96]  arXiv:2207.12583 (cross-list from cs.AI) [pdf, ps, other]
Title: How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
Authors: Patrick Rodler
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[97]  arXiv:2207.12699 (cross-list from cs.PL) [pdf, other]
Title: Teaching Functional Programmers Logic and Metatheory
Authors: Frederik Krogsdal Jacobsen (Technical University of Denmark), Jørgen Villadsen (Technical University of Denmark)
Comments: In Proceedings TFPIE 2021/22, arXiv:2207.11600
Journal-ref: EPTCS 363, 2022, pp. 74-92
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[98]  arXiv:2207.13487 (cross-list from cs.SE) [pdf, other]
Title: An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications
Comments: originally accepted at Int'l Workshop on Logic & Synthesis 2022
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[99]  arXiv:2207.13586 (cross-list from cs.LG) [pdf, other]
Title: Encoding Concepts in Graph Neural Networks
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[100]  arXiv:2207.14000 (cross-list from cs.CL) [pdf, other]
Title: Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
Comments: 10 pages, 3 figures, The 2nd International Joint Conference on Learning & Reasoning and 16th International Workshop on Neural-Symbolic Learning and Reasoning (IJCLR-NeSy 2022)
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[101]  arXiv:2207.04779 (cross-list from math.HO) [pdf, ps, other]
Title: Mathematical Proof Between Generations
Comments: 17 pages, 1 figure
Subjects: History and Overview (math.HO); Logic in Computer Science (cs.LO)
[102]  arXiv:2207.05740 (cross-list from math.ST) [pdf, ps, other]
Title: The d-separation criterion in Categorical Probability
Comments: 34 pages
Subjects: Statistics Theory (math.ST); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR); Machine Learning (stat.ML)
[103]  arXiv:2207.05832 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras
Comments: 14 pages, to be published in the proceedings of QPL 2022
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[104]  arXiv:2207.06993 (cross-list from math.LO) [pdf, ps, other]
Title: A fundamental non-classical logic
Comments: Forthcoming in Logics, Vol. 1. Added footnote 15 and corrected antepenultimate sentence of Section 6
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[105]  arXiv:2207.07353 (cross-list from math.DS) [pdf, ps, other]
Title: A category-theoretic proof of the ergodic decomposition theorem
Comments: 29 pages
Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[106]  arXiv:2207.07397 (cross-list from math.LO) [pdf, ps, other]
Title: First-order logic with self-reference
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[107]  arXiv:2207.10871 (cross-list from math.LO) [pdf, ps, other]
Title: Elimination and cut-elimination in multiplicative linear logic
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[108]  arXiv:2207.11593 (cross-list from math.CO) [pdf, ps, other]
Title: A very sharp threshold for first order logic distinguishability of random graphs
Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO); Logic (math.LO); Probability (math.PR)
[109]  arXiv:2207.11629 (cross-list from math.LO) [pdf, other]
Title: Presenting with Quantitative Inequational Theories
Authors: Todd Schmid
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[110]  arXiv:2207.12596 (cross-list from math.LO) [pdf, ps, other]
Title: Canonicity in power and modal logics of finite achronal width
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[111]  arXiv:2207.12786 (cross-list from math.LO) [pdf, ps, other]
Title: Tolerance and degrees of truth
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[112]  arXiv:2207.14088 (cross-list from math.PR) [pdf, other]
Title: On the Sequential Probability Ratio Test in Hidden Markov Models
Comments: 28 pages, 10 figures, submitted to CONCUR 2022
Subjects: Probability (math.PR); Logic in Computer Science (cs.LO); Statistics Theory (math.ST)
[ total of 112 entries: 1-112 ]
[ showing 112 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2212, contact, help  (Access key information)