No label defined (Q4678454)
From MaRDI portal
scientific article; zbMATH DE number 2170948
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2170948 |
Statements
23 May 2005
0 references
consequence relation
0 references
prioritized belief base
0 references
adaptive logic
0 references
dynamic proof
0 references
