Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / edited by by Leon S. Sterling.
Contributor(s): Sterling, Leon S [editor.]
| IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Logic Programming Conference (12th : 1995 : Tokyo, Japan).
Material type: 
BookSeries: Lecture notes in computer science.MIT Press series in logic programming: ; Logic programming: ; Lecture notes in computer science: Publisher: [Cambridge, Massachusetts] : MIT Press, [1995]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Description: 1 PDF (xx, 834 pages): : illustrations.Content type: text Media type: electronic Carrier type: online resourceISBN: 9780262291439.ISSN: 1061-0464.Subject(s): Logic programming -- CongressesGenre/Form: Electronic books.Additional physical formats: Print version: No titleDDC classification: 005.1 Online resources: Abstract with links to resource Also available in print.Summary: 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.
Includes bibliographical references.
Restricted to subscribers or individual electronic text purchasers.
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.
Also available in print.
Mode of access: World Wide Web
Description based on PDF viewed 12/23/2015.
There are no comments for this item.