Advertisement

Logic Programming

A Classified Bibliography

  • Isaac Balbin
  • Koenraad Lecot

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Isaac Balbin, Koenraad Lecot
    Pages 1-9
  3. Isaac Balbin, Koenraad Lecot
    Pages 10-60
  4. Isaac Balbin, Koenraad Lecot
    Pages 61-69
  5. Isaac Balbin, Koenraad Lecot
    Pages 70-75
  6. Isaac Balbin, Koenraad Lecot
    Pages 76-100
  7. Isaac Balbin, Koenraad Lecot
    Pages 101-119
  8. Isaac Balbin, Koenraad Lecot
    Pages 120-136
  9. Isaac Balbin, Koenraad Lecot
    Pages 137-142
  10. Isaac Balbin, Koenraad Lecot
    Pages 143-151
  11. Isaac Balbin, Koenraad Lecot
    Pages 152-166
  12. Isaac Balbin, Koenraad Lecot
    Pages 167-171
  13. Isaac Balbin, Koenraad Lecot
    Pages 178-218
  14. Isaac Balbin, Koenraad Lecot
    Pages 219-235
  15. Isaac Balbin, Koenraad Lecot
    Pages 236-256
  16. Isaac Balbin, Koenraad Lecot
    Pages 257-276
  17. Isaac Balbin, Koenraad Lecot
    Pages 277-286
  18. Isaac Balbin, Koenraad Lecot
    Pages 287-291
  19. Isaac Balbin, Koenraad Lecot
    Pages 292-294
  20. Back Matter
    Pages 295-360

About this book

Introduction

Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done during this first crucial decade in Marseilles, Edinburgh, London, Budapest and Stockholm (to name a few) is often overlooked or difficult to trace. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems. Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law, etc. Consequently, many papers related to Logic Programming appear in a wide variety of journals and proceedings of conferences in other disciplines. This is particularly true of Computer Science where a revolution is taking place in hardware design, programming languages, and more recently databases. One cannot overestimate the importance of such a bibliography.

Keywords

Prolog expert system grammar knowledge knowledge representation learning logic programming natural language programming programming language semantics

Authors and affiliations

  • Isaac Balbin
    • 1
  • Koenraad Lecot
    • 2
  1. 1.Department of Computer ScienceUniversity of MelbourneParkvilleAustralia
  2. 2.Computer Science DepartmentUniversity of CaliforniaLos AngelesUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-009-5044-3
  • Copyright Information Springer Science+Business Media B.V. 1985
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-908069-15-6
  • Online ISBN 978-94-009-5044-3
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering