Logic in Computer Science

Authors and titles for cs.LO in Apr 2016

[1]  arXiv:1604.00258 [pdf, other]

Title: Computable dyadic subbases and $\mathbf{T}^ω$-representations of compact sets

Authors: Arno Pauly, Hideki Tsuiki

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:1604.00350 [pdf, ps, other]

Title: Towards a Feature mu-Calculus Targeting SPL Verification

Authors: Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Erik P. de Vink (TU/e, Eindhoven, The Netherlands), Tim A. C. Willemse (TU/e, Eindhoven, The Netherlands)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 61-75

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:1604.00536 [pdf, ps, other]

Title: Improving SAT Solvers via Blocked Clause Decomposition

Authors: Jingchao Chen

Comments: 9 pages, 1 figure

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

[4]  arXiv:1604.00936 [pdf, ps, other]

Title: Structural Multi-type Sequent Calculus for Inquisitive Logic

Authors: Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:1604.01186 [pdf, other]

Title: Variations on Noetherianness

Authors: Denis Firsov, Tarmo Uustalu, Niccolò Veltri

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal-ref: EPTCS 207, 2016, pp. 76-88

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

[6]  arXiv:1604.01187 [pdf, other]

Title: Directed Containers as Categories

Authors: Danel Ahman, Tarmo Uustalu

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal-ref: EPTCS 207, 2016, pp. 89-98

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

[7]  arXiv:1604.01673 [pdf, ps, other]

Title: On the uniform one-dimensional fragment

Authors: Antti Kuusisto

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

[8]  arXiv:1604.01990 [pdf, ps, other]

Title: Practical Subtyping for System F with Sized (Co-)Induction

Authors: Rodolphe Lepigre (1), Christophe Raffalli (1) ((1) LAMA)

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

[9]  arXiv:1604.02086 [pdf, ps, other]

Title: Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search

Authors: José Espírito Santo, Ralph Matthes, Luís Pinto

Comments: 16 pages + 3 pages appendix (an error in the original version was detected, the proofs are very different and are based on new definitions)

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

[10]  arXiv:1604.02284 [pdf, ps, other]

Title: A High-Level LTL Synthesis Format: TLSF v1.1

Authors: Swen Jacobs (Saarland University), Felix Klein (Saarland University), Sebastian Schirmer (Saarland University)

Comments: In Proceedings SYNT 2016, arXiv:1611.07178. arXiv admin note: substantial text overlap with arXiv:1601.05228

Journal-ref: EPTCS 229, 2016, pp. 112-132

Subjects: Logic in Computer Science (cs.LO)

[11]  arXiv:1604.02386 [pdf, other]

Title: An extensible formal semantics for UML activity diagrams

Authors: Zamira Daw, Rance Cleaveland

Comments: 27 pages, 13 figures

Subjects: Logic in Computer Science (cs.LO)

[12]  arXiv:1604.02603 [pdf, ps, other]

Title: Information, Processes and Games

Authors: Samson Abramsky

Comments: Appeared in Philosophy of Information, vol. 8 of Handbook of the Philosophy of Science, edited by Dov Gabbay and John Woods. arXiv admin note: substantial text overlap with arXiv:quant-ph/0312044 by other authors

Journal-ref: Philosophy of Information, Johan van Benthem and Pieter Adriaans, eds., pages 483--549, 2008

Subjects: Logic in Computer Science (cs.LO)

[13]  arXiv:1604.02784 [pdf, ps, other]

Title: Multi-diagrams of relations between fuzzy sets: weighted limits, colimits and commutativity

Authors: Carlos Leandro, Luís Monteiro

Comments: 26 pages

Subjects: Logic in Computer Science (cs.LO)

[14]  arXiv:1604.02790 [pdf, ps, other]

Title: Categorical semiotics

Authors: Carlos Leandro

Comments: 76 pages

Subjects: Logic in Computer Science (cs.LO)

[15]  arXiv:1604.02887 [pdf, other]

Title: Reasoning about Data Repetitions with Counter Systems

Authors: Stephane Demri, Diego Figueira, M Praveen

Comments: 54 pages

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (August 4, 2016) lmcs:1645

Subjects: Logic in Computer Science (cs.LO)

[16]  arXiv:1604.03098 [pdf, ps, other]

Title: Patterns on data described by vague limits, vague colimits and vague commutativity

Authors: Carlos Leandro, Luís Monteiro

Comments: 35 pages. arXiv admin note: text overlap with arXiv:1604.02784

Subjects: Logic in Computer Science (cs.LO)

[17]  arXiv:1604.03471 [pdf, other]

