On the completed database semantics for negation

MaRDI QIDQ1209070zbMATH OpenFDO

Authors Yi-Dong Shen, Daijie Cheng, Fu Tong, R. Soenen, Christian Tahon

Publication date 16 May 1993

Published in Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

consistencynegation as failurelogic programdatabase semanticscompleted databasesemantics for negation

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55)

Recommendations

• Publication:5750391
• A sound and complete semantics for a version of negation as failure
• scientific article; zbMATH DE number 4108188
• Negation as failure. II
• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption

Cited in

(6)

• scientific article; zbMATH DE number 4147563 (Why is no real title available?)
• A sound and complete semantics for a version of negation as failure
• Negation and minimality in disjunctive databases
• IsaLog¬: a deductive language with negation for complex-object databases with hierarchies
• Complexity of the Stable Model Semantics for Queries on Incomplete Databases
• scientific article; zbMATH DE number 4108188 (Why is no real title available?)

This page was built for publication: On the completed database semantics for negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1209070)