Search Results for "keeping a knowledge base"

Jack LIRE (Linked Record) is a quantum database-backed life-long text record diary with referencing (linking) between records, and a data library for life-long keeping of files such as documents, photographs, music and more. The diary records are fully searchable. Files can be mentioned in diary records to preserve memories, document knowledge and ideas, and more. Massive numbers of diary records and files can be permanently kept. A database located on one computer can be accessed from another...

Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints...

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

Web application to make user-friendly requests on large XML database. Tools to XML-ize large bodies of semi-formal texts (like floras). Computer-assisted specimen identification. Uses natural language processing, 2D/3D images analysis and generation.

Wikipedia Concept Association Map (WCAM) is new approach for textual knowledge representation and understanding. All concepts and associations are stored in a graph database for better performance and easy distribution.

Spatial Knowledge Base is a web based application for storing and searching of archaeological sites information. The software was written to improve access to cultural heritage information though the use of digital archiving, search technology, and GIS.

Thea, Tools for High-throughput Experiment Analysis, is an integrated information processing system dedicated to the annotation of data issued from classification systems with biological information coming from a knowledge base.

BioNote is a knowledge base that combines unstructured wiki technology with structured annotation to form a collaborative environment. BioNote adds the concepts of page types and semi-structured annotation to extend the unstructured nature of wiki pages

Xenei.Demitrius will be a complete knowledge base application system. The client will contain a local database and may connect to one or more Demitrius servers. Servers are implemented in Java as Xenei.ImagoX Extensions. Security is role-based.

GENoDL is a Description Logics based reasoning tool that automatically generates service ontologies from a given Knowledge Base.