Dynamic updates of non-monotonic knowledge bases (Q4507852)
From MaRDI portal
scientific article; zbMATH DE number 1515316
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic updates of non-monotonic knowledge bases |
scientific article; zbMATH DE number 1515316 |
Statements
Dynamic updates of non-monotonic knowledge bases (English)
0 references
10 October 2000
0 references
knowledge bases
0 references
dynamic logic programming
0 references
