Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure.

Tru H. Cao, Peter N. Creasy

Browse the full ICCS paper archive.