Incremental Event Calculus for Run-Time Reasoning (Q5076337)
From MaRDI portal
scientific article; zbMATH DE number 7527545
Language | Label | Description | Also known as |
---|---|---|---|
English | Incremental Event Calculus for Run-Time Reasoning |
scientific article; zbMATH DE number 7527545 |
Statements
Incremental Event Calculus for Run-Time Reasoning (English)
0 references
16 May 2022
0 references
knowledge representation
0 references
logic programming
0 references
reasoning about actions and change
0 references
temporal reasoning
0 references