Lifted Inference beyond First-Order Logic

Open in new window