Epistemic foundation of stable model semantics

Stable model semantics has become a very popular approach for the management of negation in logic programming. This approach relies mainly on the closed world assumption to complete the available knowledge and its formulation has its basis in the so-called Gelfond–Lifschitz transformation. The prima...

Celý popis

Podrobná bibliografia

Vydané v:	Theory and practice of logic programming Ročník 6; číslo 4; s. 355 - 393
Hlavní autori:	LOYER, YANN, STRACCIA, UMBERTO
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.07.2006 Cambridge University Press (CUP)
Predmet:	Computer Science Regular Papers Semantics Fixed-point semantics Stable model semantics Bilattices Logic programs Non-monotonic reasoning
ISSN:	1471-0684, 1475-3081
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!