Logic in Computer Science

Authors and titles for July 2017

[1] arXiv:1707.00024 [pdf, other]

Title: A Formalized General Theory of Syntax with Bindings

Lorenzo Gheri, Andrei Popescu

Comments: Extended version of paper published in ITP 2017

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1707.00269 [pdf, other]

Title: A Channel-Based Perspective on Conjugate Priors

Bart Jacobs

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1707.00359 [pdf, other]

Title: Shrub-depth: Capturing Height of Dense Graphs

Robert Ganian, Petr Hliněný, Jaroslav Nešetřil, Jan Obdržálek, Patrice Ossona de Mendez

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (January 31, 2019) lmcs:3798

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

[4] arXiv:1707.00991 [pdf, other]

Title: Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees

Marc Bagnol

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

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 4 (November 30, 2017) lmcs:4111

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1707.01027 [pdf, other]

Title: Logically automorphically equivalent knowledge bases

Elena Aladova, Tatjana Plotkin

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1707.01157 [pdf, other]

Title: On Petri Nets with Hierarchical Special Arcs

S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep

Comments: Extended abstract to appear in conference CONCUR 2017

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

[7] arXiv:1707.01369 [pdf, other]

Title: Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity

Swen Jacobs, Mouhammad Sakr

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1707.01541 [pdf, other]

Title: Productive Corecursion in Logic Programming

Ekaterina Komendantskaya, Yue Li

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, no figures

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1707.01766 [pdf, other]

Title: A Logic of Blockchain Updates

Kai Brünnler, Dandolo Flumini, Thomas Studer

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1707.01870 [pdf, other]

Title: Finite model reasoning over existential rules

Giovanni Amendola, Nicola Leone, Marco Manna

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1707.01972 [pdf, other]

Title: Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1707.02011 [pdf, other]

Title: Lifting CDCL to Template-based Abstract Domains for Program Verification

Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1707.02034 [pdf, other]

Title: Complete Call-by-Value Calculi of Control Operators II: Strong Termination

Ryu Hasegawa

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (March 2, 2021) lmcs:3777

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

[14] arXiv:1707.02056 [pdf, other]

Title: Complete Call-by-Value Calculi of Control Operators, I

Ryu Hasegawa

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

[15] arXiv:1707.02081 [pdf, other]

Title: Logical properties of random graphs from small addable classes

Anuj Dawar, Eryk Kopczyński

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (July 25, 2019) lmcs:3780

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

[16] arXiv:1707.02132 [pdf, other]

Title: Syntactic Markovian Bisimulation for Chemical Reaction Networks

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Comments: Extended version (with proofs), of the corresponding paper published at KimFest 2017 (this http URL)

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1707.02279 [pdf, other]

Title: A Probabilistic Calculus of Cyber-Physical Systems

Ruggero Lanotte, Massimo Merro, Simone Tini

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

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

[18] arXiv:1707.02344 [pdf, other]

Title: Distribution Bisimilarity via the Power of Convex Algebras

Filippo Bonchi, Alexandra Silva, Ana Sokolova

Comments: Full (extended) version of a CONCUR 2017 paper, minor revision of the LMCS submission

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (July 23, 2021) lmcs:6158

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1707.02348 [pdf, other]

Title: The Category CNOT

Robin Cockett (University of Calgary), Cole Comfort (University of Calgary), Priyaa Srinivasan (University of Calgary)

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal-ref: EPTCS 266, 2018, pp. 258-293

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[20] arXiv:1707.02415 [pdf, other]

Title: Complete Cyclic Proof Systems for Inductive Entailments

Radu Iosif, Cristina Serban

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1707.02690 [pdf, other]

Title: Finding polynomial loop invariants for probabilistic programs

Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia

Comments: accompanies an ATVA 2017 submission

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1707.02693 [pdf, other]

Title: A New Algorithm to Automate Inductive Learning of Default Theories

Farhad Shakerin, Elmer Salazar, Gopal Gupta

Comments: Paper presented at the 33rd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures (arXiv:this http URL)

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:1707.02754 [pdf, other]