Title: Optimal Assumptions for Synthesis

Authors: Romain Brenguier

Comments: 20 pages

Subjects: Logic in Computer Science (cs.LO)

[18]  arXiv:1604.03515 [pdf, ps, other]

Title: Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)

Authors: Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev

Journal-ref: ACM Trans. Comput. Logic 18, 3, Article 22 (August 2017), 39 pages

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

[19]  arXiv:1604.03793 [pdf, other]

Title: HordeQBF: A Modular and Massively Parallel QBF Solver

Authors: Tomas Balyo, Florian Lonsing

Comments: camera-ready version, 6-page tool paper, to appear in the proceedings of SAT 2016, LNCS, Springer

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

[20]  arXiv:1604.03799 [pdf, other]

Title: Extending Homotopy Type Theory with Strict Equality

Authors: Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus

Comments: 16 pages

Journal-ref: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Leibniz International Proceedings in Informatics (LIPIcs), volume 62, pages 21:1-21:17, 2016

Subjects: Logic in Computer Science (cs.LO)

[21]  arXiv:1604.03962 [pdf, other]

Title: A traditional tree-style tableau for LTL

Authors: Mark Reynolds

Comments: 33 pages

Subjects: Logic in Computer Science (cs.LO)

[22]  arXiv:1604.04114 [pdf, ps, other]

Title: Operational Semantics of Resolution and Productivity in Horn Clause Logic

Authors: Peng Fu, Ekaterina Komendantskaya

Comments: Journal Formal Aspect of Computing, 2016

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:1604.04164 [pdf, other]

Title: Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)

Authors: Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Comments: The full version of the paper accepted at IJCAI 2016

Subjects: Logic in Computer Science (cs.LO)

[24]  arXiv:1604.04197 [pdf, ps, other]

Title: Topological Self-Stabilization with Name-Passing Process Calculi

Authors: Christina Rickmann

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

[25]  arXiv:1604.04240 [pdf, ps, other]

Title: A New Method of Verification of Functional Programs

Authors: Andrew M. Mironov

Comments: 20 pages, 3 figures

Subjects: Logic in Computer Science (cs.LO)

[26]  arXiv:1604.04295 [pdf, ps, other]

Title: Axiomatizing Analog Algorithms

Authors: Olivier Bournez, Nachum Dershowitz, Pierre Néron

Journal-ref: Computability in Europe 2016: Pursuit of the Universal (CiE), Paris, France, Lecture Notes in Computer Science, vol. 9709, Springer-Verlag, Switzerland, pp. 215-224 (2016)

Subjects: Logic in Computer Science (cs.LO)

[27]  arXiv:1604.04344 [pdf, ps, other]

Title: Some Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions

Authors: Anna Mikhailovich

Comments: 6 pages

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

[28]  arXiv:1604.04435 [pdf, ps, other]

Title: Expected Reachability-Time Games

Authors: Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi

Comments: Manuscript accepted to Theoretical Computer Science

Subjects: Logic in Computer Science (cs.LO)

[29]  arXiv:1604.04575 [pdf, ps, other]

Title: Proof-relevant $π$-calculus: a constructive account of concurrency and causality

Authors: Roly Perera, James Cheney

Comments: Under consideration for publication in Mathematical Structures in Computer Science. arXiv admin note: text overlap with arXiv:1507.08054

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

[30]  arXiv:1604.05047 [pdf, other]

Title: From Dynamic to Static Semantics, Quantitatively

Authors: Thomas Seiller

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

[31]  arXiv:1604.05258 [pdf, ps, other]

Title: Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries

Authors: Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev

Comments: full version of the paper in the Proc. of the 29th Int. Workshop on Description Logics (DL 2016)

Subjects: Logic in Computer Science (cs.LO)

[32]  arXiv:1604.05543 [pdf, other]

Title: Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs

Authors: Alexander Weinert, Martin Zimmermann

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (September 19, 2017) lmcs:3132

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

[33]  arXiv:1604.05555 [pdf, other]

Title: A Safety and Liveness Theory for Total Reversibility (Extended Abstract)

Authors: Claudio Antares Mezzina, Vasileios Koutavas

Subjects: Logic in Computer Science (cs.LO)

[34]  arXiv:1604.05843 [pdf, other]

Title: Order-Invariance of Two-Variable Logic is Decidable

Authors: Thomas Zeume, Frederik Harwath

Subjects: Logic in Computer Science (cs.LO)

[35]  arXiv:1604.05994 [pdf, other]

Title: Q-Resolution with Generalized Axioms

Authors: Florian Lonsing, Uwe Egly, Martina Seidl

