Formalization of reasoning about default action (preliminary report) (Q4632322)
From MaRDI portal
scientific article; zbMATH DE number 7048496
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalization of reasoning about default action (preliminary report) |
scientific article; zbMATH DE number 7048496 |
Statements
Formalization of reasoning about default action (preliminary report) (English)
0 references
29 April 2019
0 references
causal chain
0 references
action language
0 references
concurrent action
0 references
causal action
0 references
domain description
0 references
