Next: Running the Command-line Tool
Up: Getting Started
Previous: Compiling the Source Code
The command-line version of COBA 2.0 presents an interactive menu with which you can specify tasks to perform.
The default type of belief change is skeptical change; the default type of merging, basic merge; and the default equivalence set search algorithm, AllDetEQ2.
Subsections
Daphne Liu
2006-01-23