Logic in Computer Science

Authors and titles for September 2018

[1] arXiv:1809.00134 [pdf, other]

Title: The Data Complexity of Ontology-Mediated Queries with Closed Predicates

Carsten Lutz, Inanc Seylan, Frank Wolter

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (August 28, 2019) lmcs:4804

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1809.00167 [pdf, other]

Title: Linear Temporal Justification Logics with Past Operators

Meghdad Ghari

Journal-ref: Some parts are published in: Logic Journal of the IGPL, 31(1):1-38, 2023

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1809.00503 [pdf, other]

Title: Improving Convergence Rate Of IC3

Eugene Goldberg

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1809.00508 [pdf, other]

Title: A logic-algebraic tool for reasoning with Knowledge-Based Systems

José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Magdalena Fernández-Lebrón, M. José Hidalgo-Doblado

Comments: 41 pages, 7 figures. To appear in Journal of Logical and Algebraic Methods in Programming

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1809.00559 [pdf, other]

Title: Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs

Yves Bertot (MARELLE)

Journal-ref: International Colloquium on Theoretical of Computing (ICTAC), Oct 2018, Stellenbosch, South Africa

Subjects: Logic in Computer Science (cs.LO); Computational Geometry (cs.CG)

[6] arXiv:1809.00772 [pdf, other]

Title: A characterization of the consistent Hoare powerdomains over dcpos

Zhongxi Zhang, Qingguo Li, Nan Zhang

Comments: 6 pages, a direct characterization

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1809.01103 [pdf, other]

Title: An automatic tool for checking multi-party contracts

Adilson Luiz Bonifacio, Wellington Aparecido Della Mura

Comments: 28 pages, 26 figures, 3 tables, 2 algorithms

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

[8] arXiv:1809.02416 [pdf, other]

Title: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification

Andrea Orlandini (National Research Council of Italy), Martin Zimmermann (Saarland University)

Journal-ref: EPTCS 277, 2018

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

[9] arXiv:1809.02659 [pdf, other]

Title: Revisiting Call-by-value Böhm trees in light of their Taylor expansion

Emma Kerinec, Giulio Manzonetto, Michele Pagani

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

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1809.02781 [pdf, other]

Title: Affine Sessions

Dimitris Mostrous, Vasco T. Vasconcelos

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

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

[11] arXiv:1809.02941 [pdf, other]

Title: Well Quasiorders and Hierarchy Theory

Victor Selivanov

Comments: 37 pages

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1809.03094 [pdf, other]

Title: Classical Proofs as Parallel Programs

Federico Aschieri (TU Wien), Agata Ciabattoni (TU Wien), Francesco Antonio Genco (TU Wien)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416. arXiv admin note: text overlap with arXiv:1607.05120

Journal-ref: EPTCS 277, 2018, pp. 43-57

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1809.03095 [pdf, other]

Title: A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability

Éric Goubault (École Polytechnique), Jérémy Ledent (École Polytechnique), Sergio Rajsbaum (UNAM)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 73-87

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

[14] arXiv:1809.03097 [pdf, other]

Title: A Comparison of BDD-Based Parity Game Solvers

Lisette Sanchez, Wieger Wesselink, Tim A.C. Willemse

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 103-117

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1809.03099 [pdf, other]

Title: Parameterized Verification of Coverability in Well-Structured Broadcast Networks

A.R. Balasubramanian (Chennai Mathematical Institute)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 133-146

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

[16] arXiv:1809.03100 [pdf, other]

Title: Temporal Logic and Model Checking for Operator Precedence Languages

Michele Chiari (DEIB, Politecnico di Milano), Dino Mandrioli (DEIB, Politecnico di Milano), Matteo Pradella (DEIB, Politecnico di Milano, and IEIIT, Consiglio Nazionale delle Ricerche)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 161-175

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1809.03101 [pdf, other]

Title: One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

Luca Geatti (University of Udine, Italy), Nicola Gigante (University of Udine, Italy), Angelo Montanari (University of Udine, Italy), Mark Reynolds (University of Western Australia)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 176-190

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1809.03103 [pdf, other]

Title: Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground

Laura Bozzelli (University of Napoli Federico II, Italy), Alberto Molinari (University of Udine, Italy), Angelo Montanari (University of Udine, Italy), Adriano Peron (University of Napoli Federico II, Italy)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 191-205

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

[19] arXiv:1809.03104 [pdf, other]

Title: On Computing the Measures of First-Order Definable Sets of Trees

Marcin Przybyłko

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 206-219

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

[20] arXiv:1809.03106 [pdf, other]

Title: On Finding a First-Order Sentence Consistent with a Sample of Strings

Thiago Alves Rocha (Federal Institute of Ceará), Ana Teresa Martins (Federal University of Ceará), Francicleber Martins Ferreira (Federal University of Ceará)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 220-234

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1809.03107 [pdf, other]

Title: Multi-weighted Markov Decision Processes with Reachability Objectives

Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 250-264

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1809.03162 [pdf, other]

