On the impact of stratification on the complexity of nonmonotonic reasoning (Q4317728)
From MaRDI portal
scientific article; zbMATH DE number 704954
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the impact of stratification on the complexity of nonmonotonic reasoning |
scientific article; zbMATH DE number 704954 |
Statements
On the impact of stratification on the complexity of nonmonotonic reasoning (English)
0 references
21 December 1994
0 references
complexity
0 references
tractable subclasses of nonmonotonic reasoning
0 references
stratification
0 references
auto-epistemic logic
0 references
iterative algorithm for reasoning in stratified auto-epistemic theories
0 references
default logic
0 references
logic programs
0 references
truth maintenance systems
0 references
nonmonotonic modal systems
0 references
