Datenbestand vom 13. Juni 2019

Warenkorb Datenschutzhinweis Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

WICHTIGER HINWEIS
DER VERLAG IST IN DER ZEIT VOM 12.06.2019 BIS 23.06.2019 AUSCHLIESSLICH PER EMAIL ERREICHBAR.

aktualisiert am 13. Juni 2019

ISBN 9783843906272

Euro 72,00 inkl. 7% MwSt


978-3-8439-0627-2, Reihe Informatik

Rainer Lüdecke
Infinite-Valued Least Model and Game Semantics for Formula-Based and Normal Logic Programs

192 Seiten, Dissertation Eberhard-Karls-Universität Tübingen (2012), Hardcover, A5

Zusammenfassung / Abstract

We prove that every formula-based logic program has a least infinite-valued model. Moreover, we prove that the game semantics of a normal program P, introduced by Rondogiannis and Wadge, is equal to the well-founded semantics of P, even if the Herbrand universe of P is infinite.