Logic in Computer Science

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

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