On negation in Hilog

DOI10.1016/0743-1066(94)90040-XzbMATH Open0803.68016MaRDI QIDQ4289931FDOQ4289931

Authors: Kenneth A. Ross 

Publication date: 28 April 1994

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

Recommendations

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

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)

Cited In (5)

• Title not available (Why is that?)
• 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)