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

Logic in Computer Science

Authors and titles for cs.LO in Apr 2014

[ total of 98 entries: 1-98 ]
[ showing 98 entries per page: fewer | more ]
[1]  arXiv:1404.0079 [pdf, other]
Title: Non-deterministic computation and the Jayne-Rogers Theorem
Comments: In Proceedings DCM 2012, arXiv:1403.7579
Journal-ref: EPTCS 143, 2014, pp. 87-96
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[2]  arXiv:1404.0080 [pdf, other]
Title: Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
Authors: Sam Sanders
Comments: In Proceedings DCM 2012, arXiv:1403.7579
Journal-ref: EPTCS 143, 2014, pp. 97-109
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[3]  arXiv:1404.0081 [pdf, ps, other]
Title: The probability of non-confluent systems
Comments: In Proceedings DCM 2013, arXiv:1403.7685
Journal-ref: EPTCS 144, 2014, pp. 1-15
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1404.0082 [pdf, other]
Title: Proof-graphs for Minimal Implicational Logic
Authors: Marcela Quispe-Cruz (PUC-Rio), Edward Hermann Haeusler (PUC-Rio), Lew Gordeev (Tubingen University, Ghent University, PUC-Rio)
Comments: In Proceedings DCM 2013, arXiv:1403.7685
Journal-ref: EPTCS 144, 2014, pp. 16-29
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:1404.0087 [pdf, ps, other]
Title: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable
Authors: Karin Quaas (University of Leipzig)
Comments: In Proceedings SynCoP 2014, arXiv:1403.7841
Journal-ref: EPTCS 145, 2014, pp. 5-17
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:1404.0144 [pdf, ps, other]
Title: Modal Independence Logic
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:1404.0297 [pdf, ps, other]
Title: Hyperprojective Hierarchy of QCB_0-spaces
Comments: Conference version to appear in LNCS
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[8]  arXiv:1404.0570 [pdf, ps, other]
Title: On Affine Logic and Łukasiewicz Logic
Comments: 28 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[9]  arXiv:1404.0606 [pdf, ps, other]
Title: Monadic Datalog Containment on Trees
Comments: This article is the full version of an article published in the proccedings of the 8th Alberto Mendelzon Workshop (AMW 2014)
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Databases (cs.DB)
[10]  arXiv:1404.0665 [pdf, ps, other]
Title: Security Analyses of Quantum Communication Protocols
Authors: Yong Wang
Comments: 152 pages, 23 figures, 62 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:1501.05260
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:1404.0837 [pdf, other]
Title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
Authors: Francesco Belardinelli (Université d'Evry)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 27-33
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[12]  arXiv:1404.0838 [pdf, other]
Title: An Epistemic Strategy Logic (Extended Abstract)
Authors: Xiaowei Huang (University of New South Wales, Australia), Ron van der Meyden (University of New South Wales, Australia)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 35-41
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:1404.0840 [pdf, ps, other]
Title: Refining and Delegating Strategic Ability in ATL
Authors: Dimitar P. Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 57-63
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
[14]  arXiv:1404.0841 [pdf, other]
Title: A Resolution Prover for Coalition Logic
Authors: Cláudia Nalon (Department of Computer Science, University of Brasília, Brazil), Lan Zhang (Information School Capital University of Economics and Business, China), Clare Dixon (Department of Computer Science, University of Liverpool, UK), Ullrich Hustadt (Department of Computer Science, University of Liverpool, UK)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 65-73
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[15]  arXiv:1404.0843 [pdf, ps, other]
Title: First Cycle Games
Authors: Benjamin Aminof (IST Austria), Sasha Rubin (IST Austria and TU Wien)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 83-90
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[16]  arXiv:1404.0844 [pdf, ps, other]
Title: Automata Techniques for Epistemic Protocol Synthesis
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 97-103
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:1404.0854 [pdf, other]
Title: Enabling Automatic Certification of Online Auctions
Comments: In Proceedings FESCA 2014, arXiv:1404.0436
Journal-ref: EPTCS 147, 2014, pp. 123-132
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[18]  arXiv:1404.0953 [pdf, ps, other]
Title: Implementing Anti-Unification Modulo Equational Theory
Comments: 113 pages; 57 figures
Journal-ref: Technical Report "Arbeitspapiere der GMD",ISSN 0723-0508, Vol.1006, June 1996
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[19]  arXiv:1404.0956 [pdf, ps, other]
Title: Expressiveness via Intensionality and Concurrency
Comments: 18 pages, to appear in ICTAC 2014
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:1404.1215 [pdf, ps, other]
Title: Coalgebraic Weak Bisimulation from Recursive Equations over Monads
Comments: final version
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:1404.1225 [pdf, ps, other]
Title: Layer Systems for Proving Confluence
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:1404.1227 [pdf, other]
Title: Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS
Authors: Jochen Burghardt
Comments: in german; 66 pages; 29 figures
Journal-ref: Technical Report, GMD Arbeitspapier Vol.996, Jun 1996
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[23]  arXiv:1404.1531 [pdf, ps, other]
Title: On the Remarkable Features of Binding Forms
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[24]  arXiv:1404.1947 [pdf, ps, other]
Title: Eine entscheidbare Klasse n-stelliger Horn-Prädikate
Authors: Jochen Burghardt
Comments: in german; 11 pages
Journal-ref: Peter H. Schmitt (ed.), Proc. 3rd Ann. Meeting of the German Computer Science Society (GI) Special Interest Group on Logic in Computer Science (FG 0.1.6), Karlsruhe University Internal Report 23/95, p.38-47, Jun 1995
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:1404.3034 [pdf, other]
Title: ACL2(ml): Machine-Learning for ACL2
Authors: Jónathan Heras (School of Computing, University of Dundee, UK), Ekaterina Komendantskaya (School of Computing, University of Dundee, UK)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 61-75
Subjects: Logic in Computer Science (cs.LO)
[26]  arXiv:1404.3633 [pdf, other]
Title: The ZX-calculus is incomplete for quantum mechanics
Authors: Christian Schröder de Witt, Vladimir Zamdzhiev (University of Oxford)
Comments: In Proceedings QPL 2014, arXiv:1412.8102
Journal-ref: EPTCS 172, 2014, pp. 285-292
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)
[27]  arXiv:1404.4827 [pdf, ps, other]
Title: $μ$-calculus on data words
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:1404.4856 [pdf, ps, other]
Title: Quantitative games with interval objectives
Comments: Full version of CONCUR submission
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[29]  arXiv:1404.5084 [pdf, ps, other]
Title: Probabilistic Bisimulation: Naturally on Distributions
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:1404.5157 [pdf, other]
Title: Trace Inclusion for One-Counter Nets Revisited
Subjects: Logic in Computer Science (cs.LO)
[31]  arXiv:1404.5267 [pdf, ps, other]
Title: Lax functors and coalgebraic weak bisimulation
Authors: Tomasz Brengos
Comments: 32 pages
Subjects: Logic in Computer Science (cs.LO)
[32]  arXiv:1404.5439 [pdf, ps, other]
Title: A Logical Framework for Systems Biology
Authors: Elisabetta De Maria, Joelle Despeyroux (INRIA and CNRS), Amy Felty (EECS, Ottawa)
Comments: (2014)
Subjects: Logic in Computer Science (cs.LO); Other Quantitative Biology (q-bio.OT)
[33]  arXiv:1404.5453 [pdf, ps, other]
Title: Games with a Weak Adversary
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[34]  arXiv:1404.5665 [pdf, other]
Title: ILP Modulo Data
Comments: FMCAD 2014 final version plus proofs
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:1404.6037 [pdf, ps, other]
Title: Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
Authors: Ryuta Arisaka (INRIA Saclay - Ile de France)
Subjects: Logic in Computer Science (cs.LO)
[36]  arXiv:1404.6064 [pdf, other]
Title: Ordered Navigation on Multi-attributed Data Words
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[37]  arXiv:1404.6186 [pdf, other]
Title: ProofPeer: Collaborative Theorem Proving
Subjects: Logic in Computer Science (cs.LO)
[38]  arXiv:1404.6196 [pdf, ps, other]
Title: Proving Termination of Unfolding Graph Rewriting for General Safe Recursion
Authors: Naohi Eguchi
Comments: Technical report
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[39]  arXiv:1404.6228 [pdf, other]
Title: Synthesising Succinct Strategies in Safety Games
Comments: 25 pags, 4 figures, 2 algorithms. Submitted
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[40]  arXiv:1404.6245 [pdf, ps, other]
Title: A Unified Ordering for Termination Proving
Comments: 38 pages, revised version submitted to SCP
Subjects: Logic in Computer Science (cs.LO)
[41]  arXiv:1404.6277 [pdf, ps, other]
Title: Piecewise Boolean algebras and their domains
Authors: Chris Heunen
Comments: 11 pages
Journal-ref: Proceedings of the 41st International Colloquium on Automata, Languages and Programming, Springer Lecture Notes in Computer Science 8573:208-219, 2014
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[42]  arXiv:1404.6368 [pdf, ps, other]
Title: Inference in the FO(C) Modelling Language
Comments: The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Logic in Computer Science (cs.LO)
[43]  arXiv:1404.6394 [pdf, ps, other]
Title: FO(C) and Related Modelling Paradigms
Comments: This paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Logic in Computer Science (cs.LO)
[44]  arXiv:1404.6487 [pdf, other]
Title: Computability of 1-manifolds
Authors: Konrad Burnik (University of Zagreb), Zvonko Iljazovic (University of Zagreb)
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 2 (June 12, 2014) lmcs:961
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[45]  arXiv:1404.6605 [pdf, other]
Title: SPEEDY: An Eclipse-based IDE for invariant inference
Comments: In Proceedings F-IDE 2014, arXiv:1404.5785
Journal-ref: EPTCS 149, 2014, pp. 44-57
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[46]  arXiv:1404.6626 [pdf, ps, other]
Title: Nagoya Termination Tool
Comments: 12 pages, 1 figure, full version of the paper which is to appear in RTA/TLCA 2014
Subjects: Logic in Computer Science (cs.LO)
[47]  arXiv:1404.6682 [pdf, other]
Title: Sampling Techniques for Boolean Satisfiability
Authors: Kuldeep S. Meel
Comments: MS Thesis submitted to Rice University
Subjects: Logic in Computer Science (cs.LO)
[48]  arXiv:1404.6781 [pdf, ps, other]
Title: A Family of Descriptive Approaches To Preferred Answer Sets
Authors: Alexander Šimko
Comments: 10 pages, 1 figure, The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Logic in Computer Science (cs.LO)
[49]  arXiv:1404.6965 [pdf, ps, other]
Title: Partially Punctual Metric Temporal Logic is Decidable
Subjects: Logic in Computer Science (cs.LO)
[50]  arXiv:1404.7015 [pdf, ps, other]
Title: Dividing Line between Decidable PDA's and Undecidable Ones
Authors: Yuxi Fu, Qiang Yin
Comments: 26 pages, 9 figures
Subjects: Logic in Computer Science (cs.LO)
[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)
[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-98 ]
[ showing 98 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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