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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 33 entries: 1-25 | 26-33 ]
[ showing 25 entries per page: fewer | more | all ]

Tue, 17 May 2022

[1]  arXiv:2205.07783 [pdf, ps, other]
Title: Strong Equivalence of Logic Programs with Counting
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2205.06892 [pdf, other]
Title: Completeness and expressiveness for gs-monoidal categories
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[3]  arXiv:2205.07664 (cross-list from math.CT) [pdf, other]
Title: Promonads and String Diagrams for Effectful Categories
Authors: Mario Román
Comments: 14 pages, 29 pages including bibliography and appendix, 28 figures. Submitted to ACT 2022
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[4]  arXiv:2205.07546 (cross-list from cs.GT) [pdf, other]
Title: Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games
Comments: 14 pages, 7 figures
Journal-ref: Uncertainty in Artificial Intelligence (UAI2022)
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[5]  arXiv:2205.07537 (cross-list from cs.AI) [pdf, ps, other]
Title: Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[6]  arXiv:2205.07529 (cross-list from cs.SE) [pdf, other]
Title: Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[7]  arXiv:2205.07496 (cross-list from cs.AI) [pdf, other]
Title: Efficient Knowledge Compilation Beyond Weighted Model Counting
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[8]  arXiv:2205.07443 (cross-list from cs.AI) [pdf, ps, other]
Title: Behaviour Explanation via Causal Analysis of Mental States: A Preliminary Report
Authors: Shakil M. Khan
Comments: 8 pages
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[9]  arXiv:2205.07335 (cross-list from cs.AI) [pdf, ps, other]
Title: Automating Defeasible Reasoning in Law
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[10]  arXiv:2205.07129 (cross-list from cs.AI) [pdf, other]
Title: Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Mon, 16 May 2022

[11]  arXiv:2205.06665 [pdf, ps, other]
Title: Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2205.06640 [pdf, ps, other]
Title: Lash 1.0 (System Description)
Journal-ref: IJCAR 2022 Conference Submission
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2205.06584 [pdf, other]
Title: A Hoare Logic with Regular Behavioral Specifications
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[14]  arXiv:2205.06391 [pdf, other]
Title: PVS Embeddings of Propositional and Quantified Modal Logic
Authors: John Rushby
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[15]  arXiv:2205.06360 [pdf, ps, other]
Title: Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[16]  arXiv:2205.06590 (cross-list from cs.DC) [pdf, other]
Title: Scalable SAT Solving in the Cloud
Comments: This preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this contribution is published in the proceedings of the International Conference on Theory and Applications of Satisfiability Testing 2021 (pp. 518-534), Springer, Cham, and is available online at this https URL
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[17]  arXiv:2205.06589 (cross-list from math.CT) [pdf, ps, other]
Title: Discrete density comonads and graph parameters
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[18]  arXiv:2205.06452 (cross-list from cs.DC) [pdf, other]
Title: Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus
Authors: Susumu Nishimura
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

Fri, 13 May 2022

[19]  arXiv:2205.06236 [pdf, ps, other]
Title: Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Authors: Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Rome, Italy, (2) DEc, University 'G. d'Annunzio', Chieti-Pescara, Pescara, Italy, (3) DICII, University of Rome 'Tor Vergata', Rome, Italy)
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[20]  arXiv:2205.06152 [pdf, other]
Title: Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2205.06138 [pdf, other]
Title: IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[22]  arXiv:2205.06039 [pdf, other]
Title: Reactive Synthesis of Smart Contract Control Flows
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[23]  arXiv:2205.05728 [pdf, ps, other]
Title: Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Authors: Paul Tarau
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 15 pages
Subjects: Logic in Computer Science (cs.LO)
[24]  arXiv:2205.06068 (cross-list from math.CT) [pdf, ps, other]
Title: On the Lambek embedding and the category of product-preserving presheaves
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

Thu, 12 May 2022 (showing first 1 of 5 entries)

[25]  arXiv:2205.05392 [pdf, ps, other]
Title: Algebraic Presentation of Semifree Monads
Comments: In Proceedings of CMCS 2022
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[ total of 33 entries: 1-25 | 26-33 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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