A Network-Based Knowledge Representation and Its Natural Deduction System.

Richard Fikes, Gary G. Hendrix

Browse the full IJCAI paper archive.