The Expressive Powers of the Logic Programming Semantics

We study the expressive of two semantics far deductive databases and logic programming: the well-founded semantics and the stable semantics. We compare them especially to two older semantics, the two-valued and three-valued program completion semantics. We identify the expressive power of the stable...

Celý popis

Podrobná bibliografia

Vydané v:	Journal of computer and system sciences Ročník 51; číslo 1; s. 64 - 86
Hlavný autor:	Schlipf, J.S.
Médium:	Journal Article Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Brugge Elsevier Inc 01.08.1995 Academic Press
Predmet:	Applied sciences Computer science; control theory; systems Exact sciences and technology Information systems. Data bases Memory organisation. Data processing Programming languages Programming theory Software Theoretical computing Logical programming Deductive database Stratification Semantics Modularity
ISSN:	0022-0000, 1090-2724
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!