Comments: (minor fixes) camera-ready version + appendix; to appear in the proceedings of SAT 2016, LNCS, Springer

Subjects: Logic in Computer Science (cs.LO)

[36]  arXiv:1604.06038 [pdf, other]

Title: Two-variable Logic with Counting and a Linear Order

Authors: Witold Charatonik, Piotr Witkowski

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 2 (June 23, 2016) lmcs:1640

Subjects: Logic in Computer Science (cs.LO)

[37]  arXiv:1604.06118 [pdf, other]

Title: XPL: An extended probabilistic logic for probabilistic transition systems

Authors: Andrey Gorlin, C. R. Ramakrishnan

Subjects: Logic in Computer Science (cs.LO)

[38]  arXiv:1604.06139 [pdf, ps, other]

Title: Notes on Lynch-Morawska Systems

Authors: Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam

Subjects: Logic in Computer Science (cs.LO)

[39]  arXiv:1604.06204 [pdf, other]

Title: Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications

Authors: Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl

Comments: This is the manuscript of an article that has been submitted to the Journal of Computer and System Sciences (JCSS)

Subjects: Logic in Computer Science (cs.LO)

[40]  arXiv:1604.06376 [pdf, ps, other]

Title: Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives

Authors: Krishnendu Chatterjee, Laurent Doyen

Comments: A conference version will appear in LICS 2016

Subjects: Logic in Computer Science (cs.LO)

[41]  arXiv:1604.06384 [pdf, other]

Title: Computation Tree Logic for Synchronization Properties

Authors: Krishnendu Chatterjee, Laurent Doyen

Comments: A conference version will appear in ICALP 2016

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

[42]  arXiv:1604.06386 [pdf, other]

Title: Stability in Graphs and Games

Authors: Tomáš Brázdil, Vojtěch Forejt, Antonín Kučera, Petr Novotný

Subjects: Logic in Computer Science (cs.LO)

[43]  arXiv:1604.06483 [pdf, ps, other]

Title: On Stronger Calculi for QBFs

Authors: Uwe Egly

Subjects: Logic in Computer Science (cs.LO)

[44]  arXiv:1604.06503 [pdf, ps, other]

Title: A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories

Authors: Uli Fahrenberg, Axel Legay

Subjects: Logic in Computer Science (cs.LO)

[45]  arXiv:1604.06509 [pdf, ps, other]

Title: Lynch-Morawska Systems on Strings

Authors: Daniel S. Hono II, Paliath Narendran, Rafael Veras

Comments: Revised based on reviewers' feedback

Subjects: Logic in Computer Science (cs.LO)

[46]  arXiv:1604.06747 [pdf, ps, other]

Title: Generating Concurrency Checks Automatically

Authors: Jonathan Hoyland, Matthew Hague

Comments: 15 pages, 9 figures

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

[47]  arXiv:1604.06752 [pdf, ps, other]

Title: Solving QBF by Abstraction

Authors: Jesko Hecking-Harbusch (Saarland University), Leander Tentrup (Saarland University)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 88-102

Subjects: Logic in Computer Science (cs.LO)

[48]  arXiv:1604.07030 [pdf, ps, other]

Title: Linear Depth Increase of Lambda Terms along Leftmost-Outermost Beta-Reduction

Authors: Clemens Grabmayer

Subjects: Logic in Computer Science (cs.LO)

[49]  arXiv:1604.07530 [pdf, other]

Title: Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity

Authors: Wan Fokkink, Rob van Glabbeek

Comments: An extended abstract of this paper appeared in Proc. LICS'16. With Definition 20.4b(i) as formulated originally [v1], Proposition 5 does not hold. A corrected Definition 20.4b appears in this revision [v2]

Journal-ref: Information and Computation 257, 2017, pp. 79-113

Subjects: Logic in Computer Science (cs.LO)

[50]  arXiv:1604.08040 [pdf, ps, other]

Title: Finding Finite Models in Multi-Sorted First Order Logic

Authors: Giles Reger, Martin Suda, Andrei Voronkov

Comments: SAT 2016

Subjects: Logic in Computer Science (cs.LO)

[51]  arXiv:1604.08058 [pdf, ps, other]

Title: Lifting QBF Resolution Calculi to DQBF

Authors: Olaf Beyersdorff, Leroy Chew, Renate Schmidt, Martin Suda

Comments: SAT 2016

Subjects: Logic in Computer Science (cs.LO)

[52]  arXiv:1604.08080 [pdf, other]

Title: Concurrent Data Structures Linked in Time

Authors: Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

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

[53]  arXiv:1604.08248 [pdf, other]

