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.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
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.
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
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.
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.
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.