Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Non-monotonic spatial reasoning with answer set programming modulo theories |
scientific article; zbMATH DE number 6804629
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.9878692626953124
0 references
0.7888697385787964
0 references
0.7664244771003723
0 references
0.7427723407745361
0 references
