Non-Monotonic Extensions of Logic Programming
Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
Seiten
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.
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.
Prolegomena to logic programming for non-monotonic reasoning.- On logics and semantics for general logic programs.- A new logical characterisation of stable models and answer sets.- Aggregation and well-founded semantics+.- Nonmonotonic reasoning by monotonic inferences with priority constraints.- Update-programms can update programs.- An abductive proof procedure for reasoning about actions in modal logic programming.- Update programs versus revision programs.- Transformation-based bottom-up computation of the well-founded model.- Computation of non-ground disjunctive well-founded semantics with constraint logic programming.
| Erscheint lt. Verlag | 9.4.1997 |
|---|---|
| Reihe/Serie | Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science |
| Zusatzinfo | XIII, 231 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 367 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Künstliche Intelligenz • Logic • Logic Programming • Logisches Programmieren • Mathematische Logik • Modales logisches Programmieren • modal logic programming • Nichtmonotone Logik • Nichtmonotones Schliessen • Nichtmonotones Schließen • non-monotonic logics • Non-monotonic Reasoning • Nonmonotonic Reasoning • Programmierlogik • Programmierung • programming • Programming Logics |
| ISBN-13 | 9783540628439 / 9783540628439 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
