Taylor, MJ and Reilly, D Situation calculus is valuable for knowledge representation for missing persons investigations, since such investigations have… Read more Knowledge representation for missing persons investigations