Fixpoint semantics for logic programming a survey

The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close para...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 278; H. 1; S. 25 - 51
1. Verfasser:	Fitting, Melvin
Format:	Journal Article Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 06.05.2002 Elsevier
Schlagworte:	Applied sciences Computer science; control theory; systems Exact sciences and technology Programming theory Theoretical computing Fix point Stability Semantics Belnap logic Valuation Apt-van Emden Kowalski semantics Models Logical programming Syntax Stable model semantics Lattice
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!