On the relations between stable and well-founded semantics of logic programs
type: Item
instance of: scholarly article
title: On the relations between stable and well-founded semantics of logic programs
zbMATH Open document ID: 0774.68028
DOI: 10.1016/0304-3975(92)90285-N
author: Phan Minh Dung
published in: Theoretical Computer Science
publication date: 1993-01-16T00:00:00Z
review text: The paper investigates the relationship between the stable and well- founded semantics of logic programs with negation. It is shown that both semantics can be defined in similar ways. It is shown that both semantics are equivalent for several classes of programs.
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 96001
zbMATH Keywords: semantics
zbMATH Keywords: negation
MaRDI profile type: Publication
cites work: Q5679729
cites work: Q3975936
cites work: A kripke-kleene semantics for logic programs*
cites work: Q3478001
cites work: Q3339245
cites work: Q3348437
cites work: Q3972030
cites work: Q3486858
cites work: Q5750391
full work available at URL: 0304-3975(92)90285-n
OpenAlex ID: W2093089155
description: scientific article; zbMATH DE number 96001