Lecture Notes in Artificial Intelligence

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Editors: Beckert, Bernhard (Ed.)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-31822-4
  • 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-540-28931-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (29 chapters)

  • Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach

    Calvanese, Diego

    Pages 1-1

  • Description Logics in Ontology Applications

    Horrocks, Ian

    Pages 2-13

  • Automated Reasoning in the Context of the Semantic Web

    Ohlbach, Hans Jürgen

    Pages 14-14

  • Formal Versus Rigorous Mathematics: How to Get Your Papers Published

    Rosenthal, Erik

    Pages 15-32

  • Consistency of Variable Splitting in Free Variable Systems of First-Order Logic

    Antonsen, Roger (et al.)

    Pages 33-47

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-31822-4
  • 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-540-28931-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Reasoning with Analytic Tableaux and Related Methods
Book Subtitle
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Editors
  • Bernhard Beckert
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
3702
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31822-4
DOI
10.1007/11554554
Softcover ISBN
978-3-540-28931-9
Edition Number
1
Number of Pages
XIV, 346
Topics