BR-BMC

Status: Planning

Brought to you by: dahora, mfinger

Add a Review

Downloads: 0 This Week

Last Update: 2013-07-15

Browse Code

Get an email when there's a new version of BR-BMC

Linux

Implementation of a Belief Revision algorithm using bounded model checking for ACTL

Project Activity

See All Activity >

License

BSD License

Follow BR-BMC

BR-BMC Web Site

Other Useful Business Software

AI-Powered Identity Governance

For IT Teams and MSPs in need of a solution to simplify, optimize and secure their SaaS, file, and device management operations

Define governance policies, manage access, and optimize licenses with unified visibility across every identity, app, and file.

Learn More

Rate This Project

User Reviews

Be the first to post a review of BR-BMC!

Additional Project Details

Operating Systems

Linux

Languages

English

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

C++, Flex, Yacc

Registered

2010-11-25

Report inappropriate content

AI-Powered Identity Governance

For IT Teams and MSPs in need of a solution to simplify, optimize and secure their SaaS, file, and device management operations

Define governance policies, manage access, and optimize licenses with unified visibility across every identity, app, and file.

Learn More

Recommended Projects

Neocortex - Memory-Prediction Framework
An implementation of memory-prediction framework applied for image recognition. Based on Jeff Hawkins' book On Intelligence. It models the high-level hierarchical architecture of human neocortex and uses Bayesian belief revision for making predictions
RISO: distributed belief networks
Distributed, heterogeneous Bayesian belief networks
BMC
Notes on Scientific Computing for Biomechanics
Safe C Library
The Safe C Library provides bound checking memory and string functions per ISO/IEC TR24731. These functions are alternative functions to the existing standard C library that promote safer, more secure programming. The ISO/IEC Programming languages — C spec, C11, now includes the bounded APIs in Appendix K, "Bounds-checking interfaces". This latest upload supports building static library, a shared library and a linux kernel module.
Tweety
Tweety is a collection of various Java libraries that implement approaches to different areas of artificial intelligence. In particular, it provides a general interface layer for doing research and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal with e.g. mathematical optimization complement the collection.