Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs.

Tru H. Cao Peter N. Creasy Vilas Wuwongse

Published in: ICCS (1997)

Keyphrases

conceptual graphs
proof procedure
theorem proving
databases
artificial intelligence
database
natural language
probabilistic reasoning