Lecture Notes in Artificial Intelligence

Frontiers of Combining Systems

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

Editors: Ghilardi, Silvio, Sebastiani, Roberto (Eds.)

Buy this book

eBook $79.99
price for USA (gross)
valid through November 5, 2017
  • ISBN 978-3-642-04222-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-04221-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (23 chapters)

  • Building SMT-Based Software Model Checkers: An Experience Report

    Armando, Alessandro

    Pages 1-17

  • Combining Nonmonotonic Knowledge Bases with External Sources

    Eiter, Thomas (et al.)

    Pages 18-42

  • Combining Description Logics, Description Graphs, and Rules

    Motik, Boris

    Pages 43-67

  • Combining Equational Reasoning

    Tiwari, Ashish

    Pages 68-83

  • Superposition Modulo Linear Arithmetic SUP(LA)

    Althaus, Ernst (et al.)

    Pages 84-99

Buy this book

eBook $79.99
price for USA (gross)
valid through November 5, 2017
  • ISBN 978-3-642-04222-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-04221-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Frontiers of Combining Systems
Book Subtitle
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Editors
  • Silvio Ghilardi
  • Roberto Sebastiani
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
5749
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-04222-5
DOI
10.1007/978-3-642-04222-5
Softcover ISBN
978-3-642-04221-8
Edition Number
1
Number of Pages
X, 383
Topics