BR-BMC

Status: Planning

Brought to you by: dahora, mfinger

Add a Review

Downloads: 0 This Week

Last Update: 2013-07-15

Browse Code

Add to Preferred Sources

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

Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free

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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Recommended Projects

RISO: distributed belief networks
Distributed, heterogeneous Bayesian belief networks
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.
Jadex BDI Agent System
Jadex is a Belief Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents in XML and Java. The resoning engine is very flexible.
TekDT BMC
Tạo USB boot cài Windows tự động dựa trên Ventoy
BDI Chess
A CECP (glChess-, xboard-, ...- compatible) chess engine specially conceived as a study application of Belief-Desire-Intention AI Architectures.