Logic in Computer Science

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

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