Title: A case study in formal verification of a Java program

Dmitry Brizhinev, Rajeev Goré

Comments: Written in August 2016

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:1809.03245 [pdf, other]

Title: Finite Satisfiability of Unary Negation Fragment with Transitivity

Daniel Danielski, Emanuel Kieronski

Comments: Accepted for MFCS 2019

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1809.03254 [pdf, other]

Title: Elementary Multimodal Logics

Jakub Michaliszyn

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1809.03262 [pdf, other]

Title: Model Theory of Monadic Predicate Logic with the Infinity Quantifier

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

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

[26] arXiv:1809.03299 [pdf, other]

Title: Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes

Pranav Ashok, Tomáš Brázdil, Jan Křetínský, Ondřej Slámečka

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1809.03739 [pdf, other]

Title: Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)

Lucas Cordeiro, Daniel Kroening, Peter Schrammel

Comments: JPF 2018 Java PathFinder Workshop

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

[28] arXiv:1809.03896 [pdf, other]

Title: The Power of the Weak

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

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

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1809.04456 [pdf, other]

Title: Dynamic logic assigned to automata

Ivan Chajda, Jan Paseka

Comments: 12 pages. arXiv admin note: text overlap with arXiv:1510.02972

Journal-ref: International Journal of Theoretical Physics 56 (2017), 3794-3806

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

[30] arXiv:1809.04468 [pdf, other]

Title: An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

Willem Conradie, Salih Durhan, Guido Sciavicco

