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

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

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

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

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

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

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/

On the Complexity and Properties of Preferential Propositional Dependence Logic

Authors: Kai Sauerwald, Arne Meier, Juha Kontinen

Contributors: Ortiz, Magdalena, Wassermann, Renata, Schaub, Torsten, Department of Mathematics and Statistics

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

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, F.4.1, cs.AI, cs.LO, Mathematics, 03B70, 03B62, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.08522
http://hdl.handle.net/10138/620116

Model Checking Linear Temporal Logic with Standpoint Modalities

Authors: Aghamov, R., Baier, C., Karimov, T., Majumdar, R., Ouaknine, J., Piribauer, J., Spork, T.

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

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

File Description: application/pdf

Access URL: http://arxiv.org/abs/2502.20193
https://hdl.handle.net/21.11116/0000-0011-015B-6
https://hdl.handle.net/21.11116/0000-0011-015D-4

Halting Recurrent GNNs and the Graded mu-Calculus

Authors: Bollen, J., Van den Bussche, J., Vansummeren, S., Virtema, J.

Contributors: BOLLEN, Jeroen, VAN DEN BUSSCHE, Jan, VANSUMMEREN, Stijn, VIRTEMA, Jonni, Ortiz, M., Wassermann, R., Schaub, T.

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

Subject Terms: Machine Learning, FOS: Computer and information sciences, Computer Science - Learning, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Recurrent Graph Neural Networks, Computer Science - Artificial Intelligence, Artificial Intelligence, Logic in Computer Science, Graded Bisimulation, Modal Mu Calculus, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.11050
http://hdl.handle.net/1942/46102
http://arxiv.org/abs/2505.11050v1
https://eprints.whiterose.ac.uk/id/eprint/234248/