© 2009

Frontiers of Combining Systems

7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

  • Silvio Ghilardi
  • Roberto Sebastiani
Conference proceedings FroCoS 2009

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
      Pages 18-42
    2. Ashish Tiwari
      Pages 68-83
  3. Technical Papers

    1. Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach
      Pages 84-99
    2. Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
      Pages 100-116
    3. Takahito Aoto, Toshiyuki Yamada
      Pages 117-132
    4. Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
      Pages 133-148
    5. Franz Baader, Andreas Bauer, Marcel Lippmann
      Pages 149-164
    6. Guillaume Burel
      Pages 181-197
    7. Clare Dixon, Michael Fisher, Boris Konev
      Pages 198-213
    8. Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke et al.
      Pages 214-229
    9. Conrad Drescher, Stephan Schiffel, Michael Thielscher
      Pages 230-245
    10. Francisco Durán, Salvador Lucas, José Meseguer
      Pages 246-262
    11. Stéphane Lescuyer, Sylvain Conchon
      Pages 287-303
    12. Christopher Lynch, Ralph Eric McGregor
      Pages 304-318

About these proceedings


This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009.

The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.


LA agent programming language complexity data mining description logic equational reasoning knowledge base knowledge bases learning linear arithmetic modal logic model checking programming proving verification

Editors and affiliations

  • Silvio Ghilardi
    • 1
  • Roberto Sebastiani
    • 2
  1. 1.Department of Computer ScienceUniversità degli Studi di MilanoMilanoItaly
  2. 2.Dipartemento di Ingegneria e Scienza dell’InformazioneUniversità di Trento, Facoltà di ScienzePovoItaly

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences