Keisuke Nakamura

A TABOO-NOT in OPEN World Assumption for A Natural Language based Logic Programming

2022 · 2022 IEEE International Conference on Big Data (Big Data)

Traditional logic programs are written in some formal languages easy to “unify” each other or symbol based ones such as in Prolog, and their “NOT” mechanisms are “negation by failure of proof” according to “CLOSED …