Qualitative spatial logics for buffered geometries

Keyphrases

• Complete Axiomatization 33%
• Crowdsourced Data 33%
• Crowdsourcing 33%
• Debugging 33%
• Evaluation Results 33%
• Geospatial Datasets 33%
• Margin of Error 33%
• Metric Space 33%
• NP-complete 33%
• Satisfiability Problem 33%
• Spatial Logic 100%
• Spatial Objects 66%
• Spatial Relations 33%
• Tolerance Limits 33%

Computer Science

• Axiomatization 50%
• consistency checking 50%
• Evaluation Result 50%
• Geospatial Datasets 50%
• Metric Space 50%
• Satisfiability Problem 50%
• Spatial Object 100%
• Spatial Relation 50%

Engineering

• Fits and Tolerances 100%
• Metrics 100%