No label defined (Q4216774)
From MaRDI portal
scientific article; zbMATH DE number 1218288
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1218288 |
Statements
3 November 1998
0 references
nonmonotonic reasoning
0 references
semantics
0 references
circumscription
0 references
default logic
0 references
autoepistemic logic
0 references
cumulativity
0 references
computational complexity
0 references
logic programming
0 references
consistency-based diagnosis
0 references