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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theory and practice of logic programming Ročník 14; číslo 6; s. 803 - 840
Hlavní autoři:	NAISH, LEE, SØNDERGAARD, HARALD
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.11.2014
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!