Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1506.04945
Cited By
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning
16 June 2015
C. Schultz
M. Bhatt
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning"
1 / 1 papers shown
Title
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
P. Walega
C. Schultz
M. Bhatt
LRM
64
30
0
25 Jun 2016
1
