Search Results for "Knowledge Base"
Sort By:
Fast rainflow counting written in C (C99)
Belief Revision via PS-Merge under constraints belief merging operator
proof verifier for mathematical proofs and documentation generator