Title: Constraint Handling Rules with Binders, Patterns and Generic Quantification

Alejandro Serrano, Jurriaan Hage

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, no PDF figures

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1707.03215 [pdf, other]

Title: Equational Reasonings in Wireless Network Gossip Protocols

Ruggero Lanotte, Massimo Merro, Simone Tini

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 3 (September 28, 2018) lmcs:3845

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1707.03295 [pdf, other]

Title: Separating regular languages with two quantifier alternations

Thomas Place

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (November 16, 2018) lmcs:3792

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

[26] arXiv:1707.03370 [pdf, other]

Title: The Covering Problem

Thomas Place, Marc Zeitoun

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 3 (July 20, 2018) lmcs:3906

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1707.04122 [pdf, other]

Title: SEA-PARAM: Exploring Schedulers in Parametric MDPs

Sebastian Arming (University of Salzburg), Ezio Bartocci (TU Wien), Ana Sokolova (Uni)

Comments: In Proceedings QAPL 2017, arXiv:1707.03668

Journal-ref: EPTCS 250, 2017, pp. 25-38

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:1707.04124 [pdf, other]

Title: Logical Characterization of Trace Metrics

Valentina Castiglioni (University of Insubria), Simone Tini (University of Insubria)

Comments: In Proceedings QAPL 2017, arXiv:1707.03668

Journal-ref: EPTCS 250, 2017, pp. 39-74

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1707.04126 [pdf, other]

Title: Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination

Diego Latella (Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo"), Mieke Massink (Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo")

Comments: In Proceedings QAPL 2017, arXiv:1707.03668

Journal-ref: EPTCS 250, 2017, pp. 92-110

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

[30] arXiv:1707.04151 [pdf, other]

Title: The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi

Comments: 26 pages

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

[31] arXiv:1707.04507 [pdf, other]

Title: Probabilistic Timed Automata with Clock-Dependent Probabilities

Jeremy Sproston

Comments: Full version of a paper published at RP 2017

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1707.04724 [pdf, other]

Title: Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style

Samer Abdallah

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

[33] arXiv:1707.04734 [pdf, other]

Title: Annotated Defeasible Logic

Guido Governatori, Michael J. Maher

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX

Journal-ref: Theory and Practice of Logic Programming 17 (5-6), 819--836, 2017

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1707.04757 [pdf, other]

Title: Formalization of the fundamental group in untyped set theory using auto2

Bohua Zhan

Comments: 17 pages, accepted for ITP 2017

Journal-ref: ITP 2017, LNCS 10499, pp. 514--530, 2017

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1707.04823 [pdf, other]

Title: Elementary-base cirquent calculus I: Parallel and choice connectives

Giorgi Japaridze

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

[36] arXiv:1707.04894 [pdf, other]

Title: Further Formalization of the Process Algebra CCS in HOL4

Chun Tian

Comments: 24 pages with figures

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1707.05304 [pdf, other]

Title: Ticker: A System for Incremental ASP-based Stream Reasoning

Harald Beck, Thomas Eiter, Christian Folie

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017, 24 pages, LaTeX, 4 PDF figures (arXiv:1707.05304)

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1707.05311 [pdf, other]

Title: Some Improvements in Fuzzy Turing Machines

Hadi Farahani

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1707.05555 [pdf, other]

Title: Runtime Verification of Temporal Properties over Out-of-order Data Streams

David Basin, Felix Klaedtke, Eugen Zălinescu

Comments: long version of the CAV 2017 paper

Journal-ref: Proceedings of the 29th International Conference on Computer Aided Verification (CAV 2017), LNCS vol. 10426, pages 356-376, Springer, 2017

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1707.05558 [pdf, other]

Title: The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable

Ian Pratt-Hartmann

Journal-ref: Mathematical Logic Quarterly, 64(3), 2018, pp. 218--248

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1707.05599 [pdf, other]

Title: Inspecting Maude Variants with GLINTS

