Logic in Computer Science

Authors and titles for December 2018

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

Title: Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms 2018

Jorge Fandinno, Johannes Fichte

Comments: Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018

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

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

Title: Relational Cost Analysis for Functional-Imperative Programs

Weihao Qu, Marco Gaboardi, Deepak Garg

Comments: 14 pages

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

[53] arXiv:1812.04379 (cross-list from cs.DB) [pdf, other]

Title: On the expressive power of linear algebra on graphs

Floris Geerts

Comments: 51 pages, revised extended version of conference paper (International Conference on Database Theory 2019)

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

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

Title: Time-reversal homotopical properties of concurrent systems

Cameron Calk, Eric Goubault, Philippe Malbos

Subjects: Category Theory (math.CT); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)

[55] arXiv:1812.05444 (cross-list from cs.CR) [pdf, other]

Title: Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft

Zaynah Dargaye (DILS), Antonella Pozzo (DILS), Sara Tucci-Piergiovanni (DILS)

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

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

Title: Graphical Regular Logic

Brendan Fong, David I Spivak

Comments: 47 pages

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

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

Title: Comparator automata in quantitative verification

Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (July 29, 2022) lmcs:5050

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

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

Title: Trichotomic Argumentation Representation

Merlin Göttlinger, Lutz Schröder

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

[59] arXiv:1812.07072 (cross-list from cs.GT) [pdf, other]

Title: The complexity of mean payoff games using universal graphs

Nathanaël Fijalkow, Paweł Gawrychowski, Pierre Ohlmann

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

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

Title: Rethinking Epistemic Logic with Belief Bases

Emiliano Lorini

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

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

Title: Splitting Epistemic Logic Programs

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

Comments: Theory and Practice of Logic Programming

Journal-ref: Theory and Practice of Logic Programming 21 (2021) 296-316

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

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

Title: Offline timed pattern matching under uncertainty

Étienne André, Ichiro Hasuo, Masaki Waga

Journal-ref: ICECCS 2018, IEEE CPS, pages 10-20, December 2018. Best paper award

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)

[63] arXiv:1812.09190 (cross-list from math.GN) [pdf, other]

Title: Factorizing the Top-Loc adjunction through positive topologies

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

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

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

Title: Enumeration on Trees with Tractable Combined Complexity and Efficient Updates

Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth

Comments: 16 pages of main material, 37 references, 11 pages of appendix. This is the extended version with proofs of the PODS'19 paper. Except for minor rephrasings and formatting differences, the contents are exactly the same as the version published in the PODS'19 proceedings

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

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

Title: Optimizing Answer Set Computation via Heuristic-Based Decomposition

Francesco Calimeri, Simona Perri, Jessica Zangari

Comments: 28 pages, 6 figures, 4 tables, BEST PAPER AWARD at PADL 2018 (Los Angeles, CA, USA), Under consideration in Theory and Practice of Logic Programming (TPLP)

Journal-ref: Theory and Practice of Logic Programming 19 (2019) 603-628

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

[66] arXiv:1812.10771 (cross-list from math.LO) [pdf, other]

Title: Approximate counting and NP search problems

Leszek Aleksander Kołodziejczyk, Neil Thapen

Comments: 31 pages

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

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

Title: Eff Directly in OCaml

Oleg Kiselyov (Tohoku University, Japan), KC Sivaramakrishnan (University of Cambridge, UK)

Comments: In Proceedings ML/OCAML 2016, arXiv:1812.10891

Journal-ref: EPTCS 285, 2018, pp. 23-58

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

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

Title: Property-based testing for Spark Streaming

Adrián Riesco, Juan Rodríguez-Hortalá

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

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

Title: Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization

Matthias Nickles

Comments: Extended and revised version of a paper in the Proceedings of the 5th International Workshop on Probabilistic Logic Programming (PLP2018)

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

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

Title: Game Semantics and Linear Logic in the Cognition Process

Dmitry Maximov

Comments: arXiv admin note: substantial text overlap with arXiv:1811.02216; a comment is added to the second version

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