Logic in Computer Science

Authors and titles for cs.LO in Nov 2018, skipping first 75

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

Title: Identifiers in Registers - Describing Network Algorithms with Logic

Authors: Benedikt Bollig, Patricia Bouyer, Fabian Reiter

Comments: 17 pages (+ 17 pages of appendices), 1 figure (+ 1 figure in the appendix)

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

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

Title: Proceedings 4th Workshop on Formal Integrated Development Environment

Authors: Paolo Masci (HASLab/INESC TEC and Universidade do Minho, Portugal.), Rosemary Monahan (Maynooth University, Ireland), Virgile Prevosto (Software Safety and Security Lab, France)

Journal-ref: EPTCS 284, 2018

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

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

Title: Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings

Authors: Petr Kučera, Petr Savický

Comments: The paper was significantly rewritten to improve readability, it is now an extended version of the paper accepted to AAAI 2021

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

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

Title: Streamlining Variational Inference for Constraint Satisfaction Problems

Authors: Aditya Grover, Tudor Achim, Stefano Ermon

Comments: NeurIPS 2018

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

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

Title: Lightweight Interactive Proving inside an Automatic Program Verifier

Authors: Sylvain Dailler (Inria, Université Paris-Saclay, F-91120 Palaiseau), Claude Marché (Inria, Université Paris-Saclay, F-91120 Palaiseau), Yannick Moy (AdaCore, F-75009 Paris)

Comments: In Proceedings F-IDE 2018, arXiv:1811.09014

Journal-ref: EPTCS 284, 2018, pp. 1-15

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

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

Title: AsmetaF: A Flattener for the ASMETA Framework

Authors: Paolo Arcaini (National Institute of Informatics), Riccardo Melioli (Dipartimento di Informatica, Università degli Studi di Milano), Elvinia Riccobene (Dipartimento di Informatica, Università degli Studi di Milano)

Comments: In Proceedings F-IDE 2018, arXiv:1811.09014. The first two authors are supported by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST. Funding Reference number: 10.13039/501100009024 ERATO

Journal-ref: EPTCS 284, 2018, pp. 26-36

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

[82]  arXiv:1811.10818 (cross-list from cs.PL) [pdf, ps, other]

Title: Experience Report on Formally Verifying Parts of OpenJDK's API with KeY

Authors: Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

Comments: In Proceedings F-IDE 2018, arXiv:1811.09014

Journal-ref: EPTCS 284, 2018, pp. 53-70

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

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

Title: Counting Complexity for Reasoning in Abstract Argumentation

Authors: Johannes K. Fichte, Markus Hecher, Arne Meier

Comments: Extended version of a paper published at AAAI-19

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

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

Title: Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation

Authors: Anton Fuxjaeger, Vaishak Belle

Comments: In proceedings of ICAART, 2020. A version also appears in AAAI Workshop: Statistical Relational Artificial Intelligence (StarAI), 2020

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

[85]  arXiv:1811.02478 (cross-list from q-bio.OT) [pdf, other]

Title: Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles

Authors: René Vestergaard, Emmanuel Pietriga

Comments: 37 pages, including 9 figures, plus 244 pages of supplementary information

Subjects: Other Quantitative Biology (q-bio.OT); Logic in Computer Science (cs.LO)

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

Title: Abstract hypernormalisation, and normalisation-by-trace-evaluation for generative systems

Authors: Richard Garner

Comments: 54 pages; v2: added diverse new examples, exegeses, and applications

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

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

Title: Axiomatic approach to the theory of algorithms and relativized computability

Authors: Alexander Shen (ESCAPE)

Comments: Traduction en anglais 2018

Journal-ref: Vestnik Moskovskogo Universiteta, Ser. 1, Mathematics, mechanics, 1980, pp.27-29

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

[88]  arXiv:1811.06460 (cross-list from math.CT) [pdf, ps, other]

Title: Don't Try This at Home: No-Go Theorems for Distributive Laws

Authors: Maaike Zwart, Dan Marsden

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

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

Title: Logics for Rough Concept Analysis

Authors: Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

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