The Stable Model Semantics For Logic Programming

The Stable Model Semantics For Logic Programming (1988)

by Michael Gelfond , Vladimir Lifschitz

Citations:

Datum	Value	Source
TITLE	The stable model semantics for logic programming	INFERENCE
AUTHOR NAME	Michael Gelfond	SVM HeaderParse 0.1
AUTHOR AFFIL	University of Texas at El Paso	SVM HeaderParse 0.2
AUTHOR ADDR	El Paso, Texas, U.S.A.	SVM HeaderParse 0.1
AUTHOR NAME	Vladimir Lifschitz	SVM HeaderParse 0.1
AUTHOR AFFIL	Stanford University	SVM HeaderParse 0.2
AUTHOR ADDR	Stanford, California, U.S.A.	SVM HeaderParse 0.1
ABSTRACT	We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated xed point semantics for stratied programs, and is applicable to some useful programs that are not stratied. 1.	SVM HeaderParse 0.1
YEAR	1988	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	1070--1080	INFERENCE
CITATIONS	7 found	ParsCit 1.0