On the completed database semantics for negation

zbMath0795.68057MaRDI QIDQ1209070

Fu Tong, Daijie Cheng, R. Soenen, Yi-Dong Shen, 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

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

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