Non-Monotonic Extensions of Logic Programming
Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
Editors: Dix, Juergen, Moniz Pereira, Luis, Przymusinski, Teodor C. (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (10 chapters)
-
-
Prolegomena to logic programming for non-monotonic reasoning
Pages 1-36
-
On logics and semantics for general logic programs
Pages 37-56
-
A new logical characterisation of stable models and answer sets
Pages 57-70
-
Aggregation and well-founded semantics+
Pages 71-90
-
Nonmonotonic reasoning by monotonic inferences with priority constraints
Pages 91-109
-
Table of contents (10 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Non-Monotonic Extensions of Logic Programming
- Book Subtitle
- Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
- Editors
-
- Juergen Dix
- Luis Moniz Pereira
- Teodor C. Przymusinski
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 1216
- Copyright
- 1997
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-68702-3
- DOI
- 10.1007/BFb0023798
- Softcover ISBN
- 978-3-540-62843-9
- Edition Number
- 1
- Number of Pages
- XIII, 231
- Topics