Logical tool of knowledge engineering: using entailment logic rather than mathematical logic

• Authors:

• Jingde Cheng

• Affiliations:

• Department of Computer Science and Communication Engineering, Kyushu University, Hakozaki, Fukuoka 812, Japan

• Venue:
• CSC '91 Proceedings of the 19th annual conference on Computer Science
• Year:
• 1991