Advertisement

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
  14. Marco Benedetti
    Pages 285-300
  15. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
    Pages 301-331
  16. Christoph Walther, Stephan Schweitzer
    Pages 332-346
  17. Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska
    Pages 347-362
  18. Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò
    Pages 363-379
  19. Elvira Albert, Germán Puebla, Manuel Hermenegildo
    Pages 380-397
  20. Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
    Pages 415-431
  21. Markus Müller-Olm, Helmut Seidl
    Pages 432-432
  22. Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón
    Pages 433-448
  23. Mark Bickford, Robert C. Constable, Joseph Y. Halpern, Sabina Petride
    Pages 449-465
  24. Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park
    Pages 466-480
  25. Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
    Pages 481-495
  26. Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
    Pages 496-510
  27. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
    Pages 511-527
  28. Jamshid Bagherzadeh, S. Arun-Kumar
    Pages 544-559
  29. Back Matter

Other volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning
    11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
  2. 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering