Advertisement

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

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
  15. Vladimir Aleksić, Anatoli Degtyarev
    Pages 292-306
  16. Chao Wang, Franjo Ivančić, Malay Ganai, Aarti Gupta
    Pages 322-336
  17. Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos
    Pages 337-351
  18. Elaine Pimentel, Dale Miller
    Pages 352-366
  19. Matthias Daum, Stefan Maus, Norbert Schirmer, M. Nassim Seghir
    Pages 381-395
  20. Deian Tabakov, Moshe Y. Vardi
    Pages 396-411
  21. Christoph Walther, Stephan Schweitzer
    Pages 427-442
  22. Calvin Kai Fan Tang, Eugenia Ternovska
    Pages 443-458
  23. Harvey Tuch, Gerwin Klein
    Pages 474-488
  24. Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi
    Pages 489-503
  25. Laura Bozzelli, Aniello Murano, Adriano Peron
    Pages 504-518
  26. Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang
    Pages 519-533
  27. Annabelle K. McIver, Tjark Weber
    Pages 534-548
  28. David Basin, Sebastian Mödersheim, Luca Viganò
    Pages 549-564
  29. Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe
    Pages 565-579
  30. Haiou Shen, Hantao Zhang
    Pages 595-605
  31. Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
    Pages 606-620
  32. Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert van der Torre
    Pages 621-636
  33. Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
    Pages 637-650
  34. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
    Pages 651-665
  35. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Pages 666-681
  36. Dominique Larchey-Wendling
    Pages 682-696
  37. Matthias Baaz, Rosalie Iemhoff
    Pages 697-711
  38. Henning Christiansen, Davide Martinenghi
    Pages 712-727

Other volumes

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

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

  • DOI https://doi.org/10.1007/11591191
  • 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
  • Buy this book on publisher's site