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 75

[ total of 98 entries: 1-25 | 26-50 | 51-75 | 76-98 ]
[ showing 25 entries per page: fewer | more | all ]
[76]  arXiv:1404.4468 (cross-list from cs.DB) [pdf, ps, other]
Title: On Independence Atoms and Keys
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[77]  arXiv:1404.5785 (cross-list from cs.SE) [html]
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
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
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
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
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
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
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
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
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
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
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
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
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[97]  arXiv:1404.4599 (cross-list from math.CO) [pdf, ps, other]
Title: Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
Authors: Martin Otto
Comments: This paper extends and supersedes earlier expositions in LICS 2013 and arXiv:1211.5656. Version (v2) of this paper fixes a false claim in Lemma 2.9 of the original version. Version (v4) eliminates confusion around "covering of A" vs "realisation of H(A)" (Definition 3.14 and adaptation of Lemma 3.16) and corrects a mistake in the "excursion" on Herwig's thm in section 4.4
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)
[ 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, 2212, contact, help  (Access key information)