Truth versus information in logic programming

The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for “undefined”. The three-valued semantics proposed by...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theory and practice of logic programming Jg. 14; H. 6; S. 803 - 840
Hauptverfasser:	NAISH, LEE, SØNDERGAARD, HARALD
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.11.2014
Schlagworte:	Allowances Fittings Logic Logic programming Operators Order disorder Regular Papers Semantics Specifications many-valued logic information order modes declarative debugging program analysis logic program specification intended interpretation specification semantics
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!