Stable Model Semantics, Fachbücher

Das Buch "Stable Model Semantics" bietet eine umfassende Einführung in die Konzepte der stabilen Modellssemantik, die in der logischen Programmierung von Bedeutung sind. Es behandelt insbesondere die Regel der Negation als Fehlschluss (NAF), die eine zentrale Rolle in der Ableitung von logischen Aussagen spielt. Die Inhalte basieren grösstenteils auf Artikeln aus Wikipedia und anderen freien Online-Quellen, was eine breite Zugänglichkeit und eine fundierte Grundlage für das Verständnis der Materie gewährleistet. Die Autoren Lambert M. Surhone, Miriam T. Timpledon und Susan F. Marseken haben das Buch im Jahr 2010 veröffentlicht und es richtet sich an Leser, die sich für logische Programmierung und deren Anwendungen interessieren. Der kartonierte Einband macht das Buch sowohl robust als auch leicht handhabbar, ideal für den Einsatz in akademischen und professionellen Umgebungen.