Logic in Computer Science

Authors and titles for cs.LO in Apr 2014, skipping first 40

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