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á bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 6; číslo 4; s. 355 - 393
Hlavní autoři:	LOYER, YANN, STRACCIA, UMBERTO
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2006 Cambridge University Press (CUP)
Témata:	Computer Science Regular Papers Semantics Fixed-point semantics Stable model semantics Bilattices Logic programs Non-monotonic reasoning
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!