Reading to Learn: Final Report

The Halo KB’s underlying knowledge representation language, KM, does support a situation calculus representation of time, and in principle can accommodate such statements, although this aspect is only used in a limited way in CPL so far. How to state and represent hypothetical situations. (yellow) ................
................