PyReason: Software for Open World Temporal Logic. - Dyuman Aditya; Kaustuv Mukherji; Srikar Balasubramanian; Abhiraj Chaudhary; Paulo Shakarian (AAAI Spring Symposium: MAKE, 2023)