68d041f | Fabrizio Riguzzi | 08 February 2024, 07:58:50 UTC | mc_particle_sample/4 available | 08 February 2024, 07:58:50 UTC |
804265f | Fabrizio Riguzzi | 11 December 2023, 07:25:53 UTC | docs for highlight | 11 December 2023, 07:25:53 UTC |
cc84f13 | Fabrizio Riguzzi | 11 December 2023, 07:24:24 UTC | reexported pred are not documented, inserted link to doc of reexported modules | 11 December 2023, 07:24:24 UTC |
c369591 | Fabrizio Riguzzi | 10 December 2023, 20:14:53 UTC | new docs | 10 December 2023, 20:14:53 UTC |
199ad52 | Fabrizio Riguzzi | 10 December 2023, 20:14:30 UTC | fixed loading of clpr | 10 December 2023, 20:14:30 UTC |
ba6b126 | Fabrizio Riguzzi | 09 December 2023, 17:01:36 UTC | Updated pldoc | 09 December 2023, 17:01:36 UTC |
a603414 | Fabrizio Riguzzi | 09 December 2023, 10:56:10 UTC | added link to cplint_r PlDoc | 09 December 2023, 10:56:10 UTC |
c51541b | Fabrizio Riguzzi | 09 December 2023, 09:08:33 UTC | removed links to pldoc on swi-prolog server | 09 December 2023, 09:08:33 UTC |
5f2bc70 | Fabrizio Riguzzi | 09 December 2023, 09:02:49 UTC | fixed the links to pldoc | 09 December 2023, 09:02:49 UTC |
49f33b4 | Fabrizio Riguzzi | 09 December 2023, 08:52:16 UTC | updated man | 09 December 2023, 08:52:16 UTC |
ef94c3a | Fabrizio Riguzzi | 09 December 2023, 08:50:44 UTC | updated man + pldoc | 09 December 2023, 08:50:44 UTC |
000b02a | Fabrizio Riguzzi | 09 December 2023, 08:49:20 UTC | code for building pldoc | 09 December 2023, 08:49:20 UTC |
5496a1e | Fabrizio Riguzzi | 09 December 2023, 08:47:16 UTC | replaced old man links | 09 December 2023, 08:47:16 UTC |
2da027f | Fabrizio Riguzzi | 08 December 2023, 20:00:31 UTC | fixed a typo | 08 December 2023, 20:00:31 UTC |
7bc56b3 | Fabrizio Riguzzi | 08 December 2023, 18:56:04 UTC | sample_raw with histogram | 08 December 2023, 18:56:04 UTC |
0e58992 | Fabrizio Riguzzi | 08 December 2023, 15:44:08 UTC | histogram, density and densities now accept also lists of plain values | 08 December 2023, 15:44:08 UTC |
40863b2 | Fabrizio Riguzzi | 08 December 2023, 14:32:55 UTC | added must_be checks to cplint_util | 08 December 2023, 14:32:55 UTC |
6221220 | Fabrizio Riguzzi | 02 December 2023, 18:51:52 UTC | links to pldoc | 02 December 2023, 18:51:52 UTC |
c6538fe | Fabrizio Riguzzi | 08 November 2023, 08:44:23 UTC | removed depemdemce on rb_trees from kbest.pl | 08 November 2023, 08:44:23 UTC |
fb666af | Fabrizio Riguzzi | 08 November 2023, 08:27:12 UTC | renamed key->key_pair value->value_pair to avoid clash with janus | 08 November 2023, 08:27:12 UTC |
0b7e73d | Fabrizio Riguzzi | 07 November 2023, 06:15:23 UTC | fixed link to gauss_mean_est_user.pl | 07 November 2023, 06:15:23 UTC |
c6a948f | Fabrizio Riguzzi | 06 November 2023, 08:51:29 UTC | updated manual | 06 November 2023, 08:51:29 UTC |
a973e31 | Fabrizio Riguzzi | 06 November 2023, 08:49:27 UTC | name of the parameters of negative_binomial | 06 November 2023, 08:49:27 UTC |
759c4b9 | Fabrizio Riguzzi | 29 October 2023, 07:45:07 UTC | compiled manual | 29 October 2023, 07:45:07 UTC |
25d9abe | Fabrizio Riguzzi | 29 October 2023, 07:43:54 UTC | renamed title of manual | 29 October 2023, 07:43:54 UTC |
14a353e | Fabrizio Riguzzi | 28 October 2023, 12:52:21 UTC | fixed discontiguous get_node clauses | 28 October 2023, 12:52:21 UTC |
bdf1000 | Fabrizio Riguzzi | 28 October 2023, 10:56:17 UTC | must_be checks in kbest, lemur and slipcover | 28 October 2023, 10:56:17 UTC |
2d8ff71 | Fabrizio Riguzzi | 28 October 2023, 10:42:50 UTC | must_be in pitaind | 28 October 2023, 10:42:50 UTC |
e4796b8 | Fabrizio Riguzzi | 28 October 2023, 10:42:35 UTC | must_be in set_mc | 28 October 2023, 10:42:35 UTC |
03e85dd | Fabrizio Riguzzi | 28 October 2023, 10:35:59 UTC | built manual | 28 October 2023, 10:35:59 UTC |
4670156 | Fabrizio Riguzzi | 28 October 2023, 10:31:02 UTC | must_be cehcks for mcintyre, updated manual | 28 October 2023, 10:31:02 UTC |
7eff9e0 | Fabrizio Riguzzi | 28 October 2023, 09:24:12 UTC | updated doc and pldoc with arg types | 28 October 2023, 09:24:12 UTC |
bbcc9ee | Fabrizio Riguzzi | 28 October 2023, 09:17:47 UTC | added argument checks with must_be in pita | 28 October 2023, 09:17:47 UTC |
a402fa4 | Fabrizio Riguzzi | 28 October 2023, 08:55:56 UTC | added some arguments checks | 28 October 2023, 08:55:56 UTC |
3485b5f | Fabrizio Riguzzi | 28 October 2023, 08:33:57 UTC | fixed pldoc and manual on viterbi and added must_be checks | 28 October 2023, 08:33:57 UTC |
5026430 | Fabrizio Riguzzi | 14 May 2023, 12:35:21 UTC | test/6->test_prob/6 | 14 May 2023, 12:35:21 UTC |
2073d99 | Fabrizio Riguzzi | 20 April 2023, 10:02:54 UTC | mcaction in manual | 20 April 2023, 10:02:54 UTC |
21472bb | Fabrizio Riguzzi | 20 January 2023, 08:37:49 UTC | update comment on widgetmsw.pl | 20 January 2023, 08:37:49 UTC |
16a1caa | Fabrizio Riguzzi | 20 January 2023, 08:37:12 UTC | update comment | 20 January 2023, 08:37:12 UTC |
033938b | Fabrizio Riguzzi | 20 January 2023, 08:35:40 UTC | Merge branch 'master' of github.com:friguzzi/cplint | 20 January 2023, 08:35:40 UTC |
8984f2e | Fabrizio Riguzzi | 20 January 2023, 08:35:18 UTC | modified widget to match CR's paper | 20 January 2023, 08:35:18 UTC |
9bc5f55 | Damiano Azzolini | 22 August 2022, 10:12:11 UTC | renamed pascal -> negative_binomial | 22 August 2022, 10:12:11 UTC |
247bdfa | Damiano Azzolini | 22 August 2022, 07:54:05 UTC | fix in pascal distribution | 22 August 2022, 07:54:05 UTC |
b4497e8 | Damiano Azzolini | 29 March 2022, 10:18:48 UTC | Better error handling in utility/2 | 29 March 2022, 10:18:48 UTC |
2b799da | Damiano Azzolini | 03 February 2022, 10:06:51 UTC | fix high probability | 03 February 2022, 10:06:51 UTC |
60a34a2 | Damiano Azzolini | 03 February 2022, 08:05:25 UTC | rollback | 03 February 2022, 08:05:25 UTC |
33f5e6a | Damiano Azzolini | 02 February 2022, 17:56:44 UTC | fix high probability values | 02 February 2022, 17:56:44 UTC |
c3af317 | Damiano Azzolini | 02 February 2022, 14:52:18 UTC | Merge branch 'master' of https://github.com/friguzzi/cplint | 02 February 2022, 14:52:18 UTC |
e74ee84 | Fabrizio Riguzzi | 02 February 2022, 14:49:44 UTC | removed if from the management of negative literals. Non ground negation no more allowed | 02 February 2022, 14:49:44 UTC |
6652d09 | Fabrizio Riguzzi | 01 February 2022, 16:52:58 UTC | solved issue #43 Flexible probabilities with ProbLog syntax | 01 February 2022, 16:52:58 UTC |
6f228b4 | Fabrizio Riguzzi | 23 January 2022, 12:20:00 UTC | indian_gpa in DC syntax | 23 January 2022, 12:20:00 UTC |
15bfa8d | Fabrizio Riguzzi | 23 January 2022, 12:13:33 UTC | cplint syntax highlighting | 23 January 2022, 12:13:33 UTC |
f1f420f | Fabrizio Riguzzi | 23 January 2022, 11:47:11 UTC | comment specifying left rec grammar | 23 January 2022, 11:47:11 UTC |
62db4d9 | Fabrizio Riguzzi | 23 January 2022, 11:36:33 UTC | floundering negation allowed | 23 January 2022, 11:36:33 UTC |
e7fab11 | Fabrizio Riguzzi | 23 January 2022, 09:34:57 UTC | Merge branch 'master' of github.com:friguzzi/cplint | 23 January 2022, 09:34:57 UTC |
bf2e6ca | Fabrizio Riguzzi | 23 January 2022, 09:34:21 UTC | bug in pcfg.pl: rule->grammar_rule because of conflict with the system | 23 January 2022, 09:34:21 UTC |
664bbca | Damiano Azzolini | 14 January 2022, 16:00:56 UTC | typo | 14 January 2022, 16:00:56 UTC |
667a940 | Damiano Azzolini | 09 December 2021, 07:02:50 UTC | removed choice point in perm_map/2 | 09 December 2021, 07:02:50 UTC |
8808f42 | Fabrizio Riguzzi | 14 November 2021, 07:10:53 UTC | replaced extract_vars with term_variables, removed dependency from rbtrees | 14 November 2021, 07:10:53 UTC |
f003787 | Damiano Azzolini | 29 October 2021, 12:26:34 UTC | removed unused predicate | 29 October 2021, 12:26:34 UTC |
f2b79d0 | Damiano Azzolini | 29 October 2021, 07:39:41 UTC | cleanup and fix tests | 29 October 2021, 07:39:41 UTC |
96077da | Damiano Azzolini | 29 October 2021, 07:18:17 UTC | Merge remote-tracking branch 'origin/abduction' | 29 October 2021, 07:18:17 UTC |
f0170ac | Fabrizio Riguzzi | 12 October 2021, 12:06:05 UTC | docs for multinomial dist | 12 October 2021, 12:06:05 UTC |
60f4f58 | Damiano Azzolini | 12 October 2021, 09:19:27 UTC | new examples | 12 October 2021, 09:19:27 UTC |
bd26061 | Fabrizio Riguzzi | 26 September 2021, 18:01:11 UTC | multinomial distribution | 26 September 2021, 18:01:11 UTC |
7d7f482 | Damiano Azzolini | 02 August 2021, 07:48:59 UTC | test abd | 02 August 2021, 07:48:59 UTC |
8a94161 | Damiano Azzolini | 02 August 2021, 06:10:22 UTC | muliple expl | 02 August 2021, 06:10:22 UTC |
4f04f35 | Fabrizio Riguzzi | 06 June 2021, 06:53:56 UTC | fixed example query | 06 June 2021, 06:53:56 UTC |
28b3342 | Fabrizio Riguzzi | 05 June 2021, 17:35:05 UTC | rename in/2 to inside/2 to avoid clash with internal predicate | 05 June 2021, 17:35:05 UTC |
e9f4a02 | Fabrizio Riguzzi | 01 June 2021, 17:54:19 UTC | url of man | 01 June 2021, 17:54:19 UTC |
a31a87e | Fabrizio Riguzzi | 01 June 2021, 17:53:48 UTC | url of man | 01 June 2021, 17:53:48 UTC |
43fa20e | Fabrizio Riguzzi | 01 June 2021, 17:53:10 UTC | url of man | 01 June 2021, 17:53:10 UTC |
821d5d4 | Fabrizio Riguzzi | 01 June 2021, 17:52:57 UTC | url of man | 01 June 2021, 17:52:57 UTC |
6e7de27 | Fabrizio Riguzzi | 01 June 2021, 17:37:20 UTC | fixed pldoc for swi_builtin/1 | 01 June 2021, 17:37:20 UTC |
bd39d06 | Fabrizio Riguzzi | 01 June 2021, 17:29:44 UTC | new cplint on swish url | 01 June 2021, 17:29:44 UTC |
bc81b26 | Fabrizio Riguzzi | 01 June 2021, 17:27:32 UTC | removed s/2 from interface, remove broken link to help | 01 June 2021, 17:27:32 UTC |
8d69888 | Fabrizio Riguzzi | 01 June 2021, 17:22:29 UTC | removed useless code, fixed pldoc module name | 01 June 2021, 17:22:29 UTC |
38a2490 | Fabrizio Riguzzi | 13 May 2021, 09:47:45 UTC | solved the problem of three class classification (mutual exclusivity) | 13 May 2021, 09:47:45 UTC |
25308d2 | Fabrizio Riguzzi | 22 March 2021, 11:33:30 UTC | fixed a bug in get_node for negative exs (returing bdd 0 when the goal is not derivable) | 22 March 2021, 11:33:30 UTC |
fb74c8f | Fabrizio Riguzzi | 16 March 2021, 14:44:38 UTC | renamed in->inside in bongard to avoid conflict with in/2 of clpfd | 16 March 2021, 14:44:38 UTC |
b789aa5 | Fabrizio Riguzzi | 24 December 2020, 11:08:57 UTC | new examples for MAP/Viterbi | 24 December 2020, 11:08:57 UTC |
1d2a42c | Fabrizio Riguzzi | 24 December 2020, 10:13:33 UTC | - removed mpe (ex vit) predicates because they did not perform nor mpe nor viterbi in fact, on example (bag_game_mpe.pl) win :- red, green. win :- blue, yellow. 0.4::red. 0.9::green. 0.5::blue. 0.6::yellow. ?- mpe_prob(win,P,Exp). returns P=0.36 Exp=[ rule(0, red, [red:0.4, '':0.6], []), rule(1, green, [green:0.9, '':0.09999999999999998], [])] which is not the mpe solution, which is Exp = [ rule(0, red, [red:0.4, '':0.6], []), rule(1, green, [green:0.9, '':0.09999999999999998], []), rule(2, blue, [blue:0.5, '':0.5], []), rule(3, yellow, [yellow:0.6, '':0.4], [])] but a viterbi solution (bag_game_vit.pl). On the other hand on (eruption_mpe.pl) eruption : 0.6; earthquake : 0.3 :- sudden_energy_release, fault_rupture(_). sudden_energy_release : 0.7. fault_rupture(southwest_northeast) : 0.6. fault_rupture(east_west) : 0.55. ev :- eruption. the query mpe(ev,P,MPE) returns MPE = [rule(1, sudden_energy_release, [sudden_energy_release:0.7, '' : 0.30000000000000004], []), rule(2, fault_rupture(southwest_northeast), [fault_rupture(southwest_northeast):0.6, '' : 0.4], []), rule(3, fault_rupture(east_west), [fault_rupture(east_west):0.55, '' : 0.44999999999999996], []), rule(0, eruption, [eruption:0.6, earthquake:0.3, '' : 0.10000000000000003], [sudden_energy_release, fault_rupture(southwest_northeast)])], P = 0.1386 which is not the viterbi solution which is (eruption_vit.pl) P = 0.252, E = [rule(0, eruption, [eruption:0.6, earthquake:0.3, '':0.10000000000000003], [sudden_energy_release, fault_rupture(southwest_northeast)]), rule(1, sudden_energy_release, [sudden_energy_release:0.7, '':0.30000000000000004], []), rule(2, fault_rupture(southwest_northeast), [fault_rupture(southwest_northeast):0.6, '':0.4], [])]. - removed viterbi_all | 24 December 2020, 10:13:33 UTC |
bfa6474 | Fabrizio Riguzzi | 23 December 2020, 16:27:45 UTC | renamed file | 23 December 2020, 16:27:45 UTC |
908407f | Fabrizio Riguzzi | 23 December 2020, 16:23:13 UTC | examples showing that mpe does not compute the mpe expl nor the viterbi expl | 23 December 2020, 16:23:13 UTC |
5d93e1f | Fabrizio Riguzzi | 23 December 2020, 15:28:38 UTC | restructuring mpe, map, viterbi code + manual | 23 December 2020, 15:28:38 UTC |
c8eb5ed | Fabrizio Riguzzi | 19 December 2020, 18:30:09 UTC | loading of libraries before built_in | 19 December 2020, 18:30:09 UTC |
4388d7c | Fabrizio Riguzzi | 06 December 2020, 09:14:35 UTC | new term exp lemur | 06 December 2020, 09:14:35 UTC |
669ae26 | Fabrizio Riguzzi | 06 December 2020, 09:09:44 UTC | new term exp kbest | 06 December 2020, 09:09:44 UTC |
cf08614 | Fabrizio Riguzzi | 06 December 2020, 09:05:13 UTC | new term exp pitaind | 06 December 2020, 09:05:13 UTC |
aae0e76 | Fabrizio Riguzzi | 06 December 2020, 08:58:47 UTC | new term exp viterbi | 06 December 2020, 08:58:47 UTC |
1176d1a | Fabrizio Riguzzi | 06 December 2020, 08:48:36 UTC | new term_exp for sc | 06 December 2020, 08:48:36 UTC |
47508cb | Fabrizio Riguzzi | 06 December 2020, 08:02:10 UTC | reorganized term_expansion | 06 December 2020, 08:02:10 UTC |
3384d21 | Damiano Azzolini | 22 November 2020, 16:13:50 UTC | temp | 22 November 2020, 16:13:50 UTC |
95a045d | Fabrizio Riguzzi | 14 November 2020, 18:19:39 UTC | Merge branch 'master' of github.com:friguzzi/cplint | 14 November 2020, 18:19:39 UTC |
0d7b0c0 | Fabrizio Riguzzi | 14 November 2020, 18:18:39 UTC | fixed syntax of ex after Paulo Moura change | 14 November 2020, 18:18:39 UTC |
8721408 | Fabrizio Riguzzi | 14 November 2020, 18:00:06 UTC | Merge pull request #42 from pmoura/fix_loading_conflicts_when_logtalk_is_loaded Fix pita.pl loading operator clash when Logtalk is loaded | 14 November 2020, 18:00:06 UTC |
049eaf2 | Paulo Moura | 14 November 2020, 15:16:36 UTC | Fix pita.pl loading operator clash when Logtalk is loaded | 14 November 2020, 15:16:36 UTC |
b1fd8b0 | Fabrizio Riguzzi | 12 November 2020, 07:23:34 UTC | Merge pull request #41 from friguzzi/abduction Tests | 12 November 2020, 07:23:34 UTC |
760d963 | Damiano Azzolini | 11 November 2020, 21:20:30 UTC | Merge branch 'master' into abduction | 11 November 2020, 21:20:30 UTC |
96fe416 | Damiano Azzolini | 11 November 2020, 21:19:54 UTC | Merge remote-tracking branch 'origin/master' into abduction | 11 November 2020, 21:19:54 UTC |