TY  - RPRT
TI  - The RatioLog Project: Rational Extensions of Logical Reasoning
AU  - Ulrich Furbach
AU  - Claudia Schon
AU  - Frieder Stolzenburg
AU  - Karl-Heinz Weis
AU  - Claus-Peter Wirth
PY  - 2015
DO  - 10.1007/s13218-015-0377-9
UR  - https://arxiv.org/abs/1503.06087
ID  - 1503.06087
ER  -