Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.LO

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Logic in Computer Science

Authors and titles for June 2015

Total of 72 entries : 1-25 26-50 51-72
Showing up to 25 entries per page: fewer | more | all
[51] arXiv:1506.03556 (cross-list from cs.SE) [pdf, other]
Title: Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems
Eike Möhlmann (Carl von Ossietzky University of Oldenburg), Oliver Theel (Carl von Ossietzky University of Oldenburg)
Comments: In Proceedings ESSS 2015, arXiv:1506.03250
Journal-ref: EPTCS 184, 2015, pp. 49-63
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[52] arXiv:1506.03557 (cross-list from cs.SE) [pdf, other]
Title: Formal Verification of Real-Time Function Blocks Using PVS
Linna Pang (McMaster University), Chen-Wei Wang (McMaster University), Mark Lawford (McMaster University), Alan Wassyng (McMaster University), Josh Newell (Systemware Innovation Corporation), Vera Chow (Systemware Innovation Corporation), David Tremaine (Systemware Innovation Corporation)
Comments: In Proceedings ESSS 2015, arXiv:1506.03250
Journal-ref: EPTCS 184, 2015, pp. 65-79
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[53] arXiv:1506.03558 (cross-list from cs.SE) [pdf, other]
Title: Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
Chen-Wei Wang (York University), Jonathan S. Ostroff (York University), Simon Hudon (York University)
Comments: In Proceedings ESSS 2015, arXiv:1506.03250
Journal-ref: EPTCS 184, 2015, pp. 81-95
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[54] arXiv:1506.04161 (cross-list from cs.PL) [pdf, other]
Title: A simple abstraction of arrays and maps by program translation
David Monniaux (VERIMAG - IMAG), Francesco Alberti
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[55] arXiv:1506.04863 (cross-list from math.LO) [pdf, other]
Title: Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
Grant Olney Passmore
Comments: To appear in CADE-25: 25th International Conference on Automated Deduction, 2015. Proceedings to be published by Springer-Verlag
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[56] arXiv:1506.04929 (cross-list from cs.AI) [pdf, other]
Title: ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
Przemysław Andrzej Wałęga, Mehul Bhatt, Carl Schultz
Comments: pages 13. accepted for publication at: LPNMR 2015 - Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, LNAI Vol. 9345., Lexington, September 27-30, 2015. Proceedings., (editors: Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[57] arXiv:1506.04945 (cross-list from cs.AI) [pdf, other]
Title: Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning
Carl Schultz, Mehul Bhatt
Comments: 22 pages. Accepted for publication at: COSIT 2015 - Conference on Spatial Information Theory XII (COSIT), Santa Fe, New Mexico, USA ,October 2015
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[58] arXiv:1506.05025 (cross-list from quant-ph) [pdf, other]
Title: A Bestiary of Sets and Relations
Stefano Gogioso (Quantum Group, University of Oxford)
Comments: In Proceedings QPL 2015, arXiv:1511.01181
Journal-ref: EPTCS 195, 2015, pp. 208-227
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Algebra (math.QA)
[59] arXiv:1506.05028 (cross-list from math.CT) [pdf, other]
Title: Categories of relations as models of quantum theory
Chris Heunen (University of Oxford), Sean Tull (University of Oxford)
Comments: In Proceedings QPL 2015, arXiv:1511.01181
Journal-ref: EPTCS 195, 2015, pp. 247-261
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[60] arXiv:1506.05127 (cross-list from math.LO) [pdf, other]
Title: Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
Eike Neumann (Technische Universität Darmstadt)
Comments: 44 pages
Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 29, 2015) lmcs:1621
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[61] arXiv:1506.05282 (cross-list from cs.AI) [pdf, other]
Title: Why Bother With Syntax?
Joseph Y. Halpern
Comments: To appear in "Rohit Parikh on Logic, Language and Society" (C. Baskent, L. Moss, and R. Ramanjum, editors)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[62] arXiv:1506.05312 (cross-list from cs.SE) [pdf, other]
Title: Knowledge representation and processing methods in Semantic Web
Jarosław Waliszko
Comments: Master's thesis at AGH UST, Krakow 2010
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[63] arXiv:1506.05561 (cross-list from cs.CL) [pdf, other]
Title: Comparing and evaluating extended Lambek calculi
Richard Moot (LaBRI)
Comments: Empirical advances in categorial grammars, Aug 2015, Barcelona, Spain. 2015
Subjects: Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[64] arXiv:1506.05887 (cross-list from cs.CE) [pdf, other]
Title: A Genetically Modified Hoare Logic
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier Roux
Subjects: Computational Engineering, Finance, and Science (cs.CE); Logic in Computer Science (cs.LO)
[65] arXiv:1506.06394 (cross-list from cs.DM) [pdf, other]
Title: Towards an Algebra for Cascade Effects
Elie M. Adam, Munther A. Dahleh, Asuman Ozdaglar
Comments: 31 pages
Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (July 6, 2017) lmcs:3770
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Social and Information Networks (cs.SI); Combinatorics (math.CO)
[66] arXiv:1506.06534 (cross-list from cs.CL) [pdf, other]
Title: Distributional Sentence Entailment Using Density Matrices
Esma Balkir, Mehrnoosh Sadrzadeh, Bob Coecke
Comments: 11 pages
Subjects: Computation and Language (cs.CL); Information Theory (cs.IT); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[67] arXiv:1506.06537 (cross-list from cs.FL) [pdf, other]
Title: Synchronization of Bernoulli sequences on shared letters
Samy Abbes
Comments: 36 pages, 23 references, 8 figures
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[68] arXiv:1506.07031 (cross-list from cs.FL) [pdf, other]
Title: Weighted Automata and Logics for Infinite Nested Words
Manfred Droste, Stefan Dück
Comments: LATA 2014, 12 pages
Journal-ref: Proc. of Language and Automata Theory and Applications (LATA 2014), LNCS 8370, pp. 323-334. Springer (2014)
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[69] arXiv:1506.07774 (cross-list from cs.FL) [pdf, other]
Title: Tightening the Complexity of Equivalence Problems for Commutative Grammars
Christoph Haase, Piotr Hofman
Comments: 21 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[70] arXiv:1506.07990 (cross-list from cs.AI) [pdf, other]
Title: Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Journal-ref: Synthese 194(7): 2447-2487 (2017)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[71] arXiv:1506.08030 (cross-list from cs.AI) [pdf, other]
Title: Dynamic Bayesian Ontology Languages
İsmail İlkan Ceylan, Rafael Peñaloza
Comments: Fifth International Workshop on Statistical Relational AI (StarAI'2015)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[72] arXiv:1506.08982 (cross-list from quant-ph) [pdf, other]
Title: Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
Lvzhou Li, Yuan Feng
Comments: This paper has been accepted for publication in Information and Computation
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
Total of 72 entries : 1-25 26-50 51-72
Showing up to 25 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack