Logic in Computer Science

Authors and titles for cs.LO in Feb 2020, skipping first 50

[51]  arXiv:2002.10973 [pdf, other]

Title: Weighted PCL over product valuation monoids

Authors: Vagia Karyoti, Paulina Paraponiari

Comments: 22 pages, 3 figures. arXiv admin note: text overlap with arXiv:1704.04969

Subjects: Logic in Computer Science (cs.LO)

[52]  arXiv:2002.11459 [pdf, other]

Title: Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

Authors: Barbara König, Christina Mika-Michalski, Lutz Schröder

Comments: Long version of CMCS 2020 paper

Subjects: Logic in Computer Science (cs.LO)

[53]  arXiv:2002.11895 [pdf, ps, other]

Title: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software

Authors: Pedro Quaresma (University of Coimbra, Portugal), Walther Neuper (Graz University of Technology, Austria), João Marcos (UFRN, Brazil)

Journal-ref: EPTCS 313, 2020

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

[54]  arXiv:2002.11942 [pdf, other]

Title: A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

Authors: Mirai Ikebuchi

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (September 21, 2022) lmcs:6166

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

[55]  arXiv:2002.12267 [pdf, ps, other]

Title: Residuated implications derived from quasi-overlap functions on lattices

Authors: Rui Paiva, Benjamín Bedregal, Regivan Santiago

Comments: 27 pages, paper submitted to a journal

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

[56]  arXiv:2002.12552 [pdf, other]

Title: Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

Authors: Josje Lodder (Open University of the Netherlands), Bastiaan Heeren (Open University of the Netherlands), Johan Jeuring (Universiteit Utrecht, The Netherlands)

Comments: In Proceedings ThEdu'19, arXiv:2002.11895

Journal-ref: EPTCS 313, 2020, pp. 17-34

Subjects: Logic in Computer Science (cs.LO)

[57]  arXiv:2002.12553 [pdf, other]

Title: A Mobile Application for Self-Guided Study of Formal Reasoning

Authors: David M. Cerna (Research Institute For Symbolic Computation), Rafael P.D. Kiesel (Knowlege Based Systems, Technical University of Vienna), Alexandra Dzhiganskaya (University of Applied Arts Vienna)

Comments: In Proceedings ThEdu'19, arXiv:2002.11895

Journal-ref: EPTCS 313, 2020, pp. 35-53

Subjects: Logic in Computer Science (cs.LO)

[58]  arXiv:2002.12554 [pdf, other]

Title: Tools in Term Rewriting for Education

Authors: Sarah Winkler (Università di Verona, Italy), Aart Middeldorp (University of Innsbruck, Austria)

Comments: In Proceedings ThEdu'19, arXiv:2002.11895

Journal-ref: EPTCS 313, 2020, pp. 54-72

Subjects: Logic in Computer Science (cs.LO)

[59]  arXiv:2002.12555 [pdf, other]

Title: Teaching a Formalized Logical Calculus

Authors: Asta Halkjær From (Technical University of Denmark), Alexander Birch Jensen (Technical University of Denmark), Anders Schlichtkrull (Technical University of Denmark), Jørgen Villadsen (Technical University of Denmark)

Comments: In Proceedings ThEdu'19, arXiv:2002.11895

Journal-ref: EPTCS 313, 2020, pp. 73-92

Subjects: Logic in Computer Science (cs.LO)

[60]  arXiv:2002.00009 (cross-list from cs.CC) [pdf, ps, other]

Title: Probabilistic Complexity Classes through Semantics

Authors: Thomas Seiller (LIPN, CNRS)

Comments: arXiv admin note: text overlap with arXiv:1609.07895

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS); Logic (math.LO)

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

Title: An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic

Authors: Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue

Comments: 7 pages, preprint, under review

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

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

Title: Validating Mathematical Structures

Authors: Kazuhiko Sakaguchi

Comments: Preprint of the paper accepted in proceedings of IJCAR 2020, LNCS, Springer, including appendix

Journal-ref: IJCAR 2020, LNCS, Springer, vol. 12167, pp. 138--157

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

[63]  arXiv:2002.00725 (cross-list from cs.CL) [pdf, other]

Title: Traduction des Grammaires Catégorielles de Lambek dans les Grammaires Catégorielles Abstraites

Authors: Valentin D. Richard

Comments: Bachelor internship report, in French

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

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

Title: Knowledge representation and update in hierarchies of graphs

Authors: Russ Harmer, Eugenia Oshurko

Comments: 25 pages, 4 figures, submitted to the Journal of Logical and Algebraic Methods in Programming

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

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

Title: Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity

Authors: Pedro Antonino, A. W. Roscoe

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

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

Title: RHLE: Modular Deductive Verification of Relational $\forall\exists$ Properties

Authors: Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware

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

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

Title: Improving the GP 2 Compiler

Authors: Graham Campbell, Jack Romo, Detlef Plump

Comments: Technical Report, Department of Computer Science, University of York, 42 pages, 2019

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

[68]  arXiv:2002.03664 (cross-list from cs.FL) [pdf, ps, other]

Title: Alternating Tree Automata with Qualitative Semantics

Authors: Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: Learning Interpretable Models in the Property Specification Language

Authors: Rajarshi Roy, Dana Fisman, Daniel Neider

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

[70]  arXiv:2002.04590 (cross-list from cs.CC) [pdf, ps, other]

Title: Local WL Invariance and Hidden Shades of Regularity

Authors: Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky

Comments: 12 pages, 2 figures, 1 table. Section 5 of the preceding version is moved to arxiv:2005.08887

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

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

Title: Back to Futures

Authors: Klaas Pruiksma, Frank Pfenning

Comments: 31 pages, 3 figures. Submitted to ESOP 2021. This replaces a previous version with similar content, but has been heavily rewritten to reflect increased understanding of the contents

Journal-ref: J. Funct. Prog. 32 (2022) e6

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

[72]  arXiv:2002.04841 (cross-list from cs.CC) [pdf, ps, other]

Title: Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete

Authors: Uli Schlachter, Harro Wimmel

Comments: 18 pages

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)

Authors: Jan Jakubův, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, Josef Urban

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

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

Title: Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning

Authors: Borja G. León, Francesco Belardinelli

Comments: Long version of the correspondent ECAI 2020 paper

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

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

Title: Analyzing Differentiable Fuzzy Logic Operators

Authors: Emile van Krieken, Erman Acar, Frank van Harmelen

Comments: 47 pages, 18 figures. V2: Added analysis for existential quantification. Improved experiments and writing

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