Advertisement

Table of contents

  1. Front Matter
  2. M. V. Hermenegildo, R. I. Nasr
    Pages 40-54
  3. Yow-Jian Lin, Vipin Kumar, Clement Leung
    Pages 55-68
  4. Luís Moniz Pereira, Luís Monteiro, José Cunha, Joaquim N. Aparício
    Pages 69-83
  5. Hisao Tamaki, Taisuke Sato
    Pages 84-98
  6. Petr Štěpánek, Olga Štěpánková
    Pages 99-106
  7. Heikki Mannila, Esko Ukkonen
    Pages 122-133
  8. Peter Kursawe
    Pages 134-148
  9. Ian Foster, Steve Gregory, Graem Ringwood, Ken Satoh
    Pages 149-156
  10. Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda
    Pages 188-202
  11. Luís Moniz Pereira
    Pages 203-210
  12. J. Jaffar, J -L. Lassez, M. J. Maher
    Pages 223-241
  13. Akikazu Takeuchi, Koichi Furukawa
    Pages 242-254

About these proceedings

Keywords

Extension Pattern Matching Prolog Resolution algorithms artificial intelligence class complexity control grammar logic logic programming machine translation natural language optimization

Bibliographic information

  • Book Title Third International Conference on Logic Programming
  • Book Subtitle Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings
  • Editors Ehud Shapiro
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-16492-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-16492-0
  • eBook ISBN 978-3-540-39831-8
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages IX, 723
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logics and Meanings of Programs
    Artificial Intelligence
  • Buy this book on publisher's site