Logic in Computer Science

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

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