Logic in Computer Science

Authors and titles for January 2013

[26] arXiv:1301.4910 [pdf, other]

Title: Computational Aspects of the Calculus of Structure

Mário S. Alvim

Comments: Thesis presented by Mário S. Alvim as part of the requirements for the degree or Master of Science in Computer Science granted by the Universidade Federal de Minas Gerais. April, 04th, 2008

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[27] arXiv:1301.4938 [pdf, other]

Title: A type theoretical framework for natural language semantics: the Montagovian generative lexicon

Christian Retoré (LaBRI, IRIT)

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)

[28] arXiv:1301.4973 [pdf, other]

Title: Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)

Philipp Rümmer (Uppsala University), Hossein Hojjat (EPFL Lausanne), Viktor Kuncak (EPFL Lausanne)

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1301.5139 [pdf, other]

Title: The Tree Width of Separation Logic with Recursive Definitions

Radu Iosif, Adam Rogalewicz, Jiri Simacek

Comments: 30 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[30] arXiv:1301.5154 [pdf, other]

Title: A Rational and Efficient Algorithm for View Revision in Databases

Radhakrishnan Delhibabu, Gerhard Lakemeyer

Journal-ref: Applied Mathematics & Information Sciences, Volume 7, No. 3 (2013), PP:843-856

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB)

[31] arXiv:1301.5500 [pdf, other]

Title: The Power of Priority Channel Systems

Christoph Haase (CNRS & ENS Cachan), Sylvain Schmitz (ENS Cachan & INRIA), Philippe Schnoebelen (CNRS & ENS Cachan)

Comments: Extended version of an article presented at CONCUR 2013, LNCS 8052, pp. 319--333, Springer, doi:https://doi.org/10.1007/978-3-642-40184-8_23

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (December 3, 2014) lmcs:1049

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1301.6572 [pdf, other]

Title: {\omega}-Petri nets

Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin

Comments: 37 pages, 6 figures, submitted

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1301.6905 [pdf, other]

Title: Towards a Logic-Based Unifying Framework for Computing

Robert Kowalski, Fariba Sadri

Comments: An improved version of this paper will be published in the journal, New Generation Computing, with the title "Reactive Computing as Model Generation". In the meanwhile, a copy of the revised paper can be found on this http URL

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Programming Languages (cs.PL)

[34] arXiv:1301.7321 [pdf, other]

Title: Incremental, Inductive Coverability

Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac

Comments: Non-reviewed version, original version submitted to CAV 2013; this is a revised version, containing more experimental results and some corrections

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1301.7462 [pdf, other]

Title: A Framework for the Verification of Certifying Computations

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah

Comments: A preliminary version appeared under the title "Verification of Certifying Computations" in CAV 2011, LCNS Vol 6806, pages 67 - 82. This paper is currently under review in the Journal of Automated Reasoning

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[36] arXiv:1301.7521 [pdf, other]

Title: Homology Groups of Pipeline Petri Nets

Ahmet A. Husainov, E.S. Bushmeleva, T.A. Trishina

Comments: 13 pages

Subjects: Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)

[37] arXiv:1301.7531 [pdf, other]

Title: A Verified Approach for Checking Real-Time Specification Patterns

Nouha Abid (LAAS), Silvano Dal Zilio (LAAS), Didier Le Botlan (LAAS)

Comments: An extended version of this paper appears as Research Report LAAS No. 11365, June 2011. VECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, France (2012)

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1301.7533 [pdf, other]

Title: An Experiment on Parallel Model Checking of a CTL Fragment

Rodrigo Tacla Saad (LAAS), Silvano Dal Zilio (LAAS), Bernard Berthomieu (LAAS)

Comments: 10th International Symposium, ATVA 2012, Automated Technology for Verification and Analysis, Thiruvananthapuram : India (2012)

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)

[39] arXiv:1301.7700 [pdf, other]

Title: The Complexity of Robot Games on the Integer Line

Arjun Arul, Julien Reichert

Comments: In Proceedings QAPL 2013, arXiv:1306.2413

Journal-ref: EPTCS 117, 2013, pp. 132-148

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[40] arXiv:1301.0044 (cross-list from cs.SE) [pdf, other]

Title: Formal Model-Driven Engineering: Generating Data and Behavioural Components

Chen-Wei Wang (McMaster Centre for Software Certification, McMaster University), Jim Davies (Department of Computer Science, University of Oxford)

Comments: In Proceedings FTSCS 2012, arXiv:1212.6574

Journal-ref: EPTCS 105, 2012, pp. 100-117

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)

[41] arXiv:1301.0302 (cross-list from cs.AI) [pdf, other]

Title: MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report)

Paulo Shakarian, Gerardo I. Simari, Robert Schroeder

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[42] arXiv:1301.0647 (cross-list from math.LO) [pdf, other]

Title: Algebraic Semantics of Similarity-Based Bitten Rough Set Theory

A. Mani

Comments: Almost the same as my published paper in FI

Journal-ref: Mani, A.: Algebraic semantics of similarity-based bitten rough set theory. Fundamenta Informaticae 97 (2009) 177--197

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[43] arXiv:1301.0999 (cross-list from math.CO) [pdf, other]

Title: Transporting continuity properties from a poset to its subposets

Paul Poncet

Comments: 42 pages. For the final publication, see this https URL

Journal-ref: Theoret. Comput. Sci. 912 (2022) 109-132

Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO)

[44] arXiv:1301.1003 (cross-list from cs.DB) [pdf, other]

Title: Charting the Tractability Frontier of Certain Conjunctive Query Answering

Jef Wijsen

Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

[45] arXiv:1301.2678 (cross-list from cs.MA) [pdf, other]

Title: Verification of Agent-Based Artifact Systems

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[46] arXiv:1301.2683 (cross-list from cs.AI) [pdf, other]

Title: BliStr: The Blind Strategymaker

Josef Urban

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[47] arXiv:1301.3297 (cross-list from cs.CC) [pdf, other]

Title: Instruction sequence based non-uniform complexity classes

J. A. Bergstra, C. A. Middelburg

Comments: 33 pages, supersedes arXiv:0809.0352 [cs.CC] in many respects (see end of introduction); remarks added

Journal-ref: Scientific Annals of Computer Science 24(1):47--89, 2014

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[48] arXiv:1301.5089 (cross-list from math.LO) [pdf, other]

Title: An interpretation of the Sigma-2 fragment of classical Analysis in System T

Danko Ilik

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[49] arXiv:1301.5197 (cross-list from cs.FL) [pdf, other]

Title: From Two-Way to One-Way Finite State Transducers

Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais

Comments: 18 pages, published in LICS 2013

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[50] arXiv:1301.5304 (cross-list from math.LO) [pdf, other]

Title: Some proof theoretical remarks on quantification in ordinary language

Michele Abrusci, Christian Retoré (LaBRI, IRIT)

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)