FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose.
Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng
VenueCUIC
Year2018
ProceedingsSmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
DBLP recordconf/uic/OtsukaFGC18 ↗
Browse the full UIC paper archive.