Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Artificial Intelligence

Frontiers of Combining Systems

6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings

Editors: Konev, Boris, Wolter, Frank (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-74621-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-74620-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (18 chapters)

Table of contents (18 chapters)
  • Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL

    Pages 1-27

    Krstić, Sava (et al.)

  • From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain

    Pages 28-46

    Sebastiani, Roberto

  • Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions

    Pages 47-71

    Sofronie-Stokkermans, Viorica

  • Temporalising Logics: Fifteen Years After

    Pages 72-72

    Zakharyaschev, Michael

  • Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs

    Pages 73-87

    Alarcón, Beatriz (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-74621-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-74620-1
  • 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
6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
Editors
  • Boris Konev
  • Frank Wolter
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
4720
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-74621-8
DOI
10.1007/978-3-540-74621-8
Softcover ISBN
978-3-540-74620-1
Edition Number
1
Number of Pages
X, 286
Topics