On negation in Hilog

DOI10.1016/0743-1066(94)90040-XzbMath0803.68016MaRDI QIDQ4289931

Kenneth A. Ross

Publication date: 28 April 1994

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

zbMATH Keywords

well-founded semanticsdeductive databasestable-model semanticshigher order logics for programming languagesHiLog programsprograms with negation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

The complexity of higher-order queries ⋮ Why-provenance information for RDF, rules, and negation

This page was built for publication: On negation in Hilog