Disjunctive \(LP+\) integrity constraints = stable model semantics.
type: Item
instance of: scholarly article
title: Disjunctive \(LP+\) integrity constraints = stable model semantics.
zbMATH Open document ID: 1034.68507
DOI: 10.1007/BF01530802
author: José Alberto Fernández
author: Jorge Lobo
author: Jack Minker
author: V. S. Subrahmanian
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-12T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1005804
zbMATH Keywords: function-free logic programs
Wikidata QID: Q109585668
MaRDI profile type: Publication
cites work: Circumscription - a form of non-monotonic reasoning
cites work: The relationship between stable, supported, default and autoepistemic semantics for general logic programs
cites work: Q3983045
cites work: What should a database know?
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Deduction in non-Horn databases
description: scientific article; zbMATH DE number 1005804