No label defined (Q4282550)
From MaRDI portal
scientific article; zbMATH DE number 517023
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 517023 |
Statements
17 March 1994
0 references
nonmonotonic reasoning
0 references
justification-based truth maintenance system
0 references
logic program with negation
0 references
Gelfond-Lifschitz semantics
0 references
floating conclusions
0 references
cumulativity
0 references