Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic in Computer Science

Authors and titles for June 2022

Total of 101 entries
Showing up to 2000 entries per page: fewer | more | all
[26] arXiv:2206.06046 [pdf, other]
Title: Local Dependence and Guarding
Johan van Benthem, Balder ten Cate, Raoul Koudijs
Comments: Proceedings of AIML 2022
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[27] arXiv:2206.06049 [pdf, other]
Title: Characterising Modal Formulas with Examples
Balder ten Cate, Raoul Koudijs
Comments: AIML 2022 short presentation
Subjects: Logic in Computer Science (cs.LO)
[28] arXiv:2206.06294 [pdf, other]
Title: Introducing Proof Tree Automata and Proof Tree Graphs
Valentin D. Richard
Comments: Extended abstract accepted at SLSS 2022
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)
[29] arXiv:2206.06677 [pdf, other]
Title: Abstraction-Based Segmental Simulation of Chemical Reaction Networks
Martin Helfrich, Milan Češka, Jan Křetínský, Štefan Martiček
Comments: Accepted to Computational Methods in Systems Biology 2022
Subjects: Logic in Computer Science (cs.LO)
[30] arXiv:2206.07393 [pdf, other]
Title: Structure and Power: an emerging landscape
Samson Abramsky
Comments: To appear in special issue for Trakhtenbrot centenary of Fundamenta Informaticae vol. 186 no 1-4
Journal-ref: Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's centenary (October 21, 2022) fi:9712
Subjects: Logic in Computer Science (cs.LO)
[31] arXiv:2206.07711 [pdf, other]
Title: On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[32] arXiv:2206.07823 [pdf, other]
Title: An Investigation of Kripke-style Modal Type Theories
Jason Z. S. Hu, Brigitte Pientka
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[33] arXiv:2206.08248 [pdf, other]
Title: Twin-width and types
Jakub Gajarský, Michał Pilipczuk, Wojciech Przybyszewski, Szymon Toruńczyk
Comments: 35 pages. Full version of an extended abstract to appear in the proceedings of ICALP 2022
Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Logic (math.LO)
[34] arXiv:2206.08413 [pdf, other]
Title: Recursion does not always help
Gordon Plotkin
Comments: Improved presentation a little
Subjects: Logic in Computer Science (cs.LO)
[35] arXiv:2206.08714 [pdf, other]
Title: Relaxing safety for metric first-order temporal logic via dynamic free variables
Jonathan Julian Huerta y Munive
Comments: 12 pages, conference, appendix
Subjects: Logic in Computer Science (cs.LO)
[36] arXiv:2206.08755 [pdf, other]
Title: Compositional Exploration of Combinatorial Scientific Models
Kristopher Brown, Tyler Hanks, James Fairbanks
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[37] arXiv:2206.09020 [pdf, other]
Title: Uniform and Modular Sequent Systems for Description Logics
Tim Lyon, Jonas Karge
Comments: Accepted to the 35th International Workshop on Description Logics (DL 2022). Appended version
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Logic (math.LO)
[38] arXiv:2206.09250 [pdf, other]
Title: Robin Milner's Work on Concurrency: An Appreciation
Samson Abramsky
Comments: Text of a talk given at MFPS 2010
Journal-ref: Electronic Notes in Theoretical Computer Science 265 (2010): 5-10
Subjects: Logic in Computer Science (cs.LO)
[39] arXiv:2206.09389 [pdf, other]
Title: Two Results on Separation Logic With Theory Reasoning
Mnacho Echenim, Nicolas Peltier
Comments: ASL 2022 - Workshop on Advancing Separation Logic. arXiv admin note: substantial text overlap with arXiv:2201.13227
Subjects: Logic in Computer Science (cs.LO)
[40] arXiv:2206.10234 [pdf, other]
Title: The Many-Worlds Calculus
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 2 (May 16, 2025) lmcs:12630
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[41] arXiv:2206.10916 [pdf, other]
Title: Geometry of Interaction for ZX-Diagrams
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
Journal-ref: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[42] arXiv:2206.11366 [pdf, other]
Title: From Spot 2.0 to Spot 2.10: What's New?
Alexandre Duret-Lutz (LRDE), Etienne Renault (LRDE), Maximilien Colange, Florian Renkin (LRDE), Alexandre Gbaguidi, Philipp Schlehuber-Caissier (LRDE), Thomas Medioni, Antoine Martin (LRDE), Jérôme Dubois, Clément Gillard, Henrich Lauko
Journal-ref: Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[43] arXiv:2206.11495 [pdf, other]
Title: Algebra-Based Reasoning for Loop Synthesis
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj Bjørner, Laura Kovács
Comments: This paper is an extended version of the "Algebra-Based Loop Synthesis'' manuscript published at iFM 2020. arXiv admin note: substantial text overlap with arXiv:2004.11787
Subjects: Logic in Computer Science (cs.LO)
[44] arXiv:2206.11751 [pdf, other]
Title: Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)
Bartosz Bednarczyk, Reijo Jaakkola
Comments: Accepted to the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
Subjects: Logic in Computer Science (cs.LO)
[45] arXiv:2206.12156 [pdf, other]
Title: Notes on presheaf representations of strategies and cohomological refinements of $k$-consistency and $k$-equivalence
Samson Abramsky
Comments: Working notes
Subjects: Logic in Computer Science (cs.LO)
[46] arXiv:2206.12164 [pdf, other]
Title: Elementary analytic functions in $VTC^0$
Emil Jeřábek
Comments: 57 pages
Journal-ref: Annals of Pure and Applied Logic 174 (2023), no. 6, article no. 103269, 50 pp
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[47] arXiv:2206.12934 [pdf, html, other]
Title: Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
Fabio Aurelio D'Asaro, Francesco Genco, Giuseppe Primiero
Journal-ref: F. A. D'Asaro, F. A. Genco, G. Primiero, Checking trustworthiness of probabilistic computations in a typed natural deduction system, Journal of Logic and Computation, 2025, exaf00
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[48] arXiv:2206.13610 [pdf, other]
Title: Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems
Francesco Gavazzo, Cecilia Di Florio
Subjects: Logic in Computer Science (cs.LO)
[49] arXiv:2206.13731 [pdf, other]
Title: On two-variable guarded fragment logic with expressive local Presburger constraints
Chia-Hsuan Lu, Tony Tan
Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 3 (August 27, 2024) lmcs:9757
Subjects: Logic in Computer Science (cs.LO)
[50] arXiv:2206.13765 [pdf, other]
Title: Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Toruńczyk
Comments: v2: revised presentation; renamed flip-wideness to flip-flatness; changed the title from "Indiscernibles and Wideness [...]" to "Indiscernibles and Flatness [...]"
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Logic (math.LO)
[51] arXiv:2206.13772 [pdf, other]
Title: Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Yuan Feng, Sanjiang Li
Comments: 26 pages
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[52] arXiv:2206.13841 [pdf, other]
Title: Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona
Subjects: Logic in Computer Science (cs.LO)
[53] arXiv:2206.13885 [pdf, other]
Title: Computation as uncertainty reduction: a simplified order-theoretic framework
Pedro Hack, Daniel A. Braun, Sebastian Gottwald
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[54] arXiv:2206.13920 [pdf, other]
Title: A quantitative extension of Interval Temporal Logic over infinite words
Laura Bozzelli, Adriano Peron
Subjects: Logic in Computer Science (cs.LO)
[55] arXiv:2206.13927 [pdf, other]
Title: On the Axiomatisation of Branching Bisimulation Congruence over CCS
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik
Subjects: Logic in Computer Science (cs.LO)
[56] arXiv:2206.14189 [pdf, other]
Title: A Formal Specification of Operating System based on ARINC 653
Ziyan Wang, Yan Zhang
Comments: 139 pages
Subjects: Logic in Computer Science (cs.LO)
[57] arXiv:2206.15169 [pdf, other]
Title: Minimization of Dynamical Systems over Monoids
Georgios Argyris, Alberto Lluch Lafuente, Alexander Leguizamon Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Comments: Accepted at Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023
Subjects: Logic in Computer Science (cs.LO); Quantitative Methods (q-bio.QM)
[58] arXiv:2206.15202 [pdf, other]
Title: Tuple Interpretations and Applications to Higher-Order Runtime Complexity
Cynthia Kop, Deivid Vale
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[59] arXiv:2206.15253 [pdf, other]
Title: Cohomology in Constraint Satisfaction and Structure Isomorphism
Adam Ó Conghaile
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[60] arXiv:2206.01032 (cross-list from cs.SE) [pdf, other]
Title: A more abstract bounded exploration postulate
Yuri Gurevich, Tatiana Yavorskaya
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[61] arXiv:2206.01280 (cross-list from cs.CC) [pdf, other]
Title: On the Parallel Parameterized Complexity of MaxSAT Variants
Max Bannach, Malte Skambath, Till Tantau
Comments: SAT 2022
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[62] arXiv:2206.01614 (cross-list from cs.LG) [pdf, other]
Title: Learning logic programs by combining programs
Andrew Cropper, Céline Hocquette
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[63] arXiv:2206.01643 (cross-list from cs.DB) [pdf, other]
Title: ChaTEAU: A Universal Toolkit for Applying the Chase
Tanja Auge, Nic Scharlau, Andreas Görres, Jakob Zimmer, Andreas Heuer
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[64] arXiv:2206.01946 (cross-list from cs.FL) [pdf, other]
Title: Complementing Büchi Automata with Ranker (Technical Report)
Vojtěch Havlena, Ondřej Lengál, Barbora Šmahlíková
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[65] arXiv:2206.02169 (cross-list from cs.AI) [pdf, other]
Title: Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes
Maximilian Schäfeller, Mohammad Abdulaziz
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[66] arXiv:2206.02653 (cross-list from cs.AI) [pdf, other]
Title: Abstraction-Refinement for Hierarchical Probabilistic Models
Sebastian Junges, Matthijs T. J. Spaan
Comments: Extended submitted version for CAV 2022
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[67] arXiv:2206.03044 (cross-list from cs.AI) [pdf, other]
Title: CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle (CEA LIST)
Journal-ref: AISafety, Jul 2022, Vienne, Austria
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Software Engineering (cs.SE)
[68] arXiv:2206.03172 (cross-list from cs.AI) [pdf, other]
Title: Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations
Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C-H. Cheng
Comments: 118 pages total: 94 of main paper + 2 of references + 22 of appendices. Submitted to JACM. Authors Gem Stapleton and Daniel Raggi contributed equally to this research
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[69] arXiv:2206.03418 (cross-list from cs.RO) [pdf, other]
Title: Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization
Ichiro Hasuo
Comments: 10 pages
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO)
[70] arXiv:2206.03445 (cross-list from cs.CR) [pdf, other]
Title: Timed automata as a formalism for expressing security: A survey on theory and practice
Johan Arcile, Étienne André
Comments: This is the author version of the manuscript of the same name published in ACM Computing Surveys
Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[71] arXiv:2206.03532 (cross-list from cs.PL) [pdf, other]
Title: Q# as a Quantum Algorithmic Language
Kartik Singhal (University of Chicago), Kesha Hietala (University of Maryland), Sarah Marshall (Microsoft Quantum), Robert Rand (University of Chicago)
Comments: In Proceedings QPL 2022, arXiv:2311.08375
Journal-ref: EPTCS 394, 2023, pp. 170-191
Subjects: Programming Languages (cs.PL); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[72] arXiv:2206.03582 (cross-list from cs.CR) [pdf, other]
Title: Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
Comments: This is the extended version of a paper to appear at CAV 2022
Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[73] arXiv:2206.03669 (cross-list from cs.LG) [pdf, other]
Title: Toward Certified Robustness Against Real-World Distribution Shifts
Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George Pappas, Hamed Hassani, Corina Pasareanu, Clark Barrett
Comments: SatML'23. Keywords: certified robustness, distribution shift, generative models, S-shaped activations, CEGAR
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[74] arXiv:2206.03868 (cross-list from math.CT) [pdf, other]
Title: Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
Toby St. Clere Smithe (Topos Institute)
Comments: In Proceedings ACT 2022, arXiv:2307.15519
Journal-ref: EPTCS 380, 2023, pp. 307-330
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)
[75] arXiv:2206.04814 (cross-list from quant-ph) [pdf, other]
Title: Universal Properties of Partial Quantum Maps
Pablo Andrés-MartíÂ-nez (Quantinuum), Chris Heunen (University of Edinburgh), Robin Kaarsgaard (University of Southern Denmark)
Comments: In Proceedings QPL 2022, arXiv:2311.08375
Journal-ref: EPTCS 394, 2023, pp. 192-207
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT); Operator Algebras (math.OA)
[76] arXiv:2206.04947 (cross-list from cs.CR) [pdf, other]
Title: Semantic Technology based Usage Control for Decentralized Systems
Ines Akaichi
Subjects: Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[77] arXiv:2206.04976 (cross-list from cs.AI) [pdf, other]
Title: Refining neural network predictions using background knowledge
Alessandro Daniele, Emile van Krieken, Luciano Serafini, Frank van Harmelen
Comments: 26 + 15 pages, 9 + 4 figures
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)
[78] arXiv:2206.05051 (cross-list from cs.LG) [pdf, html, other]
Title: Temporal Inductive Logic Reasoning over Hypergraphs
Yuan Yang, Siheng Xiong, Ali Payani, James C Kerce, Faramarz Fekri
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[79] arXiv:2206.05070 (cross-list from cs.LG) [pdf, other]
Title: Fundamental Limits in Formal Verification of Message-Passing Neural Networks
Marco Sälzer, Martin Lange
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[80] arXiv:2206.05438 (cross-list from cs.CR) [pdf, other]
Title: Guaranteeing Timed Opacity using Parametric Timed Model Checking
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
Comments: This is the author version of the manuscript of the same name published in ACM Transactions on Software Engineering and Methodology (ToSEM). This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002), by the ANR-NRF research program ProMiS (ANR-19-CE25-0015), and by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST. arXiv admin note: substantial text overlap with arXiv:1907.00537
Journal-ref: ACM Transactions on Software Engineering and Methodology (ToSEM), Volume 31(4), 2022
Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[81] arXiv:2206.06866 (cross-list from math.LO) [pdf, other]
Title: EXPTIME-hardness of higher-dimensional Minkowski spacetime
Robin Hirsch, Brett McLean
Comments: 15 pages
Journal-ref: Advances in Modal Logic, Volume 14 (2022) College Publications, 491-506
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[82] arXiv:2206.07180 (cross-list from cs.SE) [pdf, other]
Title: Integrating deduction and model finding in a language independent setting
Carlos Gustavo Lopez Pombo, Agustín Eloy Martinez Suñé
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[83] arXiv:2206.07504 (cross-list from cs.DB) [pdf, other]
Title: On the complexity of finding set repairs for data-graphs
Sergio Abriola, Santiago Cifuentes, María Vanina Martínez, Nina Pardal, Edwin Pin
Comments: 35 pages , including Appendix
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[84] arXiv:2206.07586 (cross-list from cs.AI) [pdf, other]
Title: Theory of Machine Learning with Limited Data
Marina Sapir
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[85] arXiv:2206.08760 (cross-list from cs.PL) [pdf, other]
Title: A Novel Loop Fission Technique Inspired by Implicit Computational Complexity
Clément Aubert, Thomas Rubiano (UP13), Neea Rusch, Thomas Seiller (CNRS, UP13)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[86] arXiv:2206.08955 (cross-list from cs.CL) [pdf, other]
Title: Making first order linear logic a generating grammar
Sergey Slavnov
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (November 17, 2023) lmcs:9727
Subjects: Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Logic (math.LO)
[87] arXiv:2206.09376 (cross-list from quant-ph) [pdf, other]
Title: Encoding High-level Quantum Programs as SZX-diagrams
Augustin Borgna (Université de Lorraine, Université Paris-Saclay), Rafael Romero (Universidad de Buenos Aires, Universidad de la República-MEC)
Comments: In Proceedings QPL 2022, arXiv:2311.08375
Journal-ref: EPTCS 394, 2023, pp. 141-169
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[88] arXiv:2206.09546 (cross-list from cs.LG) [pdf, other]
Title: Policy Optimization with Linear Temporal Logic Constraints
Cameron Voloshin, Hoang M. Le, Swarat Chaudhuri, Yisong Yue
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[89] arXiv:2206.09551 (cross-list from cs.AI) [pdf, other]
Title: Eliminating The Impossible, Whatever Remains Must Be True
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, Joao Marques-Silva
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[90] arXiv:2206.09758 (cross-list from cs.DB) [pdf, other]
Title: Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Comments: Extended version of a paper accepted at 35th International Workshop on Description Logics (DL 2022). Preliminary proceedings are available at this https URL
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[91] arXiv:2206.11061 (cross-list from cs.DB) [pdf, other]
Title: An Ontological Approach to Analysing Social Service Provisioning
Mark S. Fox, Bart Gajderowicz, Daniela Rosu, Alina Turner, Lester Lyu
Comments: Update: corrected email, header text
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[92] arXiv:2206.11265 (cross-list from cs.AI) [pdf, other]
Title: On Fuzzy Cardinal Semantic Transformations
Alexander Chunikhin, Vadym Zhytniuk
Comments: 18 pages, 6 figures
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[93] arXiv:2206.11412 (cross-list from math.DS) [pdf, other]
Title: What's Decidable about Discrete Linear Dynamical Systems?
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO)
[94] arXiv:2206.12252 (cross-list from cs.LG) [pdf, other]
Title: Indecision Trees: Learning Argument-Based Reasoning under Quantified Uncertainty
Jonathan S. Kent, David H. Menager
Comments: 12 pages, 1 figure
Journal-ref: Proc. SPIE 12529, Synthetic Data for Artificial Intelligence and Machine Learning: Tools, Techniques, and Applications, 1252915 (13 June 2023)
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[95] arXiv:2206.12721 (cross-list from math.LO) [pdf, other]
Title: On the computational properties of the uncountability of the real numbers
Sam Sanders
Comments: To appear in the proceedings of WoLLIC2022 (LNCS, Springer)
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[96] arXiv:2206.13643 (cross-list from math.LO) [pdf, other]
Title: Definable and Non-definable Notions of Structure
Andrew W. Swan
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[97] arXiv:2206.13998 (cross-list from cs.AI) [pdf, other]
Title: Learning Symmetric Rules with SATNet
Sangho Lim, Eun-Gyeol Oh, Hongseok Yang
Comments: 27 pages, 10 figures, the first two authors contributed equally to this work, accepted at NeurIPS'22
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Group Theory (math.GR)
[98] arXiv:2206.14484 (cross-list from math.LO) [pdf, html, other]
Title: Countability constraints in order-theoretic approaches to computability
Pedro Hack, Daniel A. Braun, Sebastian Gottwald
Comments: Accepted in Mathematical Structures in Computer Science (Cambridge University Press)
Journal-ref: Math. Struct. Comp. Sci. 34 (2024) 491-528
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[99] arXiv:2206.14509 (cross-list from cs.DM) [pdf, other]
Title: Combinatorial and Algorithmic Aspects of Monadic Stability
Jan Dreier, Nikolas Mählmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)
[100] arXiv:2206.14590 (cross-list from cs.FL) [pdf, other]
Title: Monitoring Timed Properties (Revisited)
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[101] arXiv:2206.15225 (cross-list from cs.AI) [pdf, other]
Title: Are Hitting Formulas Hard for Resolution?
Tomáš Peitl, Stefan Szeider
Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
Total of 101 entries
Showing up to 2000 entries per page: fewer | more | all