We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

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

[ total of 98 entries: 1-25 | 26-50 | 51-75 | 76-98 ]
[ showing 25 entries per page: fewer | more | all ]
[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
Subjects: Logic in Computer Science (cs.LO)
[53]  arXiv:1404.7278 [pdf, other]
Title: Weak MSO+U with Path Quantifiers over Infinite Trees
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
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
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
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
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) [html]
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
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
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
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
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)
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
Subjects: Mathematical Software (cs.MS); Logic in Computer Science (cs.LO)
[ total of 98 entries: 1-25 | 26-50 | 51-75 | 76-98 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2211, contact, help  (Access key information)