Logic in Computer Science

Authors and titles for August 2019

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

Title: Verification of Flat FIFO Systems

Alain Finkel, M. Praveen

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (October 14, 2020) lmcs:5999

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

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

Title: Tensor Product Representations of Subregular Formal Languages

Jonathan Rawski

Comments: to appear in Proceedings of IJCAI 2019 workshop on Neural-Symbolic Learning and Reasoning

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

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

Title: SCF2 -- an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report

Marcos Cramer, Leendert van der Torre

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

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

Title: Semantic Structures for Spatially-Distributed Multi-Agent Systems

Frank Valencia (CNRS-LIX, Ecole Polytechnique de Paris and Univ. Javeriana Cali.)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213. This is an invited contribution to EXPRESS/SOS 2019 based on my invited talk

Journal-ref: EPTCS 300, 2019, pp. 39-53

Subjects: Multiagent Systems (cs.MA); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

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

Title: A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Comments: ICNP'19

Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO)

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

Title: Dependent Pearl: Normalization by realizability

Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer

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

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

Title: Converting ALC Connection Proofs into ALC Sequents

Eunice Palmeira (Federal Institute of Alagoas), Fred Freitas (Federal University of Pernambuco), Jens Otten (University of Oslo)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639. Thanks to CAPES: Coordination for the Improvement of Higher Level Personnel

Journal-ref: EPTCS 301, 2019, pp. 3-17

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

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

Title: Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)

Andrés Occhipinti Liberman, Rasmus K. Rendsvig

Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO); Social and Information Networks (cs.SI)

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

Title: Introducing H, an institution-based formal specification and verification language

Răzvan Diaconescu

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

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

Title: PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic

Christoph Wernhard

Comments: Part of DECLARE 19 proceedings

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

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

Title: Modular Runtime Complexity Analysis of Probabilistic While Programs

Martin Avanzini, Michael Schaper, Georg Moser

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

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

Title: The naturality of natural deduction (II). Some remarks on atomic polymorphism

Paolo Pistone, Luca Tranchini, Mattia Petrolo

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

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

Title: Weight Annotation in Information Extraction

Johannes Doleschal, Benny Kimelfeld, Wim Martens, Liat Peterfreund

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 31, 2022) lmcs:6936

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