Model states revisited

Abstract: "Logic programs posess a unique smallest Herbrand model, the initial model semantics. In addition, the smallest Herbrand model of a logic program can be constructed as least fixpoint of an appropriate closure operator on Herbrand structures. This is the initial model semantics of the...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Volger, Hugo (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau 1995
Schriftenreihe:	Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1995,22
Schlagworte:	Disjunction (Logic) > Herbrand's theorem (Number theory) > Logic programming > Theoretische Informatik > Mathematik > Informatik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!