María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 15 pages, LaTeX, 7 PDF figures, 2 PNG figures

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

[42] arXiv:1707.05696 [pdf, other]

Title: Going Higher in First-Order Quantifier Alternation Hierarchies on Words

Thomas Place, Marc Zeitoun

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

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1707.05718 [pdf, other]

Title: An independent axiomatisation for free short-circuit logic

Alban Ponse, Daan J.C. Staudt

Comments: 36 pages, 4 tables. Differences with v2: Section 2.1: theorem Thm.2.1.5 and further are renumbered; corrections: p.23, line -7, p.24, lines 3 and 7. arXiv admin note: substantial text overlap with arXiv:1010.3674

Journal-ref: Journal of Applied Non-Classical Logics, 28(1):35-71, 2018

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

[44] arXiv:1707.05848 [pdf, other]

Title: Program Completionin the Input Language of GRINGO

Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures (arXiv:this http URL)

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:1707.05945 [pdf, other]

Title: First-Order Query Evaluation with Cardinality Conditions

Martin Grohe, Nicole Schweikardt

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

[46] arXiv:1707.06813 [pdf, other]

Title: On the Computation of Paracoherent Answer Sets

Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

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

[47] arXiv:1707.06936 [pdf, other]

Title: The Complexity of Concurrent Rational Synthesis

Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard

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

[48] arXiv:1707.06967 [pdf, other]

Title: Formal Analysis of Linear Control Systems using Theorem Proving

Adnan Rashid, Osman Hasan

Comments: International Conference on Formal Engineering Methods

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

[49] arXiv:1707.07545 [pdf, other]

Title: A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Comments: Please cite this https URL. arXiv admin note: text overlap with arXiv:1702.03096

Journal-ref: CEUR Workshop Proceedings, Vol. 1949, pp. 276-280 2017

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1707.07671 [pdf, other]

Title: E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

Eshan Singh, Clark Barrett, Subhasish Mitra

Subjects: Logic in Computer Science (cs.LO)

[51] arXiv:1707.08617 [pdf, other]

Title: n-Dimensional Fuzzy Negations

Benjamín Bedregal, Ivan Mezzomo, Renata Hax Sander Reiser

Comments: 20 pages and no figures

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:1707.08734 [pdf, other]

Title: Common Knowledge in a Logic of Gossips

Krzysztof R. Apt (CWI), Dominik Wojtczak (University of Liverpool)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 10-27

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

[53] arXiv:1707.08735 [pdf, other]

Title: A Logic for Global and Local Announcements

Francesco Belardinelli (Labortoire IBISC, UEVE and IRIT Toulouse), Hans van Ditmarsch (LORIA Â-- CNRS, Université de Lorraine, Vandoeuvre-lès-Nancy, France), Wiebe van der Hoek (Department of Computing, University of Liverpool, Liverpool, UK)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 28-42

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

[54] arXiv:1707.08738 [pdf, other]

Title: From Type Spaces to Probability Frames and Back, via Language

Adam Bjorndahl (Carnegie Mellon University), Joseph Y. Halpern (Cornell University)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 75-87

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

[55] arXiv:1707.08742 [pdf, other]

Title: Bisimulation in Inquisitive Modal Logic

Ivano Ciardelli (ILLC, University of Amsterdam), Martin Otto (Technische Universität Darmstadt)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 151-166

Subjects: Logic in Computer Science (cs.LO)

[56] arXiv:1707.08743 [pdf, other]

Title: Toward an Epistemic-Logical Theory of Categorization

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem M. Wijnberg

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 167-186

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

[57] arXiv:1707.08744 [pdf, other]

Title: Conditional Belief, Knowledge and Probability

Jan van Eijck (CWI and ILLC), Kai Li (Peking University and CWI)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 188-206

Subjects: Logic in Computer Science (cs.LO)

[58] arXiv:1707.08746 [pdf, other]

Title: Coalition and Group Announcement Logic

Rustam Galimullin (University of Nottingham), Natasha Alechina (University of Nottingham)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 207-220

