Logic in Computer Science

Authors and titles for August 2019

[26] arXiv:1908.06550 [pdf, other]

Title: Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence

Wan Fokkink, Rob van Glabbeek, Bas Luttik

Comments: An extended abstract of this paper appeared in Proc. CONCUR'17

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1908.06684 [pdf, other]

Title: Directed Homotopy in Non-Positively Curved Spaces

Eric Goubault, Samuel Mimram

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 3 (July 13, 2020) lmcs:5731

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

[28] arXiv:1908.07188 [pdf, other]

Title: Lemma Generation for Horn Clause Satisfiability: A Preliminary Study

Emanuele De Angelis (DEC, University "G. d'Annunzio" of Chieti-Pescara, Italy), Fabio Fioravanti (DEC, University "G. d'Annunzio" of Chieti-Pescara, Italy), Alberto Pettorossi (DICII, University of Roma Tor Vergata, Italy), Maurizio Proietti (CNR-IASI, Rome, Italy)

Comments: In Proceedings VPT 2019, arXiv:1908.06723

Journal-ref: EPTCS 299, 2019, pp. 4-18

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

[29] arXiv:1908.07189 [pdf, other]

Title: Polyvariant Program Specialisation with Property-based Abstraction

John P. Gallagher (Roskilde University and IMDEA Software Institute)

Comments: In Proceedings VPT 2019, arXiv:1908.06723

Journal-ref: EPTCS 299, 2019, pp. 34-48

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

[30] arXiv:1908.07239 [pdf, other]

Title: A simple combinatorial proof for small model property of two-variable logic

Yanger Ma, Tony Tan

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

[31] arXiv:1908.08213 [pdf, other]

Title: Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics

Jorge A. Pérez (University of Groningen), Jurriaan Rot (UCL and Radboud University)

Journal-ref: EPTCS 300, 2019

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

[32] arXiv:1908.08633 [pdf, other]

Title: Comparing Process Calculi Using Encodings

Kirstin Peters (TU Berlin/TU Darmstadt)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213

Journal-ref: EPTCS 300, 2019, pp. 19-38

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1908.08635 [pdf, other]

Title: On the Meaning of Transition System Specifications

Rob van Glabbeek (Data61, CSIRO)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213

Journal-ref: EPTCS 300, 2019, pp. 69-85

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1908.08636 [pdf, other]

Title: Conflict vs Causality in Event Structures

Daniele Gorla (Dip. Informatica, Sapienza Univ. di Roma), Ivano Salvo (Dip. Informatica, Sapienza Univ. di Roma), Adolfo Piperno (Dip. Informatica, Sapienza Univ. di Roma)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213

Journal-ref: EPTCS 300, 2019, pp. 86-101

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1908.08639 [pdf, other]

Title: Proceedings Sixth Workshop on Proof eXchange for Theorem Proving

Giselle Reis (Carnegie Mellon University), Haniel Barbosa (The University of Iowa)

Journal-ref: EPTCS 301, 2019

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1908.09302 [pdf, other]

Title: Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution

Davide Ancona (DIBRIS, University of Genova, Italy), Gordon Pace (Department of Computer Science, University of Malta)

Journal-ref: EPTCS 302, 2019

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

[37] arXiv:1908.09478 [pdf, other]

Title: Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)

Burak Ekici (University of Innsbruck), Arjun Viswanathan (University of Iowa), Yoni Zohar (Stanford University), Clark Barrett (Stanford University), Cesare Tinelli (University of Iowa)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639. Presented as an extended abstract

Journal-ref: EPTCS 301, 2019, pp. 18-26

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1908.09479 [pdf, other]

Title: EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)

Mohamed Yacine El Haddad (CNRS), Guillaume Burel (ENSIIE), Frédéric Blanqui (Inria)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639

Journal-ref: EPTCS 301, 2019, pp. 27-35

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1908.09480 [pdf, other]

Title: Reconstructing veriT Proofs in Isabelle/HOL

Mathias Fleury (Max Planck Institut for Informatics), Hans-Jörg Schurr (University of Lorraine, CNRS, Inria, and LORIA)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639

Journal-ref: EPTCS 301, 2019, pp. 36-50

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1908.09481 [pdf, other]

Title: CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

Fadil Kallat (Technical University of Dortmund, Germany), Tristan Schäfer (Technical University of Dortmund, Germany), Anna Vasileva (Technical University of Dortmund, Germany)

Comments: In Proceedings PxTP 2019, arXiv:1908.08639

Journal-ref: EPTCS 301, 2019, pp. 51-65

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

[41] arXiv:1908.10203 [pdf, other]

Title: Towards Constraint Logic Programming over Strings for Test Data Generation

Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke

Comments: Part of DECLARE 19 proceedings

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

[42] arXiv:1908.10405 [pdf, other]

Title: Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms

Marcelo Finger

Comments: An earlier version of this work has appeared at Franz Baader's festschrift. Here we detail the column generation method and present a detailed example

Journal-ref: In Lecture Notes in Computer Science 11560, pp. 286--300. Springer (2019)

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

[43] arXiv:1908.10416 [pdf, other]

Title: A Type-Based HFL Model Checking Algorithm

Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada

Comments: A longer version of APLAS 2019 paper

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

[44] arXiv:1908.11132 [pdf, other]

Title: Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"

Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum

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

[45] arXiv:1908.11169 [pdf, other]

Title: Cellular Monads from Positive GSOS Specifications

Tom Hirschowitz (Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, France)

Comments: In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213

Journal-ref: EPTCS 300, 2019, pp. 1-18

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

[46] arXiv:1908.11289 [pdf, other]

Title: Factorization and Normalization, Essentially

Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:1908.11341 [pdf, other]

