Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Programming and Software Engineering

Logic Programming

22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Editors: Etalle, Sandro, Truszczynski, Miroslav (Eds.)

Buy this book

eBook $99.00
price for USA
  • ISBN 978-3-540-36636-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-36635-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (54 chapters)

  • Why Use Datalog to Analyze Programs?

    Lam, Monica S.

    Pages 1-1

  • Semantic Web: The Story of the RIFt so Far

    Welty, Christopher A.

    Pages 2-2

  • Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks

    Pientka, Brigitte

    Pages 3-10

  • Tableau Calculi for Answer Set Programming

    Gebser, Martin (et al.)

    Pages 11-25

  • Declarative Semantics of Production Rules for Integrity Maintenance

    Caroprese, Luciano (et al.)

    Pages 26-40

Buy this book

eBook $99.00
price for USA
  • ISBN 978-3-540-36636-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-36635-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic Programming
Book Subtitle
22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Editors
  • Sandro Etalle
  • Miroslav Truszczynski
Series Title
Programming and Software Engineering
Series Volume
4079
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36636-2
DOI
10.1007/11799573
Softcover ISBN
978-3-540-36635-5
Edition Number
1
Number of Pages
XIV, 474
Topics