No label defined (Q2715522)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
31 January 2002
0 references
logic programming semantics
0 references
stable models
0 references
completion semantics
0 references
minimal model reasoning
0 references
negation stability
0 references
strong negation
0 references