Title: Infinitary $λ$-Calculi from a Linear Perspective (Long Version)

Authors: Ugo Dal Lago

Subjects: Logic in Computer Science (cs.LO)

[54]  arXiv:1604.08345 [pdf, ps, other]

Title: Advances in Property-Based Testing for $α$Prolog

Authors: James Cheney, Alberto Momigliano, Matteo Pessina

Comments: To appear, Tests and Proofs 2016; includes appendix with details not in the conference version

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

[55]  arXiv:1604.08348 [pdf, other]

Title: On the algebraic structure of Weihrauch degrees

Authors: Vasco Brattka, Arno Pauly

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4, Computability and logic (October 25, 2018) lmcs:3854

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

[56]  arXiv:1604.08383 [pdf, other]

Title: No solvable lambda-value term left behind

Authors: Á. García-Pérez, P. Nogueira

Comments: 43 pages

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 2 (June 30, 2016) lmcs:1644

Subjects: Logic in Computer Science (cs.LO)

[57]  arXiv:1604.08873 [pdf, ps, other]

Title: Computational Higher Type Theory I: Abstract Cubical Realizability

Authors: Carlo Angiuli, Robert Harper, Todd Wilson

Comments: 39 pages. v2: added abstract, minor corrections

Subjects: Logic in Computer Science (cs.LO)

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

Title: Relations between assumption-based approaches in nonmonotonic logic and formal argumentation

Authors: Jesse Heyninck, Christian Straßer

Comments: Contribution to the 16th International Workshop on Non-Monotonic Reasoning (NMR'16), Cape Town

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

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

Title: The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem

Authors: Elnaserledinellah Mahmood Abdelwahab, Karim Daghbouche, Nadra Ahmad Shannan

Comments: 36 pages, 6 Figures. J.Acad.(N.Y.)4,2:52-87, published May 16 2014

Journal-ref: J.Acad.(N.Y.)4,2:52-87 May 16 2014

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

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

Title: Refactoring Delta-Oriented Product Lines to achieve Monotonicity

Authors: Ferruccio Damiani (University of Torino, Italy), Michael Lienhardt (University of Torino, Italy)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 2-16

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

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

Title: Proceedings 6th Workshop on Mathematically Structured Functional Programming

Authors: Robert Atkey (University of Strathclyde), Neelakantan Krishnaswami (University of Birmingham)

Journal-ref: EPTCS 207, 2016

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

[62]  arXiv:1604.01185 (cross-list from cs.PL) [pdf, ps, other]

Title: SMT Solving for Functional Programming over Infinite Structures

Authors: Bartek Klin (University of Warsaw), Michał Szynwelski (University of Warsaw)

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal-ref: EPTCS 207, 2016, pp. 57-75

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

[63]  arXiv:1604.01288 (cross-list from cs.DM) [pdf, ps, other]

Title: Unsatisfiable hitting clause-sets with three more clauses than variables

Authors: Oliver Kullmann, Xishun Zhao

Comments: 17 pages

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

[64]  arXiv:1604.01942 (cross-list from cs.FL) [pdf, ps, other]

Title: The Complexity of Synchronizing Markov Decision Processes

Authors: Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Comments: arXiv admin note: substantial text overlap with arXiv:1402.2840, arXiv:1310.2935

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

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

Title: Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version)

Authors: Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

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

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

Title: Democratic, Existential, and Consensus-Based Output Conventions in Stable Computation by Chemical Reaction Networks

Authors: Robert Brijder, David Doty, David Soloveichik

Comments: 16 pages, 2 figures

Subjects: Emerging Technologies (cs.ET); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Molecular Networks (q-bio.MN)

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

Title: Rational Verification in Iterated Electric Boolean Games

Authors: Youssouf Oualhadj (LACL, U-PEC, Paris, France), Nicolas Troquard (LACL, U-PEC, Paris, France)

Comments: In Proceedings SR 2016, arXiv:1607.02694

Journal-ref: EPTCS 218, 2016, pp. 41-51

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

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

Title: Logic for Unambiguous Context-Free Languages

Authors: Yassine Hachaïchi (LAMSIN)

Journal-ref: International Journal of Computer Science Theory and Application, ORB Academic Publisher, 2016, 5 (1), pp.12-19

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

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

Title: Compositional security and collateral leakage

Authors: N. Bordenabe, A. McIver, C Morgan, T. Rabehaja

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

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

Title: Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering

Authors: Heng Zhang, Yan Zhang, Jia-Huai You

Comments: 10 pages; the full version of a paper to appear in IJCAI 2016. Changes (regarding to v1): a new reference has been added, and some typos have been corrected

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

