Search Results for "reasoning"

NVIDIA Isaac‑GR00T N1.5 is an open-source foundation model engineered for generalized humanoid robot reasoning and manipulation skills. It accepts multimodal inputs—such as language and images—and uses a diffusion transformer architecture built upon vision-language encoders, enabling adaptive robot behaviors across diverse environments. It is designed to be customizable via post-training with real or synthetic data. The vision-language model remains frozen during both pretraining and finetuning, preserving language understanding and improving generalization. ...

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, and this extension is used as a strategy for belief revision. ...

SSWAP (Simple Semantic Web Architecture and Protocol; pronounced "swap") is an architecture, protocol, and platform that uses reasoning to semantically integrate disparate data and services on the web. Running live at http://sswap.info.

IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.

Earnest is a A PHP-MYSQL AI EXPERT SYSTEM for creating powerful expert system easily. Its simple PHP API can also be called from JAVA, browsers or other software to perform GIS and other comparisons. Also has ability to create XML results.

The Hanalyzer is a tool designed to help biologists explain results observed in genome-scale experiments and to generate new hypotheses. It combines information extraction, semantic data integration, reasoning, and visualization.

HORUS is a system for knowledge acquisition, hypothesis generation, inference and learning. It is an interactive, internet environment accessible to a diverse community of users (public-access or membership basis) - see also UMKAILASH project for more.

The ROSE reasoner is used to for reasoning with RDFS ontologies and currently supports the RDF, RDFS and eRDFS entailment regimes. An online demo of the RDFS Reasoner can be found here: http://tools.deri.org/rdfs-reasoner/

fedg extracts knowledge and relevant events in chinese texts to generate Feature Event Dependency Graph.FEDG is a knowledge representation model,meaningful for latent knowledge discovery and efficient reasoning.