Logic in Computer Science

Authors and titles for cs.LO in Apr 2014

[1]  arXiv:1404.0079 [pdf, other]

Title: Non-deterministic computation and the Jayne-Rogers Theorem

Authors: Arno Pauly, Matthew de Brecht

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 87-96

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

[2]  arXiv:1404.0080 [pdf, other]

Title: Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis

Authors: Sam Sanders

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 97-109

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

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

Title: The probability of non-confluent systems

Authors: Alejandro Díaz-Caro, Gilles Dowek

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 1-15

Subjects: Logic in Computer Science (cs.LO)

[4]  arXiv:1404.0082 [pdf, other]

Title: Proof-graphs for Minimal Implicational Logic

Authors: Marcela Quispe-Cruz (PUC-Rio), Edward Hermann Haeusler (PUC-Rio), Lew Gordeev (Tubingen University, Ghent University, PUC-Rio)

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 16-29

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:1404.0087 [pdf, ps, other]

Title: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable

Authors: Karin Quaas (University of Leipzig)

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 5-17

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

[6]  arXiv:1404.0144 [pdf, ps, other]

Title: Modal Independence Logic

Authors: Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer

Subjects: Logic in Computer Science (cs.LO)

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

Title: Hyperprojective Hierarchy of QCB_0-spaces

Authors: Matthias Schröder, Victor Selivanov

Comments: Conference version to appear in LNCS

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

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

Title: On Affine Logic and Łukasiewicz Logic

Authors: Rob Arthan, Paulo Oliva

Comments: 28 pages

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

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

Title: Monadic Datalog Containment on Trees

Authors: André Frochaux, Martin Grohe, Nicole Schweikardt

Comments: This article is the full version of an article published in the proccedings of the 8th Alberto Mendelzon Workshop (AMW 2014)

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

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

Title: Security Analyses of Quantum Communication Protocols

Authors: Yong Wang

Comments: 152 pages, 23 figures, 62 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:1501.05260

Subjects: Logic in Computer Science (cs.LO)

[11]  arXiv:1404.0837 [pdf, other]

Title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

