Taylor, MJ and Reilly, D
Situation calculus is valuable for knowledge representation for missing persons investigations, since such investigations have state changes over time, and due to the complexity of the differing investigation activities applicable to different situations, can be difficult to represent using simpler approaches such as tables or flowcharts.
This open access document is available to view online. Journal of Systems and Information Technology, 19 (1/2). pp. 138-150. ISSN 1328-7265