Belief Revision via PS-Merge under constraints belief merging operator
...Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.
proof verifier for mathematical proofs and documentation generator
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 knowledgebase 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.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Spatial KnowledgeBase 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 knowledgebase.
BioNote is a knowledgebase 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 knowledgebase 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.
BIRBU (BIological Relationship BUilder) is a Java tool for microarray gene expression data analysis. BIRBU identifies biologically significant relationship between genes using microarray data and prior knowledge on relationships between genes.