TY - RPRT TI - Temporal Probabilistic Logic Programs: State and Revision AU - Zoran Majkic PY - 2011 UR - https://arxiv.org/abs/1103.1061 ID - 1103.1061 ER -