Annotations on the consistency of the closed world assumption

DOI10.1016/0743-1066(90)90024-YzbMath0796.68055OpenAlexW2135484429MaRDI QIDQ4713089

Gerhard Jäger

Publication date: 25 June 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(90)90024-y

zbMATH Keywords

consistencynegationlogic programmingnegative informationReiter's closed world assumption

Mathematics Subject Classification ID

Logic programming (68N17) General topics in the theory of software (68N01)

This page was built for publication: Annotations on the consistency of the closed world assumption