Datenbestand vom 20. Januar 2019

Warenkorb Datenschutzhinweis Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

aktualisiert am 20. Januar 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.