Decidability of Graph Neural Networks via Logical Characterizations

Authors: Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan

Contributors: Michael Benedikt and Chia-Hsuan Lu and Boris Motik and Tony Tan

Source: ACM Transactions on Computational Logic. 27:1-65

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, Graph Neural Networks, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2404.18151
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.127

Cubing for Tuning

Authors: Haoze Wu 0001, Clark W. Barrett, Nina Narodytska

Source: Proceedings of the AAAI Conference on Artificial Intelligence. 40:14361-14370

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2504.19039

Enumerating Minimal Unsatisfiable Cores of LTLf Formulae

Authors: Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

Source: Proceedings of the AAAI Conference on Artificial Intelligence. 40:19160-19168

Subject Terms: FOS: Computer and information sciences, temporal logic, explainability, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2409.09485
https://hdl.handle.net/10281/603104
https://doi.org/10.1609/aaai.v40i23.38990

LOCALLY TABULAR PRODUCTS OF MODAL LOGICS

Authors: ILYA SHAPIROVSKY, VLADISLAV SLIUSAREV

Source: The Journal of Symbolic Logic. :1-27

Subject Terms: FOS: Computer and information sciences, 03B45, 03B62, 06E25, Computer Science - Logic in Computer Science, FOS: Mathematics, F.4.1, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2404.01670

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations

Authors: Wolfgang Gatterbauer

Source: Proceedings of the ACM on Management of Data. 4:1-28

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Databases, Databases (cs.DB), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2412.08583

Ain’t No Stopping Us Monitoring Now

Authors: Luca Ciccone, Francesco Dagnino, Angelo Ferrando

Source: ACM Transactions on Software Engineering and Methodology. 35:1-33

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2211.11544
https://hdl.handle.net/11380/1388503
https://doi.org/10.1145/3744241

Fitchean Ignorance and First-order Ignorance: A Neighborhood Look

Authors: Jie Fan

Source: The Australasian Journal of Logic. 23:209-250

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2309.09451

PEak: A Single Source of Truth for Hardware Design and Verification

Authors: Caleb Donovick, Jackson Melchert, Ross Daly, Lenny Truong, Priyanka Raina, Pat Hanrahan, Clark Barrett

Source: ACM Transactions on Embedded Computing Systems. 25:1-22

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Hardware Architecture (cs.AR), 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Computer Science - Hardware Architecture, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2308.13106

Counting of Teams in First-Order Team Logics

Authors: Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang

Contributors: Rossmanith, Peter, Heggernes, Pinar, Katoen, Joost-Pieter, Department of Mathematics and Statistics, Anselm Haak and Juha Kontinen and Fabian Müller and Heribert Vollmer and Fan Yang

Source: ACM Transactions on Computational Logic. 27:1-22

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, cs.CC, team-based logics, Team-based logics, 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, cs.LO, Descriptive complexity, Logic in Computer Science (cs.LO), descriptive complexity, Computer Science - Computational Complexity, finite model theory, counting classes, Counting classes, 0101 mathematics, Mathematics

File Description: application/pdf

Access URL: http://arxiv.org/abs/1902.00246
https://research-portal.uu.nl/en/publications/b5fa3dae-4a00-4303-8b12-c1b699a046e2
https://doi.org/10.1145/3771721
http://hdl.handle.net/10138/307137
http://hdl.handle.net/10138/625788
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.19

The Sherali–Adams and Weisfeiler–Leman Hierarchies in (Promise Valued) Constraint Satisfaction Problems

Authors: Libor Barto, Silvia Butti, Victor Dalmau

Source: Barto, L, Butti, S & Dalmau, V 2025, 'The Sherali-Adams and Weisfeiler-Leman Hierarchies in (Promise Valued) Constraint Satisfaction Problems', ACM Transactions on Computation Theory. https://doi.org/10.1145/3756323

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2401.16998
https://kclpure.kcl.ac.uk/portal/en/publications/338afbdb-526f-4946-945c-e2a93d151764
https://kclpure.kcl.ac.uk/ws/files/360245266/3756323.pdf
https://doi.org/10.1145/3756323

Runtime Verification via Rational Monitor with Imperfect Information

Authors: Angelo Ferrando 0001, Vadim Malvone

Source: ACM Transactions on Software Engineering and Methodology. 35:1-29

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2408.11627

Swap Kripke Models for Deontic LFIs

Authors: Mahan Vaz, Marcelo E. Coniglio

Source: Logic and Logical Philosophy. :1-40

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), 03B53, 03B45, 03B62, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2506.06181

Extracting Formulae in Many-Valued Logic From Deep Neural Networks

Authors: Yani Zhang, Helmut Bölcskei

Source: IEEE Transactions on Signal Processing. 74:1-12

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), deep neural networks, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2401.12113

The subTuring degrees

Authors: Takayuki Kihara, Keng Meng Ng

Source: Canadian Journal of Mathematics. :1-26

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2411.06043

On Multi-Step Fuzzy Inference in Gödel Logic

Authors: Dusan Guller

Source: 2025 11th International Conference on Systems and Informatics (ICSAI). :1-13

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2312.00320

Formal Modeling and Analysis of Slot Machines

Authors: Jan Friso Groote, Sander van Heesch, Matthias Volk 0001

Source: IEEE Transactions on Games. 17:1070-1083

Subject Terms: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Slot machines, Markov chain, Mu-calculus, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2407.06809
https://research.tue.nl/en/publications/cb641997-89b2-4be4-a566-37627204f70d
https://doi.org/10.1109/TG.2025.3594957

Logical Relations for Formally Verified Authenticated Data Structures

Authors: Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti

Source: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :1394-1408

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2501.10802

Centralized vs. Decentralized Monitors for Hyperproperties

Authors: Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker

Contributors: Luca Aceto and Antonis Achilleos and Elli Anastasiadi and Adrian Francalanza and Daniele Gorla and Jana Wagemaker

Source: Aceto, L, Achilleos, A, Anastasiadi, E, Francalanza, A, Gorla, D & Wagemaker, J 2026, 'Centralized vs. Decentralized Monitors for Hyperproperties', ACM Transactions on Computational Logic, vol. 27, no. 1, 2. https://doi.org/10.1145/3767738
ACM Transactions on Computational Logic, 27, 1, pp. 1-57

Subject Terms: decentralization, hyperlogics, Runtime Verification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Software Science, F.3.1, 16. Peace & justice, Runtime Verification, Hyperlogics, Decentralization, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2405.12882
https://vbn.aau.dk/ws/files/807383693/3767738.pdf
https://doi.org/10.1145/3767738
https://vbn.aau.dk/da/publications/1f7ef090-e1bb-4b4b-8c6c-1d7124e7815a
https://www.scopus.com/pages/publications/105021969593
https://hdl.handle.net/2066/327143
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.4
https://hdl.handle.net/11573/1713420
https://doi.org/10.4230/LIPIcs.CONCUR.2024.34
https://hdl.handle.net/11573/1763006
https://doi.org/10.1145/3767738

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents

Authors: Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi

Source: 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI). :838-842

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Computation and Language, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, Computation and Language (cs.CL), Computer Science and Game Theory (cs.GT), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2408.16081

A Logic-Based Framework for Database Repairs

Authors: Fröhlich, N., Meier, A., Pardal, N., Virtema, J.

Source: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :326-335

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Semiring, Database Repairs, Computer Science - Databases, 68P15, 68T27, Databases (cs.DB), Complexity, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2306.15516
https://eprints.whiterose.ac.uk/id/eprint/234246/