Embedding revision programs in logic programming situation calculus (Q4364206)
From MaRDI portal
scientific article; zbMATH DE number 1087373
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Embedding revision programs in logic programming situation calculus |
scientific article; zbMATH DE number 1087373 |
Statements
Embedding revision programs in logic programming situation calculus (English)
0 references
13 November 1997
0 references
revision programs
0 references
knowledge bases
0 references
