On negation in Hilog

DOI10.1016/0743-1066(94)90040-XMaRDI QIDQ4289931zbMATH OpenFDO

Authors 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 programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Recommendations

• HiLog: A foundation for higher-order logic programming
• scientific article; zbMATH DE number 879002
• The well-founded semantics for general logic programs

Cited in

(5)

• scientific article; zbMATH DE number 1160599 (Why is no real title available?)
• Why-provenance information for RDF, rules, and negation
• On negation: Pure local rules
• HiLog: A foundation for higher-order logic programming
• The complexity of higher-order queries

This page was built for publication: On negation in Hilog

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