Subjects: Logic in Computer Science (cs.LO)

[59] arXiv:1707.08747 [pdf, other]

Title: A Formal Approach to the Problem of Logical Non-Omniscience

Scott Garrabrant (Machine Intelligence Research Institute, Berkeley, CA), Tsvi Benson-Tilsen (Machine Intelligence Research Institute, Berkeley, CA), Andrew Critch (Machine Intelligence Research Institute, Berkeley, CA), Nate Soares (Machine Intelligence Research Institute, Berkeley, CA), Jessica Taylor (Machine Intelligence Research Institute, Berkeley, CA)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 221-235

Subjects: Logic in Computer Science (cs.LO)

[60] arXiv:1707.08752 [pdf, other]

Title: Indicative Conditionals and Dynamic Epistemic Logic

Wesley H. Holliday (University of California, Berkeley), Thomas F. Icard III (Stanford University)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 337-351

Subjects: Logic in Computer Science (cs.LO)

[61] arXiv:1707.08753 [pdf, other]

Title: Categories for Dynamic Epistemic Logic

Kohei Kishida (University of Oxford)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 353-372

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

[62] arXiv:1707.08754 [pdf, other]

Title: Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE

Louwe B. Kuijer

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 373-381

Subjects: Logic in Computer Science (cs.LO)

[63] arXiv:1707.08756 [pdf, other]

Title: Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

Ron van der Meyden (UNSW Sydney, Australia)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 398-414

Subjects: Logic in Computer Science (cs.LO)

[64] arXiv:1707.08758 [pdf, other]

Title: Endogenizing Epistemic Actions

Will Nalls (Carnegie Mellon University), Adam Bjorndahl (Carnegie Mellon University)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 426-440

Subjects: Logic in Computer Science (cs.LO)

[65] arXiv:1707.08849 [pdf, other]

Title: Fuzzy Galois connections on fuzzy sets

Javier Gutiérrez García, Hongliang Lai, Lili Shen

Comments: 30 pages, final version

Journal-ref: Fuzzy Sets and Systems, 352:26-55, 2018

Subjects: Logic in Computer Science (cs.LO)

[66] arXiv:1707.08876 [pdf, other]

Title: Expressive Stream Reasoning with Laser

Hamid R. Bazoobandi, Harald Beck, Jacopo Urbani

Comments: 19 pages, 5 figures. Extended version of accepted paper at ISWC 2017

Subjects: Logic in Computer Science (cs.LO)

[67] arXiv:1707.08925 [pdf, other]

Title: Inductive and Functional Types in Ludics

Alice Pavaux (Université Paris 13)

Comments: Extended version of the paper accepted for publication in CSL 2017, 46 pages

Subjects: Logic in Computer Science (cs.LO)

[68] arXiv:1707.09327 [pdf, other]

Title: A syntactic tool for proving hardness in the Second Level of the Polynomial-Time Hierarchy

Edwin Pin, Nerio Borges

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

[69] arXiv:1707.09467 [pdf, other]

Title: Probabilistic Model Counting with Short XORs

Dimitris Achlioptas, Panos Theodoropoulos

Comments: To appear in SAT 17

Subjects: Logic in Computer Science (cs.LO)

[70] arXiv:1707.09646 [pdf, other]

Title: Correct Composition of Dephased Behavioural Models

Juliana Bowles, Marco B. Caminati

Comments: Accepted for FACS 2017

Subjects: Logic in Computer Science (cs.LO)

[71] arXiv:1707.09941 [pdf, other]

Title: Formal Analysis of Continuous-time Systems using Fourier Transform

Adnan Rashid, Osman Hasan

Comments: Journal of Symbolic Computation

Subjects: Logic in Computer Science (cs.LO)

[72] arXiv:1707.09978 [pdf, other]

Title: Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract

Adam Bjorndahl (CMU), Aybüke Özgün (LORIA-CNRS and ILLC)

Comments: In Proceedings TARK 2017, arXiv:1707.08250. The full version of this paper, including the longer proofs, is at arXiv:1612.02055

