Logic Programming: The 12th International Conference (Logic Programming) - Softcover
Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.
13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.
Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. Logic Programming series, Research Reports and Notes
"synopsis" may belong to another edition of this title.
About the Author:
Leon S. Sterling is Director of eResearch and Chair of Software Innovation and Engineering at the University of Melbourne. He is the coauthor of The Art of Prolog (second edition, MIT Press, 1994) and the editor of The Practice of Prolog (MIT Press, 1990).
"About this title" may belong to another edition of this title.
- PublisherMIT Press
- Publication date1995
- ISBN 10 0262691779
- ISBN 13 9780262691772
- BindingPaperback
- Number of pages856
- EditorSterling Professor And Chair Of Software Innovation And Engineering Leon S
Top Search Results from the AbeBooks Marketplace
Stock Image
Logic programming : proceedings of the twelfth International Conference on Logic Programming
Published by
MIT, Cambridge, Mass
(1995)
ISBN 10: 0262691779
ISBN 13: 9780262691772
Used
paperback
First Edition
Quantity: 1
Seller:
Rating
Book Description paperback. Condition: Very fine. 1st (assumed). Quarto; Blue illus.; (xx, 834 pages) : illustrations. Association for Logic Programming. International Symposium on Logic Programming; "13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications." Very fine. Seller Inventory # 87466
Buy Used
US$ 45.00
Convert currency
Stock Image
Logic Programming: The 12th International Conference (Logic Programming)
Published by
The MIT Press
(1995)
ISBN 10: 0262691779
ISBN 13: 9780262691772
Used
PAPERBACK
Quantity: 1
Seller:
Rating
Book Description PAPERBACK. Condition: Good. 0262691779. Seller Inventory # 9780262691772
Buy Used
US$ 130.50
Convert currency