Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084)
From MaRDI portal
scientific article; zbMATH DE number 6804629
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-monotonic spatial reasoning with answer set programming modulo theories |
scientific article; zbMATH DE number 6804629 |
Statements
Non-monotonic spatial reasoning with answer set programming modulo theories (English)
0 references
9 November 2017
0 references
nonmonotonic spatial reasoning
0 references
answer set programming modulo theories
0 references
declarative spatial reasoning
0 references
dynamic spatial systems
0 references
reasoning about space
0 references
actions
0 references
change
0 references
