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

Logic in Computer Science

Authors and titles for recent submissions, skipping first 28

[ total of 42 entries: 1-25 | 4-28 | 29-42 ]
[ showing 25 entries per page: fewer | more | all ]

Tue, 28 May 2024 (continued, showing last 9 of 17 entries)

[29]  arXiv:2405.17216 (cross-list from cs.LG) [pdf, other]
Title: Autoformalizing Euclidean Geometry
Authors: Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
Comments: Accepted to ICML 2024. The first two authors contributed equally
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)
[30]  arXiv:2405.16674 (cross-list from cs.LG) [pdf, other]
Title: Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory
Authors: Nikola Zubić, Federico Soldá, Aurelio Sulser, Davide Scaramuzza
Comments: 23 pages, 17 figures, 4 tables
Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[31]  arXiv:2405.16661 (cross-list from cs.CL) [pdf, other]
Title: RLSF: Reinforcement Learning via Symbolic Feedback
Authors: Piyush Jha, Prithwish Jana, Arnav Arora, Vijay Ganesh
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[32]  arXiv:2405.16149 (cross-list from cs.DM) [pdf, other]
Title: Small unsatisfiable $k$-CNFs with bounded literal occurrence
Authors: Tianwei Zhang, Tomáš Peitl, Stefan Szeider
Comments: full version of a paper to appear in the proceedings of SAT 2024
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[33]  arXiv:2405.15956 (cross-list from cs.AI) [pdf, other]
Title: CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
Authors: Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
Comments: arXiv admin note: substantial text overlap with arXiv:2402.04382
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[34]  arXiv:2405.15822 (cross-list from cs.PL) [pdf, ps, other]
Title: Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
Authors: Gianluca Amato, Mary DeMarco, James Lipton
Comments: 64 pages, 2 Figures
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Logic (math.LO)
[35]  arXiv:2405.15800 (cross-list from cs.AI) [pdf, other]
Title: Defeaters and Eliminative Argumentation in Assurance 2.0
Authors: Robin Bloomfield, Kate Netkachova, John Rushby
Comments: Continues work reported in arXiv 2004.10474 and arXiv 2205.04522
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[36]  arXiv:2405.15794 (cross-list from cs.AI) [pdf, other]
Title: Finite Groundings for ASP with Functions: A Journey through Consistency
Authors: Lukas Gerlach (TU Dresden), David Carral (LIRMM, CRISAM, UM, CNRS, BOREAL), Markus Hecher (MIT)
Comments: to be published at IJCAI 2024
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[37]  arXiv:2405.15789 (cross-list from cs.AI) [pdf, ps, other]
Title: Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
Authors: Miguel Angel Mendez-Lucero, Enrique Bojorquez Gallardo, Vaishak Belle
Comments: 12 pages,4 figures
Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Mon, 27 May 2024

[38]  arXiv:2405.15723 [pdf, other]
Title: Bisimulation Learning
Authors: Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[39]  arXiv:2405.15671 [pdf, other]
Title: The Undecidability of Quantified Announcements
Authors: Thomas Ågotnes, Hans van Ditmarsch, Tim French
Comments: This paper contains a correction to the 2016 article, The Undecidablity of Quantified Announcements, published in Studia Logica
Journal-ref: The undecidability of quantified announcements. Studia Logica, 104(4) pages 597-640, 2016
Subjects: Logic in Computer Science (cs.LO)
[40]  arXiv:2405.15647 [pdf, ps, other]
Title: A Logic of Knowledge and Justifications, with an Application to Computational Trust
Authors: Francesco A. Genco
Subjects: Logic in Computer Science (cs.LO)
[41]  arXiv:2405.15248 [pdf, ps, other]
Title: Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism
Authors: Fengkui Ju
Subjects: Logic in Computer Science (cs.LO)
[42]  arXiv:2405.15430 (cross-list from cs.LG) [pdf, ps, other]
Title: Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
Authors: David Boetius, Stefan Leue
Comments: 7 pages + references
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[ total of 42 entries: 1-25 | 4-28 | 29-42 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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