A Prolog-like inference system based on neural logic — An attempt towards fuzzy neural logic programming

A predicate-transition net model for parallel interpretation of logic programs

T. Murata, D. Zhang · IEEE Transactions on Software Engineering · 1988 · 110 citations

Computing, Computer Engineering, Computer Science +14

Fuzzy resolution principle

Z. Shen, Li Ding, Masao Mukaidono · 1988 · 59 citations

Humanities, Computer Science, Mathematics +13

State-space problem-reduction, and theorem proving—some relationships

Gordon J. VanderBrug, Jack Minker · Communications of the ACM · 1975 · 37 citations · Full text

Computing, Computer Science, Knowledge Representation +16

A new method for approximate reasoning

Li Ding, Z. Shen, Masao Mukaidono · 2003 · 24 citations

Humanities, Computer Science, Mathematics +12