Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic branching in qualitative constraint-based reasoning via counting local models |
scientific article |
Statements
Dynamic branching in qualitative constraint-based reasoning via counting local models (English)
0 references
25 November 2021
0 references
qualitative constraints
0 references
spatial and temporal reasoning
0 references
counting local models
0 references
dynamic branching
0 references
adaptive algorithm
0 references
