ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 - Brossura

Broda, Krysia

 
9783540197836: ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992
Brossura
ISBN 10: 3540197834 ISBN 13: 9783540197836
Casa editrice: Springer London, 1993

Sinossi

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and tutorials presented at the 4th ALPUK Conference, which aimed to broaden the frontiers of logic programming by encouraging interaction between it and other related disciplines. The papers cover a variety of technical areas, including concurrent logic languages and their semantics, applications of logic languages to other (non-classical) logical systems, modules, types and error-handling, and the distributed execution of Prolog programs. The wide scope of the papers refelects the breadth of interest in this important area of computer science. ALPUK 92 provides a comprehensive overview of current progress being made in logic programming research. It will be of interest to all workers in the field, especially researchers, postgraduate students, and research and development workers in industry.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Program Analysis.- Rewriting Concepts in the Study of Termination of Logic Programs.- Metric Characterizations of Contextual Logic Programs.- Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs.- An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog.- Language and Implementation Issues.- Soft Sorting in Logic Programming.- Modularity for Logic Programs.- SEL Compiler and Abstract Analyzers.- Disciplined Exceptions in Logic Programming.- Parallelism.- On the Semantics of Concurrent Constraint Programming (Invited Paper).- L2?O2: Operational and Declarative Semantics.- The DelPhi Multiprocessor Inference Machine (Invited Paper).- Applications in Logic.- Horn Clause Logic 1992 (Invited Paper).- From a Hilbert Calculus to its Model Theoretic Semantics (Invited Paper).- Logic Programming via Proof-valued Computations (Invited Paper).- An Amalgamated Temporal Logic (Invited Paper).- Tutorials.- An Introduction to Gödel.- Parallel Logic Programming in Strand: A Tutorial.- Author Index.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer London
Data di pubblicazione
1993
Lingua
Inglese
ISBN 10 
3540197834
ISBN 13 
9783540197836
Rilegatura
Copertina flessibile
Numero di pagine
368
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9781447134220: ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992

Edizione in evidenza

ISBN 10:  1447134222 ISBN 13:  9781447134220
Casa editrice: Springer, 2012
Brossura