TY - RPRT TI - ALPprolog --- A New Logic Programming Method for Dynamic Domains AU - Conrad Drescher AU - Michael Thielscher PY - 2011 UR - https://arxiv.org/abs/1107.5242 ID - 1107.5242 ER -