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

Logic in Computer Science

Authors and titles for cs.LO in Jul 2022, skipping first 75

[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]
[76]  arXiv:2207.02978 (cross-list from cs.AI) [pdf, other]
Title: Extending Logical Neural Networks using First-Order Theories
Comments: 7 pages, 4 figures
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[77]  arXiv:2207.03264 (cross-list from cs.LG) [pdf, other]
Title: A Solver + Gradient Descent Training Algorithm for Deep Neural Networks
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[78]  arXiv:2207.03880 (cross-list from cs.AI) [pdf, other]
Title: Constrained Training of Neural Networks via Theorem Proving
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[79]  arXiv:2207.03994 (cross-list from cs.PL) [pdf, other]
Title: LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes
Authors: Mathieu Montin (Université de Lorraine, Loria, CNRS, Inria, France), Amélie Ledein (Université Paris-Saclay, ENS Paris-Saclay, LMF, CNRS, Inria, France), Catherine Dubois (ENSIIE, Samovar, IP Paris, France)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 27-44
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[80]  arXiv:2207.05413 (cross-list from cs.CR) [pdf, other]
Title: A Security-aware and LUT-based CAD Flow for the Physical Synthesis of eASICs
Subjects: Cryptography and Security (cs.CR); Hardware Architecture (cs.AR); Logic in Computer Science (cs.LO)
[81]  arXiv:2207.06210 (cross-list from cs.CC) [pdf, ps, other]
Title: Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic
Comments: arXiv admin note: text overlap with arXiv:2105.06202
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[82]  arXiv:2207.06741 (cross-list from cs.AI) [pdf, ps, other]
Title: Differentiable Logics for Neural Network Training and Verification
Comments: FOMLAS'22 paper
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[83]  arXiv:2207.07053 (cross-list from cs.PL) [pdf, ps, other]
Title: On Pitts' Relational Properties of Domains
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[84]  arXiv:2207.07259 (cross-list from cs.RO) [pdf, other]
Title: Automating Geometric Proofs of Collision Avoidance with Active Corners
Comments: 13 pages, 11 figures, conference paper
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[85]  arXiv:2207.07694 (cross-list from cs.FL) [pdf, ps, other]
Title: Parikh Automata over Infinite Words
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[86]  arXiv:2207.08276 (cross-list from cs.AI) [pdf, ps, other]
Title: Certain and Uncertain Inference with Trivalent Conditionals
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO); Probability (math.PR)
[87]  arXiv:2207.08579 (cross-list from cs.AI) [pdf, ps, other]
Title: Positive Dependency Graphs Revisited
Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[88]  arXiv:2207.08795 (cross-list from cs.PL) [pdf, ps, other]
Title: Multi Types and Reasonable Space (Long Version)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[89]  arXiv:2207.09669 (cross-list from cs.AI) [pdf, other]
Title: Efficient Dependency Analysis for Rule-Based Ontologies
Comments: Extended report of our ISWC 2022 paper
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)
[90]  arXiv:2207.09746 (cross-list from cs.CR) [pdf, other]
Title: Can Causal (and Counterfactual) Reasoning improve Privacy Threat Modelling?
Comments: Accepted at PTM-SOUPS'22
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[91]  arXiv:2207.10152 (cross-list from cs.AI) [pdf, other]
Title: Automated Kantian Ethics: A Faithful Implementation
Authors: Lavanya Singh
Comments: 20 pages, 8 figures, to appear in KI: 45th German Conference on Artificial Intelligence
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[92]  arXiv:2207.11000 (cross-list from cs.FL) [pdf, other]
Title: Natural Colors of Infinite Words
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[93]  arXiv:2207.11723 (cross-list from cs.SE) [pdf, other]
Title: On the Validation of Multi-Level Personalised Health Condition Model
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[94]  arXiv:2207.11733 (cross-list from cs.AI) [pdf, other]
Title: State Definition for Conflict Analysis with Four-valued Logic
Authors: Yukiko Kato
Comments: This work has been submitted to the IEEE SMC 2022 for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[95]  arXiv:2207.12326 (cross-list from cs.CR) [pdf, ps, other]
Title: Automatic Fair Exchanges
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[96]  arXiv:2207.12583 (cross-list from cs.AI) [pdf, ps, other]
Title: How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
Authors: Patrick Rodler
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[97]  arXiv:2207.12699 (cross-list from cs.PL) [pdf, other]
Title: Teaching Functional Programmers Logic and Metatheory
Authors: Frederik Krogsdal Jacobsen (Technical University of Denmark), Jørgen Villadsen (Technical University of Denmark)
Comments: In Proceedings TFPIE 2021/22, arXiv:2207.11600
Journal-ref: EPTCS 363, 2022, pp. 74-92
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[98]  arXiv:2207.13487 (cross-list from cs.SE) [pdf, other]
Title: An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications
Comments: originally accepted at Int'l Workshop on Logic & Synthesis 2022
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[99]  arXiv:2207.13586 (cross-list from cs.LG) [pdf, other]
Title: Encoding Concepts in Graph Neural Networks
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[100]  arXiv:2207.14000 (cross-list from cs.CL) [pdf, other]
Title: Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
Comments: 10 pages, 3 figures, The 2nd International Joint Conference on Learning & Reasoning and 16th International Workshop on Neural-Symbolic Learning and Reasoning (IJCLR-NeSy 2022)
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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