Advertisement

© 2013

Frontiers of Combining Systems

9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

  • Pascal Fontaine
  • Christophe Ringeissen
  • Renate A. Schmidt

Benefits

  • Fast-track conference proceedings of Fro.

Conference proceedings FroCoS 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8152)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 8152)

Table of contents

  1. Modal Logic and Description Logic

    1. Fabio Papacchini, Renate A. Schmidt
      Pages 279-294
    2. Franz Baader, Oliver Fernández Gil, Barbara Morawska
      Pages 295-310
  2. Rewriting

    1. Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran
      Pages 327-342
    2. Cynthia Kop, Naoki Nishida
      Pages 343-358
  3. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013.
The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination,modularization and integration of systems, with emphasis on logic-based ones, and of their practical use.  Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.

Keywords

complexity decidability linear temporal logic model checking term rewriting

Editors and affiliations

  • Pascal Fontaine
    • 1
  • Christophe Ringeissen
    • 2
  • Renate A. Schmidt
    • 3
  1. 1.LORIA, Inria Nancy Grand EstUniversité de LorraineVillers-les-NancyFrance
  2. 2.LORIA, Inria Nancy Grand EstVillers-lès-NancyFrance
  3. 3.School of Computer ScienceThe University of ManchesterManchesterUK

Bibliographic information