Dependent Directed Wiring Diagrams for Composing Instantaneous Systems

Authors: D'Angelo, Keri, Libkind, Sophie

Subject Terms: Mathematics - Category Theory, Computer Science - Logic in Computer Science

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

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial

Authors: Gheorghiu, Alexander V., Buzoku, Yll

Subject Terms: Mathematics - Logic, Computer Science - Logic in Computer Science

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

On the Logical Content of Logic Programs

Authors: Gheorghiu, Alexader V.

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

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

Matrix Factorization for Inferring Associations and Missing Links

Authors: Barron, Ryan, Eren, Maksim E., Truong, Duc P., Matuszek, Cynthia, Wendelberger, James, Dorn, Mary F., Alexandrov, Boian

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

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

Learning Deterministic One-Counter Automata in Polynomial Time

Authors: Mathew, Prince, Penelle, Vincent, Sreejith, A. V.

Subject Terms: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, F.3.1, F.4.3

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

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs

Authors: Li, Kwing Hei, Aguirre, Alejandro, Gregersen, Simon Oddershede, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

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

Boolean Algebras as Clones

Authors: De Faveri, Arturo

Subject Terms: Mathematics - Logic, Computer Science - Logic in Computer Science

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

Linearization via Rewriting (Long Version)

Authors: Lago, Ugo Dal, Olimpieri, Federico

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

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

Zhuk's bridges, centralizers, and similarity

Authors: Willard, Ross

Subject Terms: Mathematics - Logic, Computer Science - Logic in Computer Science, 08A05, 08B99 (Primary), 08A70 (Secondary)

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

Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model

Authors: Kappelmann, Kevin, Huch, Fabian, Stevens, Lukas, Abdulaziz, Mohammad

Subject Terms: Computer Science - Logic in Computer Science

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

Diverse Controllable Diffusion Policy with Signal Temporal Logic

Authors: Meng, Yue, fan, Chuchu

Source: IEEE Robotics and Automation Letters, vol. 9, no. 10, pp. 8354-8361, Oct. 2024

Subject Terms: Computer Science - Robotics, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

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

Denotational Semantics for Probabilistic and Concurrent Programs

Authors: Zilberstein, Noam, Gorla, Daniele, Silva, Alexandra

Subject Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

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

On describing trees and quasi-trees from their leaves

Authors: Courcelle, Bruno

Subject Terms: Computer Science - Logic in Computer Science

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

LTL Verification of Memoryful Neural Agents

Authors: Hosseini, Mehran, Lomuscio, Alessio, Paoletti, Nicola

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Multiagent Systems, Computer Science - Symbolic Computation, 68Q60 (Primary) 68T27, 68T07, 68T37, 68T40, 68T42 (Secondary), D.2.4, F.3.1, I.2.4, I.2.11, I.2.8, F.4.1, I.2.2, I.2.3

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

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces

Authors: Stein, Dario

Subject Terms: Mathematics - Category Theory, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Probability, F.4.1, G.3

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

Substructural Parametricity

Authors: Aberlé, C. B., Martens, Chris, Pfenning, Frank

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

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

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search

Authors: Lipparini, Enrico, Hader, Thomas, Irfan, Ahmed, Graham-Lengrand, Stéphane

Subject Terms: Computer Science - Logic in Computer Science

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

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration

Authors: Sebastiani, Roberto

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

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

Learning Conjecturing from Scratch

Authors: Gauthier, Thibault, Urban, Josef

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Neural and Evolutionary Computing, Computer Science - Symbolic Computation

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

Existential and positive games: a comonadic and axiomatic view

Authors: Abramsky, Samson, Laure, Thomas, Reggio, Luca

Subject Terms: Computer Science - Logic in Computer Science, Mathematics - Logic

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