Logic in Computer Science

Authors and titles for cs.LO in Dec 2019, skipping first 75

[76]  arXiv:1912.07834 (cross-list from cs.AI) [pdf, other]

Title: Design and Implementation of Linked Planning Domain Definition Language

Authors: Michiaki Tatsubori, Asim Munawar, Takao Moriyama

Comments: 17 pages

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Robotics (cs.RO)

[77]  arXiv:1912.09571 (cross-list from cs.AI) [pdf, ps, other]

Title: Measuring the intelligence of an idealized mechanical knowing agent

Authors: Samuel Allen Alexander

Comments: 17 pages, CIFMA 2019

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)

[78]  arXiv:1912.09607 (cross-list from cs.SE) [pdf, other]

Title: Analysis of Graph Transformation Systems: Native vs Translation-based Techniques

Authors: Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat

Comments: In Proceedings GCM 2019, arXiv:1912.08966

Journal-ref: EPTCS 309, 2019, pp. 1-22

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[79]  arXiv:1912.09611 (cross-list from cs.SE) [pdf, ps, other]

Title: Proceedings Fifth Workshop on Formal Integrated Development Environment

Authors: Rosemary Monahan (Maynooth University, Ireland), Virgile Prevosto (Université Paris-Saclay, France), Jose Proença (HASLab/INESC-TEC & CISTER/ISEP, Portugal)

Journal-ref: EPTCS 310, 2019

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[80]  arXiv:1912.10629 (cross-list from cs.SE) [pdf, other]

Title: Automated Deductive Verification for Ladder Programming

Authors: Denis Cousineau (Mitsubishi Electric R&D Centre Europe (MERCE) Rennes, France), David Mentré (Mitsubishi Electric R&D Centre Europe (MERCE) Rennes, France), Hiroaki Inoue (Mitsubishi Electric Corporation Amagasaki, Japan)

Comments: In Proceedings F-IDE 2019, arXiv:1912.09611

Journal-ref: EPTCS 310, 2019, pp. 7-12

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[81]  arXiv:1912.10630 (cross-list from cs.PL) [pdf, other]

Title: Deeply Integrating C11 Code Support into Isabelle/PIDE

Authors: Frédéric Tuong (LRI, Université Paris-Saclay), Burkhart Wolff (LRI, Université Paris-Saclay)

Comments: In Proceedings F-IDE 2019, arXiv:1912.09611

Journal-ref: EPTCS 310, 2019, pp. 13-28

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

[82]  arXiv:1912.10633 (cross-list from cs.SE) [pdf, other]

Title: The TLA+ Toolbox

Authors: Markus Alexander Kuppe (Microsoft Research), Leslie Lamport (Microsoft Research), Daniel Ricketts (Oracle Corporation)

Comments: In Proceedings F-IDE 2019, arXiv:1912.09611

Journal-ref: EPTCS 310, 2019, pp. 50-62

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[83]  arXiv:1912.10634 (cross-list from cs.SE) [pdf, other]

Title: Simulation under Arbitrary Temporal Logic Constraints

Authors: Julien Brunel (ONERA DTIS and Université fédérale de Toulouse, France), David Chemouil (ONERA DTIS and Université fédérale de Toulouse, France), Alcino Cunha (INESC TEC and Universidade do Minho, Portugal), Nuno Macedo (INESC TEC and Universidade do Minho, Portugal)

Comments: In Proceedings F-IDE 2019, arXiv:1912.09611

Journal-ref: EPTCS 310, 2019, pp. 63-69

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[84]  arXiv:1912.10824 (cross-list from cs.LG) [pdf, other]

Title: Differentiable Reasoning on Large Knowledge Bases and Natural Language

Authors: Pasquale Minervini, Matko Bošnjak, Tim Rocktäschel, Sebastian Riedel, Edward Grefenstette

Comments: Accepted at the 34th AAAI Conference on Artificial Intelligence (AAAI-20)

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

[85]  arXiv:1912.12189 (cross-list from cs.PL) [pdf, other]

Title: LLOV: A Fast Static Data-Race Checker for OpenMP Programs

Authors: Utpal Bora, Santanu Das, Pankaj Kukreja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay Rajopadhye

Comments: Accepted in ACM TACO, August 2020

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[86]  arXiv:1912.12442 (cross-list from cs.DB) [pdf, ps, other]

Title: The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs

Authors: Pablo Barcelo, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[87]  arXiv:1912.12959 (cross-list from cs.AI) [pdf, other]

Title: On Quantified Modal Theorem Proving for Modeling Ethics

Authors: Naveen Sundar Govindarajulu (Rensselaer AI and Reasoning Lab), Selmer Bringsjord (Rensselaer Polytechnic Institute), Matthew Peveler (Rensselaer Polytechnic Institute)

Comments: In Proceedings ARCADE 2019, arXiv:1912.11786

Journal-ref: EPTCS 311, 2019, pp. 43-49

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[88]  arXiv:1912.13122 (cross-list from cs.AI) [pdf, ps, other]

Title: Towards Regulated Deep Learning

Authors: Andrés García-Camino

Comments: In this version I added Goal Alignment

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Programming Languages (cs.PL)

[89]  arXiv:1912.13430 (cross-list from cs.AI) [pdf, other]

Title: Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications

Authors: Alberto Camacho, Sheila A. McIlraith

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE)

[90]  arXiv:1912.07462 (cross-list from math.LO) [pdf, ps, other]

Title: On the Unity of Logic: a Sequential, Unpolarized Approach

Authors: Norihiro Yamada

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[91]  arXiv:1912.10040 (cross-list from math.LO) [pdf, ps, other]

Title: A characterisation of ordered abstract probabilities

Authors: Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Comments: 12 pages. V2: Minor changes

Journal-ref: Proceedings of LICS2020 (35th Annual ACM/IEEE Symposium on Logic in Computer Science)

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[92]  arXiv:1912.10277 (cross-list from math.LO) [pdf, ps, other]

Title: First-order swap structures semantics for some Logics of Formal Inconsistency

Authors: Marcelo E. Coniglio, Aldo Figallo-Orellano, Ana C. Golzio

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[93]  arXiv:1912.10642 (cross-list from math.CT) [pdf, other]

Title: Notes on Category Theory with examples from basic mathematics

Authors: Paolo Perrone

Comments: Lecture notes, 181 pages

Journal-ref: Starting Category Theory, World Scientific, 2024

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); History and Overview (math.HO)

[94]  arXiv:1912.10961 (cross-list from math.LO) [pdf, ps, other]

Title: Formalizing the Curry-Howard Correspondence

Authors: Juan Ferrer Meleiro, Hugo Luiz Mariano

Comments: 26 pages. For the full source, see this https URL or contact Juan Meleiro

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)