Journal-ref: EPTCS 251, 2017, pp. 88-101

Subjects: Logic in Computer Science (cs.LO)

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

Title: A criterion for "easiness" of certain SAT problems

Bernd R. Schuh

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

[74] arXiv:1707.00499 (cross-list from math.RA) [pdf, other]

Title: Universality of Univariate Mixed Fractions in Divisive Meadows

Jan A. Bergstra, Inge Bethke, Dimitri Hendriks

Comments: 12 pages

Subjects: Rings and Algebras (math.RA); Logic in Computer Science (cs.LO)

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

Title: Simulation Based Computation of Certificates for Safety of Hybrid Dynamical Systems

Stefan Ratschan

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

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

Title: Combining Forward and Backward Abstract Interpretation of Horn Clauses

Alexey Bakhirkin (VERIMAG - IMAG), David Monniaux (VERIMAG - IMAG)

Comments: Francesco Ranzato. 24th International Static Analysis Symposium (SAS), Aug 2017, New York City, United States. Springer, Static Analysis

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

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

Title: Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes

Elizabeth Polgreen, Viraj Wijesuriya, Sofie Haesaert, Alessandro Abate

Comments: QEST 2017, 18 pages, 7 figures

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

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

Title: Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes

Jan Křetínský, Tobias Meggendorfer

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

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

Title: Towards an Efficient Tree Automata based technique for Timed Systems

S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar

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

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

Title: Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation

Peter Schüller, Mishal Benz

Comments: Submitted to Machine Learning special issue on Inductive Logic Programming

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

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

Title: Weihrauch Complexity in Computable Analysis

Vasco Brattka, Guido Gherardi, Arno Pauly

Comments: 50 pages plus 11 pages appendix

Journal-ref: in: Brattka, V. and Hertling, P. (eds.), Handbook of Computability and Complexity in Analysis, Theory and Applications of Computability, Springer, Cham, 2021, pages 367-417

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

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

Title: Synthesis of Optimal Resilient Control Strategies

Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonín Kučera Vojtěch Řehák

Comments: This article is a full version of a paper accepted to the Automated Technology for Verification and Analysis (ATVA) 2017

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

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

Title: Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications

Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia

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

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

Title: Verifying Array Manipulating Programs by Tiling

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Comments: Published in SAS 2017

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

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

Title: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems

Herbert Wiklicky (1), Erik de Vink (2) ((1) Imperial College London (2) Eindhoven University of Technology)

Journal-ref: EPTCS 250, 2017

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

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

Title: Revisiting Elementary Denotational Semantics

Jeremy G. Siek

Comments: 25 pages, revision of POPL 2018 submission, now under submission to ESOP 2018

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

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

Title: Armstrong's Axioms and Navigation Strategies

Kaya Deuser, Pavel Naumov

Journal-ref: Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), 2018

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

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

Title: Bridging Static and Dynamic Program Analysis using Fuzzy Logic

Jacob Lidman (Chalmers University of Technology), Josef Svenningsson (Chalmers University of Technology)

Comments: In Proceedings QAPL 2017, arXiv:1707.03668

Journal-ref: EPTCS 250, 2017, pp. 111-126

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

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

Title: Strategic Coalitions with Perfect Recall

Pavel Naumov, Jia Tao

Journal-ref: The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, Lousiana, USA (2018)

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

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

Title: The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs

Panos Rondogiannis, Ioanna Symeonidou

Comments: Paper presented at the 33rd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. Under consideration for acceptance in TPLP. 16 pages (article) + 9 pages (appendix)

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

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

Title: On Axiomatizability of the Multiplicative Theory of Numbers

Saeed Salehi

Comments: 18 pages

Journal-ref: Fundamenta Informaticae 159 (2018) 279--296

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

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

Title: Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems

Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani

Comments: Extended version of paper accepted at the 13th Haifa Verification Conference

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

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

Title: A Flexible Approach for Finding Optimal Paths with Minimal Conflicts

Juliana Bowles, Marco B. Caminati

