Emilio Remolina Benjamin Kuipers A Logical Account of Causal and Topological Maps. 5-11 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#RemolinaK01