Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs - researchr publication

researchr

You are not signed in
Sign in
Sign up

J. E. Heaton, Pavel Kocura. Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs. In Guy W. Mineau, Bernard Moulin, John F. Sowa, editors, Conceptual Graphs for Knowledge Representation, ICCS 93, Quebec City, Canada, August 4-7, 1993, Proceedings. Volume 699 of Lecture Notes in Computer Science, pages 381-400, Springer, 1993.

Abstract is missing.

runs on WebDSL