\input zb-basic \input zb-ioport \iteman{io-port 70935949} \itemau{Dylla, Frank} \itemti{Qualitative spatial reasoning for navigating agents - behavior formalization with qualitative representations} \itemso{BMI Book, 98-128 (2009).} \itemcc{} \itemut{} \itemli{doi:10.3233/978-1-60750-048-3-98} \end