Evaluation of queries under closed-world assumption. II: The hierarchical case (Q1584999)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Evaluation of queries under closed-world assumption. II: The hierarchical case |
scientific article; zbMATH DE number 1526149
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Evaluation of queries under closed-world assumption. II: The hierarchical case |
scientific article; zbMATH DE number 1526149 |
Statements
Evaluation of queries under closed-world assumption. II: The hierarchical case (English)
0 references
24 September 2001
0 references
closed-world assumption
0 references
indefinite deductive data bases
0 references
indefinite Herbrand models
0 references
minimal-model theory
0 references
stratified logic programs
0 references
disjunctive logic program
0 references
minimal entailment
0 references
computational feasibility
0 references
layered program
0 references
hierarchically minimal semantics
0 references
prioritized circumscription
0 references
perfect models
0 references
indefinite modeling
0 references
