.LOG.PROB
Software
Probabilistic SatisfiabilityProbabilistic Satisfiability solvers (PSAT solvers) can be downloaded under GPL3.0 from _here_.
-
Here is a page for the _PSAT solver project_ at the Competence Center for Free Software (CCSL-IME-USP).
- Software for Qualitative Spacial Reasoning tasks are available
for download.
| A Prolog planner to solve complex spatial reasoning tasks | here |
| A Java-Prolog spacial reasoning simulator of DPC-traffic | here |
A package for inference with the probabilistic description logic CRALC can be obtained here.
Other software related to decision making can be obtained.
Other software related to decision making can be obtained.