Non-Monotonic Extensions of Logic Programming
Editat de Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinskien Limba Engleză Paperback – 9 apr 1997
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.
Preț: 318.30 lei
Preț vechi: 397.88 lei
-20% Nou
Puncte Express: 477
Preț estimativ în valută:
56.32€ • 65.61$ • 49.18£
56.32€ • 65.61$ • 49.18£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540628439
ISBN-10: 3540628436
Pagini: 244
Ilustrații: XIII, 231 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540628436
Pagini: 244
Ilustrații: XIII, 231 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.