Logic-based modeling approaches for qualitative and hybrid reasoning in dynamic spatial systems

@article{DBLP:journals/csur/MitschPRS15,
	pdf = {pub/surveydynamicspatial.pdf},
	author = {['Stefan Mitsch', 'André Platzer', 'Werner Retschitzegger', 'Wieland Schwinger']},
	title = {Logic-based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems},
	journal = {ACM Comput. Surv.},
	volume = {48},
	number = {1},
	pages = {3:1–3:40},
	year = {2015},
	doi = {10.1145/2764901}
}