Comments: Preprint of a paper accepted at the forthcoming ICFEM 2017 conference

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

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

Title: On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

Alan Jeffrey, James Riely

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 29, 2019) lmcs:3804

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

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

Title: Hybrid Conditional Planning using Answer Set Programming

Ibrahim Faruk Yalciner, Ahmed Nouman, Volkan Patoglu, Esra Erdem

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017; 28 pages, 3 figures (arXiv:this http URL)

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

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

Title: Parameterized complexity of games with monotonically ordered {\omega}-regular objectives

Véronique Bruyère, Quentin Hautem, Jean-François Raskin

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

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

Title: Computing LPMLN Using ASP and MLN Solvers

Joohyung Lee, Samidh Talsania, Yi Wang

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures (arXiv:this http URL)

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

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

Title: Representing Hybrid Automata by Action Language Modulo Theories

Joohyung Lee, Nikhil Loney, Yunsong Meng

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX

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

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

Title: A Verified Compiler for Probability Density Functions

Manuel Eberl, Johannes Hölzl, Tobias Nipkow

Comments: Presented at ESOP 2015

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

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

Title: Finite Inverse Categories as Signatures

Dimitris Tsementzis, Matthew Weaver

Comments: 11 pages

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

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

Title: Suszko's Problem: Mixed Consequence and Compositionality

Emmanuel Chemla, Paul Egré

Comments: Keywords: Suszko's thesis; truth value; logical consequence; mixed consequence; compositionality; truth-functionality; many-valued logic; algebraic logic; substructural logics; regular connectives

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

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

Title: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge

Jérôme Lang (CNRS)

Journal-ref: EPTCS 251, 2017

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

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

Title: Navigability with Imperfect Information

Kaya Deuser, Pavel Naumov

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

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

Title: Relaxing Exclusive Control in Boolean Games

Francesco Belardinelli (IBISC, Université d'Evry and IRIT, CNRS, Toulouse), Umberto Grandi (IRIT, University of Toulouse), Andreas Herzig (IRIT, CNRS, Toulouse), Dominique Longin (IRIT, CNRS, Toulouse), Emiliano Lorini (IRIT, CNRS, Toulouse), Arianna Novaro (IRIT, University of Toulouse), Laurent Perrussel (IRIT, University of Toulouse)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 43-56

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

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

Title: A New Game Equivalence and its Modal Logic

Johan van Benthem (ILLC University of Amsterdam), Nick Bezhanishvili (ILLC University of Amsterdam), Sebastian Enqvist (Department of Philosophy Stockholm University)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 57-74

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

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

Title: An Epistemic Foundation for Authentication Logics (Extended Abstract)

Joseph Y. Halpern (Cornell University), Ron van der Meyden (University of New South Wales), Riccardo Pucella (Forrester Research)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 306-323

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

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

Title: A Knowledge-Based Analysis of the Blockchain Protocol

Joseph Y. Halpern (Cornell University), Rafael Pass (Cornell University)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 324-335

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

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

Title: Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)

Pavel Naumov (Vassar College), Jia Tao (Lafayette College)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 441-453

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

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

Title: Argument-based Belief in Topological Structures

Chenwei Shi (ILLC), Sonja Smets (ILLC), Fernando R. Velázquez-Quesada (ILLC)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 489-503

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

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

Title: Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding

Rafal Urbaniak (Ghent University (Belgium) and University of Gdansk (Poland))

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 504-514

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

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

Title: A New Modal Framework for Epistemic Logic

Yanjing Wang (Peking University)

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal-ref: EPTCS 251, 2017, pp. 515-534

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

[112] arXiv:1707.09242 (cross-list from cs.DC) [pdf, other]

Title: Consistency models with global operation sequencing and their composition (extended version)

Alexey Gotsman, Sebastian Burckhardt

Comments: Extended version of the paper from DISC'17

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

[113] arXiv:1707.09616 (cross-list from cs.MS) [pdf, other]

Title: Owl: A General-Purpose Numerical Library in OCaml

Liang Wang

Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)