Comments: This is Part II of the paper `An Integrated First-Order Theory of Points and Intervals over Linear Orders' arXiv:1805.08425v2. Therefore the introduction, preliminaries and conclusions of the two papers are the same. This version implements a few minor corrections and an update to the affiliation of the second author

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 2, Logic for knowledge representation (April 1, 2020) lmcs:4832

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1809.04492 [pdf, other]

Title: A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic

Rob Arthan, Paulo Oliva

Comments: 17 pages

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1809.04554 [pdf, other]

Title: Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis

Temesghen Kahsai (Amazon), German Vidal (Universitat Politecnica de Valencia)

Journal-ref: EPTCS 278, 2018

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

[33] arXiv:1809.04771 [pdf, other]

Title: Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper

Ekaterina Komendantskaya Dr (Heriot-Watt University), Yue Li (Heriot-Watt University)

Comments: In Proceedings HCVS 2018, arXiv:1809.04554

Journal-ref: EPTCS 278, 2018, pp. 27-33

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

[34] arXiv:1809.04772 [pdf, other]

Title: A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm

António Ravara (NOVA LINCS and Dep of Informatics, FCT, NOVA University of Lisbon)

Comments: In Proceedings HCVS 2018, arXiv:1809.04554

Journal-ref: EPTCS 278, 2018, pp. 34-48

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1809.05049 [pdf, other]

Title: Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces

Longchun Wang, Qingguo Li, Lanlun Guo

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

[36] arXiv:1809.05723 [pdf, other]

Title: QPCF: higher order languages and quantum circuits

Luca Paolini, Mauro Piccolo, Margherita Zorzi

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1809.06638 [pdf, other]

Title: Towards Abstraction in ASP with an Application on Reasoning about Agent Policies

Zeynep G. Saribatur, Thomas Eiter

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

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

[38] arXiv:1809.06778 [pdf, other]

Title: On a Convex Logic Fragment for Learning and Reasoning

Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini

Comments: Accepted in IEEE Transactions on Fuzzy Systems

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1809.06954 [pdf, other]

Title: Qualitative Reachability for Open Interval Markov Chains

Jeremy Sproston

Comments: Full version of a paper published at RP 2018

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1809.07542 [pdf, other]

Title: Complete Additivity and Modal Incompleteness

Wesley H. Holliday, Tadeusz Litak

Journal-ref: The Review of Symbolic Logic 12 (2019) 487-535

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1809.08169 [pdf, other]

Title: On sets of terms having a given intersection type

Andrew Polonsky, Richard Statman

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

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:1809.08576 [pdf, other]

Title: Kishon's Poker Game

Uri Abraham

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1809.08646 [pdf, other]

Title: Normalization by gluing for free λ-theories

Jonathan Sterling, Bas Spitters

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:1809.08695 [pdf, other]

Title: Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data

Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova, Martin Ziegler

Comments: 39 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Information Theory (cs.IT)

[45] arXiv:1809.09278 [pdf, other]

Title: Quantitative bisimulations using coreflections and open morphisms

Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:1809.09319 [pdf, other]

Title: Syntactic Conditions for Antichain Property in Consistency Restoring Prolog

Vu Phan

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

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:1809.09938 [pdf, other]

Title: Logic program proportions

Christian Antić

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:1809.10620 [pdf, other]

Title: Operations on Partial Orders

Karl Schlechta

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:1809.10655 [pdf, other]

Title: Multi-Scale Verification of Distributed Synchronisation

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher

Subjects: Logic in Computer Science (cs.LO)

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

Title: Weihrauch goes Brouwerian

Vasco Brattka, Guido Gherardi

Comments: 36 pages

Journal-ref: J. symb. log. 85 (2020) 1614-1653

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

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

Title: Exploring the Landscape of Relational Syllogistic Logics

Alex Kruckman, Lawrence S. Moss

Comments: Final version

Journal-ref: The Review of Symbolic Logic 14 (2021) 728-765

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

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

Title: Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Roderick Bloem, Goerschwin Fey, Fabian Greif, Robert Koenighofer, Ingo Pill, Heinz Riener, Franz Roeck

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

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

Title: An Algebra of Lightweight Ontologies

Marco A. Casanova, Rômulo Magalhães

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

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

Title: Extending set functors to generalised metric spaces

Adriana Balan, Alexander Kurz, Jiří Velebil

Comments: 57 pages; extended version of the paper presented at CALCO 2015; accepted for publication in LMCS; Sections 2.4 and 3.3 were added

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

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

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

Title: Evidence-based lean logic profiles for conceptual data modelling languages

Pablo Rubén Fillottrani, C. Maria Keet

Comments: 22 pages, 5 figures, 5 tables, 100 references; substantial extension to the ADBIS'15 paper; submitted to an international journal

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

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

Title: Tester versus Bug: A Generic Framework for Model-Based Testing via Games

Petra van den Bos, Marielle Stoelinga

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 118-132

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

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

Title: An Effective Property of $ω$-Rational Functions

Olivier Finkel (IMJ-PRG)

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

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

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

Title: Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures

Satoshi Egi

Comments: 14 pages, Scheme and Functional Programming Workshop 2018

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

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

Title: Resource-driven Substructural Defeasible Logic

Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo-Tosatto

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

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

Title: Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Tobias R. Gundersen (Aalborg University), Florian Lorber (Aalborg University), Ulrik Nyman (Aalborg University), Christian Ovesen (Aalborg University)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 147-160

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

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

Title: Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Emanuele De Angelis (DEC, University "G. d'Annunzio" of Chieti-Pescara, Pescara, Italy), Fabio Fioravanti (DEC, University "G. d'Annunzio" of Chieti-Pescara, Pescara, Italy), Adrián Palacios (MiST, DSIC, Universitat Politècnica de València, València, Spain), Alberto Pettorossi (University of Roma Tor Vergata, Roma, Italy), Maurizio Proietti (CNR-IASI, Roma, Italy)

Comments: In Proceedings HCVS 2018, arXiv:1809.04554

Journal-ref: EPTCS 278, 2018, pp. 19-26

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

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

Title: Bounded Synthesis of Register Transducers

Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem

Comments: full version of our ATVA'18 paper

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

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

Title: On Plans With Loops and Noise

Vaishak Belle

Comments: Proceedings of AAMAS 2018

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

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

Title: Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems

Vaishak Belle, Hector J. Levesque

Comments: To appear in Artificial Intelligence 2018

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

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

Title: Blameworthiness in Strategic Games

Pavel Naumov, Jia Tao

Journal-ref: 33rd AAAI Conference on Artificial Intelligence (AAAI-19), January 27-February 1, 2019, Honolulu, Hawaii, USA

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

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

Title: Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

Joaquín Arias, Manuel Carro

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

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

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

Title: Fixed point theorems for precomplete numberings

H. P. Barendregt, S. A. Terwijn

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

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

Title: The Reachability Problem for Petri Nets is Not Elementary

Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jerome Leroux, Filip Mazowiecki

Comments: Final version of STOC'19

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

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

Title: Parameter Synthesis Problems for one parametric clock Timed Automata

Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen

Comments: 20 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1808.06792

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

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

Title: Logically-Constrained Neural Fitted Q-Iteration

Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening

Comments: AAMAS 2019

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

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

Title: Modalities, Cohesion, and Information Flow

G. A. Kavvos

Journal-ref: G. A. Kavvos. 2019. Modalities, Cohesion, and Information Flow. Proc. ACM Program. Lang. 3, POPL, Article 20 (January 2019), 29 pages

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

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

Title: Efficient Formal Safety Analysis of Neural Networks

Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

Comments: Accepted to NIPS'18

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

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

Title: Towards the Development of a Rule-based Drought Early Warning Expert Systems using Indigenous Knowledge

A. K. Akanbi, M. Masinde

Comments: 8 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE)

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

Title: A Revised and Verified Proof of the Scalable Commutativity Rule

Lillian Tsai, Eddie Kohler, M. Frans Kaashoek, Nickolai Zeldovich

Comments: 9 pages, 4 figures

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

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

Title: Induction rules in bounded arithmetic

Emil Jeřábek

Comments: 40 pages

Journal-ref: Archive for Mathematical Logic 59 (2020), no. 3, pp. 461--501

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

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

Title: On Rational Entailment for Propositional Typicality Logic

Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak

Comments: 27 pages; extended and elaborated version of a paper presented at the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)

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