Logic programming : proceedings of the twelfth International Conference on Logic Programming / edited by Leon Sterling.
1995
QA76.63 .L65 1995eb
Linked e-resources
Linked Resource
Online Access through The MIT Press Direct
Details
Title
Logic programming : proceedings of the twelfth International Conference on Logic Programming / edited by Leon Sterling.
ISBN
9780262291439 (electronic bk.)
0262291436 (electronic bk.)
0262691779
9780262691772
0262291436 (electronic bk.)
0262691779
9780262691772
Publication Details
Cambridge, Mass. : MIT, ©1995.
Language
English
Description
1 online resource (xx, 834 pages) : illustrations.
Call Number
QA76.63 .L65 1995eb
Dewey Decimal Classification
005.131
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."
Access Note
Access limited to authorized users.
Source of Description
OCLC-licensed vendor bibliographic record.
Added Author
Sterling, Leon.
Added Corporate Author
Association for Logic Programming.
Added Meeting Name
International Symposium on Logic Programming (1995 : Tokyo, Japan)
Record Appears in
Online Resources > Ebooks
All Resources
All Resources