Authors: Francesco Belardinelli (Université d'Evry)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 27-33

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

[12]  arXiv:1404.0838 [pdf, other]

Title: An Epistemic Strategy Logic (Extended Abstract)

Authors: Xiaowei Huang (University of New South Wales, Australia), Ron van der Meyden (University of New South Wales, Australia)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 35-41

Subjects: Logic in Computer Science (cs.LO)

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

Title: Refining and Delegating Strategic Ability in ATL

Authors: Dimitar P. Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 57-63

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

[14]  arXiv:1404.0841 [pdf, other]

Title: A Resolution Prover for Coalition Logic

Authors: Cláudia Nalon (Department of Computer Science, University of Brasília, Brazil), Lan Zhang (Information School Capital University of Economics and Business, China), Clare Dixon (Department of Computer Science, University of Liverpool, UK), Ullrich Hustadt (Department of Computer Science, University of Liverpool, UK)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 65-73

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

[15]  arXiv:1404.0843 [pdf, ps, other]

Title: First Cycle Games

Authors: Benjamin Aminof (IST Austria), Sasha Rubin (IST Austria and TU Wien)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 83-90

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

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

Title: Automata Techniques for Epistemic Protocol Synthesis

Authors: Guillaume Aucher, Bastien Maubert, Sophie Pinchinat

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 97-103

Subjects: Logic in Computer Science (cs.LO)

[17]  arXiv:1404.0854 [pdf, other]

Title: Enabling Automatic Certification of Online Auctions

Authors: Wei Bai, Emmanuel M. Tadjouddine, Yu Guo

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 123-132

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

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

Title: Implementing Anti-Unification Modulo Equational Theory

Authors: Jochen Burghardt, Birgit Heinz

Comments: 113 pages; 57 figures

Journal-ref: Technical Report "Arbeitspapiere der GMD",ISSN 0723-0508, Vol.1006, June 1996

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

[19]  arXiv:1404.0956 [pdf, ps, other]

Title: Expressiveness via Intensionality and Concurrency

Authors: Thomas Given-Wilson

Comments: 18 pages, to appear in ICTAC 2014

Subjects: Logic in Computer Science (cs.LO)

[20]  arXiv:1404.1215 [pdf, ps, other]

Title: Coalgebraic Weak Bisimulation from Recursive Equations over Monads

Authors: Sergey Goncharov, Dirk Pattinson

Comments: final version

Subjects: Logic in Computer Science (cs.LO)

[21]  arXiv:1404.1225 [pdf, ps, other]

Title: Layer Systems for Proving Confluence

Authors: Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom

Subjects: Logic in Computer Science (cs.LO)

[22]  arXiv:1404.1227 [pdf, other]

Title: Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS

Authors: Jochen Burghardt

Comments: in german; 66 pages; 29 figures

Journal-ref: Technical Report, GMD Arbeitspapier Vol.996, Jun 1996

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

[23]  arXiv:1404.1531 [pdf, ps, other]

Title: On the Remarkable Features of Binding Forms

Authors: Fabio Mogavero, Giuseppe Perelli

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

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

Title: Eine entscheidbare Klasse n-stelliger Horn-Prädikate

Authors: Jochen Burghardt

Comments: in german; 11 pages

Journal-ref: Peter H. Schmitt (ed.), Proc. 3rd Ann. Meeting of the German Computer Science Society (GI) Special Interest Group on Logic in Computer Science (FG 0.1.6), Karlsruhe University Internal Report 23/95, p.38-47, Jun 1995

Subjects: Logic in Computer Science (cs.LO)

[25]  arXiv:1404.3034 [pdf, other]

Title: ACL2(ml): Machine-Learning for ACL2

Authors: Jónathan Heras (School of Computing, University of Dundee, UK), Ekaterina Komendantskaya (School of Computing, University of Dundee, UK)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 61-75

Subjects: Logic in Computer Science (cs.LO)

[26]  arXiv:1404.3633 [pdf, other]

Title: The ZX-calculus is incomplete for quantum mechanics

Authors: Christian Schröder de Witt, Vladimir Zamdzhiev (University of Oxford)

Comments: In Proceedings QPL 2014, arXiv:1412.8102

Journal-ref: EPTCS 172, 2014, pp. 285-292

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

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

Title: $μ$-calculus on data words

Authors: Thomas Colcolmbet, Amaldev Manuel

Subjects: Logic in Computer Science (cs.LO)

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

Title: Quantitative games with interval objectives

Authors: Paul Hunter, Jean-François Raskin

Comments: Full version of CONCUR submission

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

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

Title: Probabilistic Bisimulation: Naturally on Distributions

Authors: Holger Hermanns, Jan Krčál, Jan Křetínský

Subjects: Logic in Computer Science (cs.LO)

[30]  arXiv:1404.5157 [pdf, other]

Title: Trace Inclusion for One-Counter Nets Revisited

Authors: Piotr Hofman, Patrick Totzke

Subjects: Logic in Computer Science (cs.LO)

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

Title: Lax functors and coalgebraic weak bisimulation

Authors: Tomasz Brengos

Comments: 32 pages

Subjects: Logic in Computer Science (cs.LO)

[32]  arXiv:1404.5439 [pdf, ps, other]

Title: A Logical Framework for Systems Biology

Authors: Elisabetta De Maria, Joelle Despeyroux (INRIA and CNRS), Amy Felty (EECS, Ottawa)

Comments: (2014)

Subjects: Logic in Computer Science (cs.LO); Other Quantitative Biology (q-bio.OT)

[33]  arXiv:1404.5453 [pdf, ps, other]

Title: Games with a Weak Adversary

Authors: Krishnendu Chatterjee, Laurent Doyen

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

[34]  arXiv:1404.5665 [pdf, other]

Title: ILP Modulo Data

Authors: Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald

Comments: FMCAD 2014 final version plus proofs

Subjects: Logic in Computer Science (cs.LO)

[35]  arXiv:1404.6037 [pdf, ps, other]

Title: Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

Authors: Ryuta Arisaka (INRIA Saclay - Ile de France)

Subjects: Logic in Computer Science (cs.LO)

[36]  arXiv:1404.6064 [pdf, other]

Title: Ordered Navigation on Multi-attributed Data Words

Authors: Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

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

[37]  arXiv:1404.6186 [pdf, other]

Title: ProofPeer: Collaborative Theorem Proving

Authors: Steven Obua, Jacques Fleuriot, Phil Scott, David Aspinall

Subjects: Logic in Computer Science (cs.LO)

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

Title: Proving Termination of Unfolding Graph Rewriting for General Safe Recursion

Authors: Naohi Eguchi

Comments: Technical report

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

[39]  arXiv:1404.6228 [pdf, other]

Title: Synthesising Succinct Strategies in Safety Games

Authors: Gilles Geeraerts, Joël Goossens, Amélie Stainer

Comments: 25 pags, 4 figures, 2 algorithms. Submitted

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

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

Title: A Unified Ordering for Termination Proving

Authors: Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe

Comments: 38 pages, revised version submitted to SCP

Subjects: Logic in Computer Science (cs.LO)

[41]  arXiv:1404.6277 [pdf, ps, other]

Title: Piecewise Boolean algebras and their domains

Authors: Chris Heunen

Comments: 11 pages

Journal-ref: Proceedings of the 41st International Colloquium on Automata, Languages and Programming, Springer Lecture Notes in Computer Science 8573:208-219, 2014

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

[42]  arXiv:1404.6368 [pdf, ps, other]

Title: Inference in the FO(C) Modelling Language

Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

Comments: The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Subjects: Logic in Computer Science (cs.LO)

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

Title: FO(C) and Related Modelling Paradigms

Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

Comments: This paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Subjects: Logic in Computer Science (cs.LO)

[44]  arXiv:1404.6487 [pdf, other]

Title: Computability of 1-manifolds

Authors: Konrad Burnik (University of Zagreb), Zvonko Iljazovic (University of Zagreb)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 2 (June 12, 2014) lmcs:961

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

[45]  arXiv:1404.6605 [pdf, other]

Title: SPEEDY: An Eclipse-based IDE for invariant inference

Authors: David R. Cok, Scott C. Johnson

Comments: In Proceedings F-IDE 2014, arXiv:1404.5785

Journal-ref: EPTCS 149, 2014, pp. 44-57

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

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

Title: Nagoya Termination Tool

Authors: Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe

Comments: 12 pages, 1 figure, full version of the paper which is to appear in RTA/TLCA 2014

Subjects: Logic in Computer Science (cs.LO)

[47]  arXiv:1404.6682 [pdf, other]

Title: Sampling Techniques for Boolean Satisfiability

Authors: Kuldeep S. Meel

Comments: MS Thesis submitted to Rice University

Subjects: Logic in Computer Science (cs.LO)

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

Title: A Family of Descriptive Approaches To Preferred Answer Sets

Authors: Alexander Šimko

Comments: 10 pages, 1 figure, The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Subjects: Logic in Computer Science (cs.LO)

[49]  arXiv:1404.6965 [pdf, ps, other]

Title: Partially Punctual Metric Temporal Logic is Decidable

Authors: Khushraj Madnani, Shankara Narayanan Krishna, Paritosh Pandya

Subjects: Logic in Computer Science (cs.LO)

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

Title: Dividing Line between Decidable PDA's and Undecidable Ones

Authors: Yuxi Fu, Qiang Yin

Comments: 26 pages, 9 figures

Subjects: Logic in Computer Science (cs.LO)

[51]  arXiv:1404.7067 [pdf, other]

Title: Time Petri Nets with Dynamic Firing Dates: Semantics and Applications

Authors: Silvano Dal Zilio (LAAS), Lukasz Fronc (LAAS), Bernard Berthomieu (LAAS), François Vernadat (LAAS)

Subjects: Logic in Computer Science (cs.LO)

[52]  arXiv:1404.7092 [pdf, other]

Title: Robustness against Power is PSPACE-complete

Authors: Egor Derevenetc, Roland Meyer

Subjects: Logic in Computer Science (cs.LO)

[53]  arXiv:1404.7278 [pdf, other]

Title: Weak MSO+U with Path Quantifiers over Infinite Trees

Authors: Mikołaj Bojańczyk

Comments: version of an ICALP 2014 paper with appendices

Subjects: Logic in Computer Science (cs.LO)

[54]  arXiv:1404.7282 [pdf, other]

Title: Formal Proofs for Nonlinear Optimization

Authors: Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner

Comments: 24 pages, 2 figures, 3 tables

Subjects: Logic in Computer Science (cs.LO); Optimization and Control (math.OC)

[55]  arXiv:1404.7435 [pdf, ps, other]

Title: Open induction in a bounded arithmetic for TC^0

Authors: Emil Jeřábek

Comments: 35 pages

Journal-ref: Archive for Mathematical Logic 54 (2015), no. 3--4, pp. 359--394

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

[56]  arXiv:1404.7695 [pdf, other]

Title: First-Order Formative Rules

Authors: Carsten Fuhs, Cynthia Kop

Comments: Extended version of a paper which is to appear in the proceedings of RTA-TLCA 2014 (Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications)

Subjects: Logic in Computer Science (cs.LO)

[57]  arXiv:1404.7770 [pdf, other]

Title: Games with recurring certainty

Authors: Dietmar Berwanger (Laboratoire Specification et Verification CNRS & ENS Cachan, France), Anup Basil Mathew (Institute of Mathematical Sciences Chennai, India)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 91-96

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

[58]  arXiv:1404.7809 [pdf, ps, other]

Title: Quantum(-like) common knowledge: Binmore-Brandenburger operator approach

Authors: Irina Basieva, Andrei Khrennikov

Comments: presented at the conference Quantum Interaction 2014, Filzbach, Switzerland, June 29- July 3, 2014

Subjects: Logic in Computer Science (cs.LO); Neurons and Cognition (q-bio.NC)

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

Title: Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Authors: Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz-Frias

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 57-72

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

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

Title: Proceedings 2nd International Workshop on Strategic Reasoning

Authors: Fabio Mogavero (Università degli Studi di Napoli Federico II), Aniello Murano (Università degli Studi di Napoli Federico II), Moshe Y. Vardi (Rice University)

Journal-ref: EPTCS 146, 2014

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

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

Title: Expectations or Guarantees? I Want It All! A crossroad between games and MDPs

Authors: Véronique Bruyère (Université de Mons, Belgium), Emmanuel Filiot (Université Libre de Bruxelles, Belgium), Mickael Randour (Université de Mons, Belgium), Jean-François Raskin (Université Libre de Bruxelles, Belgium)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 1-8

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

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

Title: Games for the Strategic Influence of Expectations

Authors: Lluís Godo (IIIA - CSIC), Enrico Marchioni (IRIT - UPS)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 9-15

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

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

Title: Nash Equilibria in Symmetric Games with Partial Observation

Authors: Patricia Bouyer (LSV -- CNRS & ENS Cachan), Nicolas Markey (LSV -- CNRS & ENS Cachan), Steen Vester (DTU, Kgs. Lyngby)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 49-55

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

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

Title: Component Substitution through Dynamic Reconfigurations

Authors: Arnaud Lanoix (LINA CNRS and Nantes University), Olga Kouchnarenko (FEMTO-ST CNRS and University of Franche-Comté)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 32-46

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

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

Title: Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

Authors: Faiz UL Muram, Huy Tran, Uwe Zdun

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 93-107

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

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

Title: Correct-by-construction model composition: Application to the Invasive Software Composition method

Authors: Mounira Kezadri Hamiaz (Université de Toulouse, IRIT, France), Marc Pantel (Université de Toulouse, IRIT, France), Benoît Combemale (Université de Rennes 1, IRISA, France), Xavier Thirioux (Université de Toulouse, IRIT, France)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 108-122

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

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

Title: Experiences in Developing Time-Critical Systems - The Case Study "Production Cell"

Authors: Jochen Burghardt

Comments: 13 pages; 11 figures

Journal-ref: T. Lindner and C. Lewerentz (eds.), Formal development of reactive systems - Case study production cell, Springer LNCS, Vol.891, p.297-311, 1995

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

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

Title: Regular Substitution Sets: A Means of Controlling E-Unification

Authors: Jochen Burghardt

Comments: 61 pages; 35 figures

Journal-ref: Jieh Hsiang (ed.), Rewriting Techniques and Applications, 6th Int. Conf., RTA-95, Springer LNCS 914, p.382-396, 1995

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

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

Title: Thou Shalt is not You Will

Authors: Guido Governatori

Journal-ref: Fifteenth International Conference on Artificial Intelligence and Law (ICAIL 2015), pp. 63-68

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

[70]  arXiv:1404.3131 (cross-list from cs.DB) [pdf, ps, other]

Title: The Possibility Problem for Probabilistic XML (Extended Version)

Authors: Antoine Amarilli

Comments: 20 pages, 1 table, 2 figures. This is the complete version (including proofs) of work initially submitted as an extended abstract (without proofs) at the AMW 2014 workshop and subsequently submitted (with proofs) at the BDA 2014 conference (no formal proceedings). This version integrates the feedback from both rounds of reviews

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

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

Title: Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

Authors: Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Comments: 14 pages. To appear at AAAI-14

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

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

Title: Circuit complexity, proof complexity, and polynomial identity testing

Authors: Joshua A. Grochow, Toniann Pitassi

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

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

Title: Boltzmann samplers for random generation of lambda terms

Authors: Pierre Lescanne (LIP)

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

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

Title: Managing Change in Graph-structured Data Using Description Logics (long version with appendix)

Authors: Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

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

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

Title: A heuristic prover for real inequalities

Authors: Jeremy Avigad, Robert Y. Lewis, Cody Roux

Subjects: Mathematical Software (cs.MS); Logic in Computer Science (cs.LO)

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

Title: On Independence Atoms and Keys

Authors: Miika Hannula, Juha Kontinen, Sebastian Link

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

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

Title: Proceedings 1st Workshop on Formal Integrated Development Environment

Authors: Catherine Dubois (ENSIIE - CEDRIC), Dimitra Giannakopoulou (NASA - Ames), Dominique Méry (Université de Lorraine - LORIA)

Journal-ref: EPTCS 149, 2014

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

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

Title: Gradual Classical Logic for Attributed Objects

Authors: Ryuta Arisaka (INRIA Saclay - Ile de France)

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

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

Title: Belief merging within fragments of propositional logic

Authors: Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran

Comments: To appear in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

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

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

Title: Distributed Graph Automata

Authors: Fabian Reiter

Comments: Master's Thesis, 64 pages

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

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

Title: Teaching Formal Methods and Discrete Mathematics

Authors: Mathieu Jaume (LIP6-UPMC), Théo Laurent (UPMC)

Comments: In Proceedings F-IDE 2014, arXiv:1404.5785

Journal-ref: EPTCS 149, 2014, pp. 30-43

Subjects: Computers and Society (cs.CY); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

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

Title: FoCaLiZe: Inside an F-IDE

Authors: François Pessaux (ENSTA ParisTech)

Comments: In Proceedings F-IDE 2014, arXiv:1404.5785

Journal-ref: EPTCS 149, 2014, pp. 64-78

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

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

Title: OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

Authors: David R. Cok (GrammaTech, Inc.)

Comments: In Proceedings F-IDE 2014, arXiv:1404.5785

Journal-ref: EPTCS 149, 2014, pp. 79-92

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

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

Title: Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB

Authors: John Witulski (Heinrich-Heine Universität Düsseldorf), Michael Leuschel (Heinrich-Heine Universität Düsseldorf)

Comments: In Proceedings F-IDE 2014, arXiv:1404.5785

Journal-ref: EPTCS 149, 2014, pp. 93-105

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

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

Title: Reducing Clocks in Timed Automata while Preserving Bisimulation

Authors: Shibashis Guha, Chinmay Narayan, S. Arun-Kumar

Comments: 28 pages including reference, 8 figures, full version of paper accepted in CONCUR 2014

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

[86]  arXiv:1404.6699 (cross-list from cs.CR) [pdf, ps, other]

Title: An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare

Authors: Paulo Shakarian, Gerardo I. Simari, Geoffrey Moores, Simon Parsons, Marcelo A. Falappa

Comments: arXiv admin note: substantial text overlap with arXiv:1401.1475

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

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

Title: Going higher in the First-order Quantifier Alternation Hierarchy on Words

Authors: Thomas Place, Marc Zeitoun

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

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

Title: Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints

Authors: Jie Fu, Ufuk Topcu

Comments: 9 pages, 5 figures, Accepted by 2014 Robotics: Science and Systems (RSS)

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

[89]  arXiv:1404.7169 (cross-list from cs.SY) [pdf, ps, other]

Title: Revisiting the Complexity of Stability of Continuous and Hybrid Systems

Authors: Sicun Gao, Soonho Kong, Edmund Clarke

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

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

Title: Delta-Complete Analysis for Bounded Reachability of Hybrid Systems

Authors: Sicun Gao, Soonho Kong, Wei Chen, Edmund Clarke

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

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

Title: Generalizing Modular Logic Programs

Authors: João Moura, Carlos Damásio

Comments: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

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

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

Title: An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

Authors: James P. Delgrande, Kewen Wang

Comments: In: Proceedings of 15th International Workshop on Non-Monotonic Reasoning

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

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

Title: On Pocrims and Hoops

Authors: Rob Arthan, Paulo Oliva

Comments: 37 pages

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

[94]  arXiv:1404.3780 (cross-list from math.CT) [pdf, ps, other]

Title: Towards a good notion of categories of logics

Authors: Caio de Andrade Mendes, Hugo Luiz Mariano

Comments: 16 pages

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

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

Title: A quantitative approach to semantic informativity

Authors: Anderson de Araújo

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

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

Title: One-dimensional fragment of first-order logic

Authors: Lauri Hella, Antti Kuusisto

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

[97]  arXiv:1404.4599 (cross-list from math.CO) [src]

Title: Finite Groupoids, Finite Coverings and Symmetries in Finite Structures

Authors: Martin Otto

Comments: The construction of finite n-acyclic groupoids in Section 2.4 is flawed and I know of no direct repair: completion turns out to be incompatible with restriction to proper subsets of the generator set, so that the induction towards Proposition 2.22 does not stabilise as claimed. This problem has been overcome in arxiv:1806.08664. Also compare arxiv:1709.00031 and arXiv:2208.03273

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

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

Title: Residuated Basic Logic II. Interpolation, Decidability and Embedding

Authors: Minghui Ma, Zhe Lin

Comments: 17 pages with 1 figure

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