Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes

Carl Schultz, Mehul Bhatt. Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. In Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, editors, ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Volume 263 of Frontiers in Artificial Intelligence and Applications, pages 795-800, IOS Press, 2014. [doi]

Authors

Carl Schultz

This author has not been identified. Look up 'Carl Schultz' in Google

Mehul Bhatt

This author has not been identified. Look up 'Mehul Bhatt' in Google