Evaluation of queries under closed-world assumption. II: The hierarchical case

DOI10.1023/A:1006319819647zbMATH Open0970.03034MaRDI QIDQ1584999

Marek A. Suchenek

Publication date: 24 September 2001

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

disjunctive logic programclosed-world assumptionstratified logic programsperfect modelsprioritized circumscriptionminimal entailmentcomputational feasibilityhierarchically minimal semanticsindefinite deductive data basesindefinite Herbrand modelsindefinite modelinglayered programminimal-model theory

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Logic programming (68N17) Abstract deductive systems (03B22)

This page was built for publication: Evaluation of queries under closed-world assumption. II: The hierarchical case

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