Synopsis
The 45 contributions in this book consider all aspects of logic programming, including theory and foundations; architectures and implementations; programming languages and methodology; databases; knowledge representation, reasoning, and expert systems; and relations to other computation models, programming languages, and programming methodologies. There are chapters on novel applications and on applications that address the unique character of logic programming.
Invited speakers are Keith Clark (Imperial College, London), Herve Gallaire (ECRC, Munich), Fernando Pereira, (SRI International), K. R. Rao (University of Melbourne), J. Alan Robinson (Syracuse University), and Masahiko Sato (Tohoku University).
Jean-Louis Lassez is a Research Scientist with IBM's Thomas J. Watson Research Center. Logic Programming: Proceedings of the Fourth International Conference is included in the series Logic Programming (Research Reports and Notes), edited by Ehud Shapiro.
Two-volume set
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logic Programming – Proceedings of Fourth Internation...
Stock Image
LabVIEW Graphical Programming
ISBN 10: 0262121255
ISBN 13: 9780262121255
Used
paperback
Seller: NW Book Rescue, Hubbard, OR, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Fair. Acceptable copy. Shows signs of wear. Seller Inventory # SFRC-20250506-0025-6.2M-C3719
Seller Image
Logic Programming: Proceedings of the Fourth International Conference (2 volumes)
Published by
Cambridge, MA & London: MIT Press, 1987, 1987
ISBN 10: 0262121255
ISBN 13: 9780262121255
Used
Soft cover
First Edition
Seller: Atlantic Bookshop, Brooklyn, NY, U.S.A.
Seller rating 5 out of 5 stars
Soft cover. Condition: Very Good. 1st Edition. 2 volumes, 8vo, card covers, xiv, 555pp. + xiv, 556-1056pp. VG: both volumes clean and solid; small peel from the laminate at the foot of the spine of volume 1, light chafing to the upper front corner of the cover of volume 2. Extra postage may be asked. Seller Inventory # ATLJLLLPP4IC