Datenbestand vom 15. November 2024
Warenkorb Datenschutzhinweis Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

aktualisiert am 15. November 2024

ISBN 9783843906272

72,00 € inkl. MwSt, zzgl. Versand


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.