ISBN 978-3-8439-0627-2

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.