[71]  arXiv:1604.05086 (cross-list from cs.AI) [pdf, ps, other]

Title: Normative Multiagent Systems: A Dynamic Generalization

Authors: Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su

Comments: 26 pages. A conference version of this work is accepted by the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)

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

[72]  arXiv:1604.05692 (cross-list from cs.GT) [pdf, ps, other]

Title: Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

Authors: Florian Brandl, Felix Brandt, Manuel Eberl, Christian Geist

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

[73]  arXiv:1604.06061 (cross-list from cs.GT) [pdf, ps, other]

Title: Compositionality and String Diagrams for Game Theory

Authors: Jules Hedges, Evguenia Shprits, Viktor Winschel, Philipp Zahn

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

[74]  arXiv:1604.06617 (cross-list from cs.CC) [pdf, ps, other]

Title: Descriptive Complexity of $\#\textrm{AC}^0$ Functions

Authors: Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer

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

[75]  arXiv:1604.07064 (cross-list from cs.FL) [pdf, ps, other]

Title: Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis

Authors: Shaull Almagor, Orna Kupferman, Yaron Velner

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

[76]  arXiv:1604.07179 (cross-list from cs.NI) [pdf, ps, other]

Title: Modeling and Efficient Verification of Wireless Ad hoc Networks

Authors: Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi

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

[77]  arXiv:1604.07201 (cross-list from cs.PL) [pdf, ps, other]

Title: Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis

Authors: Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga

Comments: Presented in the 23rd Static Analysis Symposium (SAS 2016)

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

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

Title: A Retraction Theorem for Distributed Synthesis

Authors: Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

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

Title: On Implementing Real-time Specification Patterns Using Observers

Authors: John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp

Comments: In the proceedings of the NASA Formal Methods Symposium 2016

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

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

Title: Propositional Abduction with Implicit Hitting Sets

Authors: Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

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

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

Title: Polynomial-Time Algorithms for Energy Games with Special Weight Structures

Authors: Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai

Comments: This paper appeared in the ESA 2012 special issue of Algorithmica. A preliminary version was presented at the 20th Annual European Symposium on Algorithms (ESA 2012)

Journal-ref: Algorithmica 70(3): 457-492 (2014)

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

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

Title: Analyzing Timed Systems Using Tree Automata

Authors: S. Akshay, Paul Gastin, Shankara Narayanan Krishna

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 2 (May 9, 2018) lmcs:3156

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

[83]  arXiv:1604.08709 (cross-list from cs.AI) [pdf, ps, other]

Title: "Knowing value" logic as a normal modal logic

Authors: Tao Gu, Yanjing Wang

Comments: 21 pages, in Advances in Modal Logic Vol 11: 362-381 College Publications. This is a draft with a more detailed proof of Prop. 3.5

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

[84]  arXiv:1604.08736 (cross-list from cs.SC) [pdf, ps, other]

Title: Verifying Buchberger's Algorithm in Reduction Rings

Authors: Alexander Maletzky

Comments: 8 pages; appeared in the proceedings of PAS'2015 (Program Verification, Automated Debugging, and Symbolic Computation, Beijing, China, October 21--23, 2015)

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO); Commutative Algebra (math.AC)

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

Title: Undecidability of Two-dimensional Robot Games

Authors: Reino Niskanen, Igor Potapov, Julien Reichert

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

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

Title: Games and Strategies as Event Structures

Authors: Simon Castellan (LIP), Pierre Clairambault (LIP), Silvain Rideau, Glynn Winskel

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (September 29, 2017) lmcs:3966

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

[87]  arXiv:1604.05948 (cross-list from quant-ph) [pdf, ps, other]

Title: The CBH characterisation theorem beyond algebraic quantum theory

Authors: Chris Heunen, Aleks Kissinger

Comments: 30 pages

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

[88]  arXiv:1604.07181 (cross-list from math.LO) [pdf, ps, other]

Title: Modular Models for Intuitionistic Justification Logic

Authors: Michel Marti, Thomas Studer

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

[89]  arXiv:1604.07225 (cross-list from math.LO) [pdf, ps, other]

Title: The Succinctness of First-order Logic over Modal Logic via a Formula Size Game

Authors: Lauri Hella, Miikka Vilander

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

[90]  arXiv:1604.07309 (cross-list from math.LO) [pdf, ps, other]

Title: Division by zero

Authors: Emil Jeřábek

Comments: 15 pages; fixed typos

Journal-ref: Archive for Mathematical Logic 55 (2016), no. 7, pp. 997--1013

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