Metakit

Metakit is an embedded database library with a small footprint. It fills the gap between flat-file, relational, object-oriented, and tree-structured…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

1994

In this paper, we discuss the verification of knowledge systems by means of knowledge level reflection techniques. Our claim is…