Next: The algorithm Up: PPL 1.0 Propositional Probabilistic Previous: Examples Contents

The Consistency Checker

Subsections

The algorithm
Comunication with PPL
- Format Manual: PPL $\rightarrow$ Geracol
- Format Manual: Geracol $\rightarrow$ PPL

Andre da Costa Teves 2007-08-11