links

examples/inference/inference_examples.swinb

@@ -109,15 +109,15 @@ Examples divided by features:
   [gpl.pl](example/inference/gpl.pl), [rmc.pl](example/inference/rmc.pl),
   [hmmpos.pl](example/inference/hmmpos.pl), 
   [hmmpos2.pl](example/inference/hmmpos2.pl)
-  - PRISM syntax: [coinmsw.pl](example/inference/coinmws.pl),
+  - PRISM syntax: [coinmsw.pl](example/inference/coinmsw.pl),
   [widgetmsw.pl](example/inference/widgetmsw.pl),
   [kalman_filtermsw.pl](example/inference/kalman_filtermsw.pl)
   - Distributional clauses syntax:
   [indian_gpadc.pl](example/inference/indian_gpadc.pl),
   [nballsdc.pl](example/inference/nballsdc.pl)
   - .pl format: [coin.pl](example/inference/coin.pl), 
   [coinmc.pl](example/inference/coinmc.pl), 
-  [coinmsw.pl](example/inference/coinmws.pl),
+  [coinmsw.pl](example/inference/coinmsw.pl),
   [dice.pl](example/inference/dice.pl), [epidemic.pl](example/inference/epidemic.pl), [earthquake.pl](example/inference/earthquake.pl),
   [sneezing.pl](example/inference/sneezing.pl), [eruption.pl](example/inference/eruption.pl), [mendel.pl](example/inference/mendel.pl), [bloodtype.pl](example/inference/bloodtype.pl),
   [path.pl](example/inference/path.pl), [alarm.pl](example/inference/alarm.pl), [hmm.pl](example/inference/hmm.pl), [pcfg.pl](example/inference/pcfg.pl),
@@ -201,7 +201,7 @@ Examples divided by features:
    In International Conference on Logic Programming, 
    volume 3131 of LNCS, pages 195-209. Springer, 2004. 
    [coinmc.pl](example/inference/coinmc.pl) is a version for inference with MCINTYRE (Monte Carlo sampling).
- [coinmsw.pl](example/inference/coinmws.pl) is a version that models the problem with PRISM syntax.
+ [coinmsw.pl](example/inference/coinmsw.pl) is a version that models the problem with PRISM syntax.
   - Dice ([dice.cpl](example/inference/dice.cpl), 
   [dice.pl](example/inference/dice.pl)) 
   A six-sided die is repeatedly thrown until the outcome is six.