Logic for Programming, Artificial Intelligence, and Reasoning

12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

  • Geoff Sutcliffe
  • Andrei Voronkov
Conference proceedings LPAR 2005

DOI: 10.1007/11591191

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

Table of contents

  1. Front Matter
  2. Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
    Pages 2-22
  3. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
    Pages 48-63
  4. Matthias M. Hölzl, John N. Crossley
    Pages 64-78
  5. Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
    Pages 95-109
  6. Nachum Dershowitz
    Pages 125-138
  7. Angelo Montanari, Alberto Policriti, Nicola Vitacolonna
    Pages 139-153
  8. Daniel Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec
    Pages 169-183
  9. Salvador Lucas, José Meseguer
    Pages 184-198
  10. Jeroen Ketema, Jakob Grue Simonsen
    Pages 199-214
  11. Temur Kutsia, Mircea Marin
    Pages 215-229
  12. Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio
    Pages 230-245
  13. Marc Bezem, Thierry Coquand
    Pages 246-260
  14. Florina Piroi, Temur Kutsia
    Pages 261-275

About these proceedings

Keywords

Resolution abstraction ai logics artificial intelligence automata automated deduction automated reasoning automated theorem proving description logics distributed systems formal verification logic programming model checking semantics verification

Editors and affiliations

  • Geoff Sutcliffe
    • 1
  • Andrei Voronkov
    • 2
  1. 1.University of MiamiUSA
  2. 2.University of ManchesterUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-30553-8
  • Online ISBN 978-3-540-31650-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349