JEpistemicLogicVis

Status: Alpha

Brought to you by: christian_antic

Add a Review

Downloads: 0 This Week

Last Update: 2014-07-02

Browse Code

Add to Preferred Sources

JEpistemicLogicVis is an application for visualization of evaluations of multi-modal-logical formulas for knowledge representation over finite Kripke-models, whereat the accessibility for each agent is an equivalent-relation.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow JEpistemicLogicVis

JEpistemicLogicVis Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of JEpistemicLogicVis!

Additional Project Details

Programming Language

Java

Registered

2009-10-02

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Hermes Web UI
The best way to use Hermes Agent from the web or from your phone
MMAX2 Annotation Tool
A GUI-based text annotation tool for creating and visualizing annotations. It uses a flexible stand-off XML data format, and has advanced and customizable methods for information and relation visualization.
Nifty Sim
Nifty Sim is a high-performance nonlinear finite element solver, developed at University College London. A key feature is the option of GPU-based execution, which allows the solver to significantly out-perform equivalent commercial packages.
RAG Anything
RAG-Anything: All-in-One RAG Framework
IEEE Calculator
IEEE Flaoting point Calculator is a conversion tool which converts the 32/64 bit Hex values into a equivalent Floating point value also converts the Decimal/Floating point value to its equivalent Hex representation.