Belief Evolution

BE is a belief evolution solver for the action language. The action language and sovler algorithm was developed by Aaron Hunter at Simon Fraser University. BE was written by Joel Faber.

Compilation requires the smodels API Library, which can be downloaded from the smodels home page.


A paper describing the usage and algorithm.


This software is distributed under the GNU Public Licence. All source code is contained in a zip file.

Last modified: August 31, 2006 by Joel Faber.