BR-BMC

Status: Planning

Brought to you by: dahora, mfinger

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

Loan management software that makes it easy. Icon

Loan management software that makes it easy.

Ideal for lending professionals who are looking for a feature rich loan management system

Bryt Software is ideal for lending professionals who are looking for a feature rich loan management system that is intuitive and easy to use. We are 100% cloud-based, software as a service. We believe in providing our customers with fair and honest pricing. Our monthly fees are based on your number of users and we have a minimal implementation charge.

Learn More

Rate This Project

Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Languages

English

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

C++, Flex, Yacc

Registered

2010-11-25

Report inappropriate content

Loan management software that makes it easy.

Ideal for lending professionals who are looking for a feature rich loan management system

Bryt Software is ideal for lending professionals who are looking for a feature rich loan management system that is intuitive and easy to use. We are 100% cloud-based, software as a service. We believe in providing our customers with fair and honest pricing. Our monthly fees are based on your number of users and we have a minimal implementation charge.

Learn More

Recommended Projects

Belief Reviser
Belief Revision via PS-Merge under constraints belief merging operator
Belief Merger
A simple Belief Merging Prototype
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.
AKIRA
AKIRA aims to create a C++ development framework to build cognitive architectures and complex artificial intelligent agents.Features:KQML,Fuzzy Logic,Neural Net,Fuzzy Cognitive Maps and DIPRA (a distributed BDI - Belief Desire Intention goals model)
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.