A formalism to specify unambiguous instructions inspired by Mīmāṁsā in computational settings (Q2169123)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formalism to specify unambiguous instructions inspired by Mīmāṁsā in computational settings |
scientific article |
Statements
A formalism to specify unambiguous instructions inspired by Mīmāṁsā in computational settings (English)
0 references
1 September 2022
0 references
Mīmāṁsā
0 references
imperative logic
0 references
action representation
0 references
instructions
0 references
0 references
