Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (Q5097632)
From MaRDI portal
scientific article; zbMATH DE number 7576125
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming |
scientific article; zbMATH DE number 7576125 |
Statements
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (English)
0 references
25 August 2022
0 references
ASP
0 references
goal-directed
0 references
event calculus
0 references
constraints
0 references
