Deriving properties of belief update from theories of action (Q1334984)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deriving properties of belief update from theories of action |
scientific article |
Statements
Deriving properties of belief update from theories of action (English)
0 references
26 September 1994
0 references
nonmonotonic logic
0 references
theories of action
0 references
belief update
0 references
database update
0 references
nonmonotonic temporal reasoning
0 references
update semantics
0 references
