Non-Monotonic Extensions of Logic Programming

Juergen Dix

ISBN 10: 3540628436 / ISBN 13: 9783540628439

Published by Springer Berlin Heidelberg Apr 1997, 1997

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996.The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled 'Prolegomena to Logic Programming for Non-Monotonic Reasoning' deserves special mentioning; it contains a bibliography listing 136 entries.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Seller Inventory # 9783540628439

Bibliographic Details

• Title: Non-Monotonic Extensions of Logic Programming
• Publisher: Springer Berlin Heidelberg Apr 1997
• Publication Date: 1997
• Language: English
• ISBN 10: 3540628436
• ISBN 13: 9783540628439
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996.
The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.