Title: Ordered Sets for Data Analysis

Sergei O. Kuznetsov

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

[48] arXiv:1908.11342 [pdf, other]

Title: Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics

Alex Shkotin

Comments: 6 pages

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:1908.11345 [pdf, other]

Title: Local Reasoning about Parametric and Reconfigurable Component-based Systems

Marius Bozga, Radu Iosif, Joseph Sifakis

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1908.11360 [pdf, other]

Title: Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

Tim Lyon, Kees van Berkel

Comments: Included version of the paper "Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics", accepted to the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019)

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

[51] arXiv:1908.11769 [pdf, other]

Title: Compositional specification in rewriting logic

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Comments: Changes in this revision: Removed last sentence from abstract (on the paper being considered for publication). Added note before abstract (on the paper being published)

Journal-ref: Theory and Practice of Logic Programming, 20(1), 44-98, 2020

Subjects: Logic in Computer Science (cs.LO)

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

Title: Learned Clause Minimization in Parallel SAT Solvers

Marc Hartung, Florian Schintke

Comments: accepted at Pragmatics of SAT 2019

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

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

Title: A Transformational Approach to Resource Analysis with Typed-norms Inference

Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin

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

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

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

Title: Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$

David I. Spivak

Comments: 10 pages. (This version: fix some typos)

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

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

Title: Completing and Debugging Ontologies: state of the art and challenges

Patrick Lambrix

Comments: 56 pages

Journal-ref: Journal of Data and Information Quality, 2023

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

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

Title: Retrofitting a two-way peg between blockchains

Jason Teutsch, Michael Straka, Dan Boneh

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

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

Title: Regular Separability and Intersection Emptiness are Independent Problems

Ramanathan S. Thinniyam, Georg Zetzsche

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

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

Title: Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions

Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi

Comments: Submitted to AIJ

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

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

Title: Semi-Supervised Learning using Differentiable Reasoning

Emile van Krieken, Erman Acar, Frank van Harmelen

Journal-ref: IFCoLog Journal of Logic and its Applications 6 (2019) 633-653

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

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

Title: Pointers in Recursion: Exploring the Tropics

Paulin Jacobé de Naurois (CNRS/université paris13)

Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478

Journal-ref: EPTCS 298, 2019, pp. 31-45

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

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

Title: Type-two Iteration with Bounded Query Revision

Bruce M. Kapron (University of Victoria), Florian Steinberg (INRIA Saclay)

Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478

Journal-ref: EPTCS 298, 2019, pp. 61-73

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

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

Title: Approximating Values of Generalized-Reachability Stochastic Games

Pranav Ashok, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, Tobias Winkler

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

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

Title: Toward a Dempster-Shafer theory of concepts

Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg

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

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

Title: The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs

Sandra Kiefer, Daniel Neuen

Comments: 48 pages, 6 figures, full version of a paper accepted at MFCS 2019. Added Definition 5.4 and Theorem 5.6 to formalise the notions and arguments. New appendix contains extended proofs for Theorems 5.6 and 5.7. Results remain unchanged

Journal-ref: SIAM J. Discret. Math. 36(1): 252-298 (2022)

Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

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

Title: Toward Structured Proofs for Dynamic Logics

Rose Bohrer, André Platzer

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

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

Title: Lifting countable to uncountable mathematics

Sam Sanders

Comments: 24 pages. To appear in: 'Information and Computation' Special Issue WoLLIC19 post-proceedings. Same "Preliminaries" section as e.g. arXiv:1905.04058, arXiv:1908.05676

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

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

Title: Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

Francesco Olivieri (Data61, CSIRO (Australia)), Guido Governatori (Data61, CSIRO (Australia)), Claudio Tomazzoli (Department of Computer Science, University of Verona), Matteo Cristani (Department of Computer Science, University of Verona)

Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478. arXiv admin note: substantial text overlap with arXiv:1809.03656

Journal-ref: EPTCS 298, 2019, pp. 1-14

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

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

Title: Modular Verification of Heap Reachability Properties in Separation Logic

Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller

Comments: OOPSLA-2019

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

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

Title: Bidirectional Typing

Jana Dunfield, Neel Krishnaswami

Comments: 37 pages; submitted to ACM Computing Surveys

Journal-ref: ACM Computing Surveys 54(5) (2021)

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

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

Title: CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text

Koustuv Sinha, Shagun Sodhani, Jin Dong, Joelle Pineau, William L. Hamilton

Comments: Accepted at EMNLP 2019, 9 page content + Appendix

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

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

Title: Implicit Recursive Characteristics of STOP

Mike H. Ji

Comments: 5 pages. A proof that STOP itself is a recursive process. STOP$_{αX} = μ$ X. nil $\rightarrow$ X

Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: On the expressive power of invariants in parametric timed automata

Étienne André, Didier Lime, Mathias Ramparison

Comments: This is the author version of the manuscript of the same name published in the proceedings of the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002) and by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST

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

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

Title: Proceedings Seventh International Workshop on Verification and Program Transformation

Alexei Lisitsa (The University of Liverpool), Andrei Nemytykh (Program Systems Institute of RAS)

Journal-ref: EPTCS 299, 2019

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

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

Title: Boosting the Bounds of Symbolic QED for Effective Pre-Silicon Verification of Processor Cores

Karthik Ganesan, Srinivasa Shashank Nuthakki

Comments: arXiv admin note: withdrawn by arXiv administrators due to incomplete author list

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

[75] arXiv:1908.07021 (cross-list from math.ST) [pdf, other]

Title: A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics

Tobias Fritz

Comments: 98 pages. v6: fixed error in Section 7. v7: incorporates referee's comments. v8: minor correction

Journal-ref: Adv. Math. 370, 107239 (2020)

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

[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)