Skip to main content
SpringerLink
Log in

Frontiers of Combining Systems

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Silvio Ghilardi

    1. Department of Computer Science, Università degli Studi di Milano, Milano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roberto Sebastiani

    1. Dipartemento di Ingegneria e Scienza dell’Informazione, Università di Trento, Facoltà di Scienze, Povo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: FroCoS 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Building SMT-Based Software Model Checkers: An Experience Report

      • Alessandro Armando
      Pages 1-17

    2. Combining Nonmonotonic Knowledge Bases with External Sources

      • Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
      Pages 18-42

    3. Combining Description Logics, Description Graphs, and Rules

      • Boris Motik
      Pages 43-67

    4. Combining Equational Reasoning

      • Ashish Tiwari
      Pages 68-83

  3. Technical Papers

    1. Superposition Modulo Linear Arithmetic SUP(LA)

      • Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach
      Pages 84-99

    2. Unification Modulo Homomorphic Encryption

      • Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
      Pages 100-116

    3. Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

      • Takahito Aoto, Toshiyuki Yamada
      Pages 117-132

    4. DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

      • Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
      Pages 133-148

    5. Runtime Verification Using a Temporal Description Logic

      • Franz Baader, Andreas Bauer, Marcel Lippmann
      Pages 149-164

    6. Axiomatization and Completeness of Lexicographic Products of Modal Logics

      • Philippe Balbiani
      Pages 165-180

    7. Automating Theories in Intuitionistic Logic

      • Guillaume Burel
      Pages 181-197

    8. Taming the Complexity of Temporal Epistemic Reasoning

      • Clare Dixon, Michael Fisher, Boris Konev
      Pages 198-213

    9. Putting ABox Updates into Action

      • Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke et al.
      Pages 214-229

    10. A Declarative Agent Programming Language Based on Action Theories

      • Conrad Drescher, Stephan Schiffel, Michael Thielscher
      Pages 230-245

    11. Termination Modulo Combinations of Equational Theories

      • Francisco Durán, Salvador Lucas, José Meseguer
      Pages 246-262

    12. Combinations of Theories for Decidable Fragments of First-Order Logic

      • Pascal Fontaine
      Pages 263-278

    13. Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property

      • Agi Kurucz
      Pages 279-286

    14. Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme

      • Stéphane Lescuyer, Sylvain Conchon
      Pages 287-303

    15. Combining Instance Generation and Resolution

      • Christopher Lynch, Ralph Eric McGregor
      Pages 304-318
Back to top

Other volumes

  1. Frontiers of Combining Systems

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, Università degli Studi di Milano, Milano, Italy

    Silvio Ghilardi

  • Dipartemento di Ingegneria e Scienza dell’Informazione, Università di Trento, Facoltà di Scienze, Povo, Italy

    Roberto Sebastiani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation