TY  - RPRT
TI  - Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine
AU  - Mark-Oliver Stehr
AU  - Minyoung Kim
AU  - Carolyn L. Talcott
AU  - Merrill Knapp
AU  - Akos Vertes
PY  - 2019
UR  - https://arxiv.org/abs/1907.11321
ID  - 1907.11321
ER  -