Knowledge-based programs with defaults in a modal situation calculus (Q4576249)
From MaRDI portal
scientific article; zbMATH DE number 6902576
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Knowledge-based programs with defaults in a modal situation calculus |
scientific article; zbMATH DE number 6902576 |
Statements
12 July 2018
0 references
Knowledge-based programs with defaults in a modal situation calculus (English)
0 references