Logic for Programming, Artificial Intelligence, and Reasoning

11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

  • Franz Baader
  • Andrei Voronkov

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 3452)

Table of contents

  1. Front Matter
  2. Matthias Baaz, Alexander Leitsch
    Pages 1-20
  3. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Pages 21-35
  4. Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    Pages 36-50
  5. Pascal Fontaine, Silvio Ranise, Calogero G. Zarba
    Pages 51-66
  6. Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa
    Pages 67-78
  7. Nathan Whitehead, Martín Abadi
    Pages 110-124
  8. Carlos Areces, Daniel Gorín
    Pages 125-141
  9. Jerzy Marcinkowski, Jan Otop, Grzegorz Stelmaszek
    Pages 142-153
  10. Thomas Linke, Vladimir Sarsakov
    Pages 154-168
  11. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    Pages 169-183
  12. Benjamin Aminof, Thomas Ball, Orna Kupferman
    Pages 194-208
  13. Lucas Bordeaux, Marco Cadoli, Toni Mancini
    Pages 270-284

About these proceedings

Keywords

Automat artificial intelligence automated reasoning description logics formal verification fuzzy intelligence logic programming proof theory proving theorem proving verification

Editors and affiliations

  • Franz Baader
    • 1
  • Andrei Voronkov
    • 2
  1. 1.Theoretical Computer ScienceTU DresdenGermany
  2. 2.University of ManchesterUK

Bibliographic information

  • DOI https://doi.org/10.1007/b106931
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25236-8
  • Online ISBN 978-3-540-32275-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace