Search Results for "reasoning"

Probabilistic programming and statistical computing are vibrant areas in the development of the Julia programming language, but the underlying infrastructure dramatically predates recent developments. The goal of MeasureTheory.jl is to provide Julia with the right vocabulary and tools for these tasks. In this package we introduce well-chosen foundational primitives centered around the notion of measure, density and conditional probability with powerful combinators and transforms intended to...

The Prajna project is a collection of tools and utility classes combining visualization, geographic displays, data fusion, and semantic reasoning into a cohesive toolkit for enhancing information discovery and reasoning.

PolyViz is a tool for visualizing n-dimensional polyhedra. Motivated by the difficulty of reasoning about the iteration spaces of nested loops with many levels, PolyViz allows users to visualize polyhedral representations of those iteration spaces.

txtkit is a visual text mining tool for exploring large amounts of multilingual texts. It's an multiuser-application which mainly focuses on the process of reading and reasoning as series of decisions and events.