Commit Graph

5909 Commits

Author SHA1 Message Date
Tiago Gomes
f8e714dcc3 add social domain benchmark with evidence 2012-06-08 14:08:14 +01:00
Tiago Gomes
51c279d24c increase the cost of the grounding operator 2012-06-08 13:35:00 +01:00
Vítor Santos Costa
e55d143e8d fix extra CP. 2012-06-08 13:26:11 +01:00
Vitor Santos Costa
58c3445d82 win console. 2012-06-08 06:55:23 -05:00
Vitor Santos Costa
31b8cb6440 windows support. 2012-06-08 06:54:03 -05:00
Vitor Santos Costa
6566445b06 windows stuff. 2012-06-08 06:52:48 -05:00
Vitor Santos Costa
ca9c748692 make win crash on interrupt, for now 2012-06-08 06:52:21 -05:00
Vitor Santos Costa
dba0a81b1c fix cudd finder. 2012-06-07 10:30:08 -05:00
Vitor Santos Costa
71bd1d9d1f fix missing cygwin header:w::wq 2012-06-07 10:29:17 -05:00
Vitor Santos Costa
2f434ff48b complain if we have no valid float configureation. 2012-06-07 10:28:30 -05:00
U-WIN-UA9ACS5GS9N\vitor
76d7a1d5e5 don't trust that X+200 is > X 2012-06-07 10:27:33 -05:00
Ricardo Rocha
f0c0913490 fix multithreading with mode-directed tabling 2012-06-06 15:19:38 +01:00
Tiago Gomes
5785260644 fix warning 2012-06-06 15:04:28 +01:00
Vítor Santos Costa
3a212944fb fix bad compare in checking pt 2012-06-06 00:09:14 +01:00
Tiago Gomes
111de4c86a Merge branch 'master' of github.com:tacgomes/yap6.3 2012-06-05 15:33:49 +01:00
Tiago Gomes
568bb27a66 forgot this 2012-06-05 15:33:24 +01:00
Tiago Gomes
6cd33f92c2 Merge branch 'master' of github.com:tacgomes/yap6.3 2012-06-05 15:25:16 +01:00
Tiago Gomes
2cf6a2a33d add benchmark tests for lbp 2012-06-05 15:23:41 +01:00
Vítor Santos Costa
c4bd913e34 fix stupid indesing of very long terms. 2012-06-05 08:04:22 +01:00
Vítor Santos Costa
d1d01ddc2a Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-06-05 00:13:22 +01:00
Vítor Santos Costa
47a4b902e0 fix stupid indexing on sub-terms.; 2012-06-05 00:12:13 +01:00
Ricardo Rocha
7e667c1038 fix multithreading with mode-directed tabling 2012-06-04 19:47:45 +01:00
Ricardo Rocha
d540354c30 adding sum mode operator + fix multithreading compatibility 2012-06-04 19:27:31 +01:00
Vitor Santos Costa
67d52d3560 fix depth calculation. 2012-06-04 18:21:34 +01:00
Vitor Santos Costa
3669cb894f Merge branch 'master' of https://github.com/tacgomes/yap6.3
Conflicts:
	packages/CLPBN/clpbn/horus.yap
2012-06-04 16:29:56 +01:00
Tiago Gomes
31fde92a36 Merge branch 'master' of github.com:tacgomes/yap6.3 2012-06-04 14:57:42 +01:00
Tiago Gomes
eec4b1452b print all lifted bp flags 2012-06-01 19:31:07 +01:00
Tiago Gomes
8fa8fff9f1 minor improvements 2012-06-01 19:29:57 +01:00
Tiago Gomes
25ccfa2f54 only allow joint dists on cliques 2012-06-01 19:29:23 +01:00
Vitor Santos Costa
1fbd5c268b extend WorkSpace 2012-06-01 16:39:06 +01:00
Tiago Gomes
4708685ed4 fix bug in Factor::contains 2012-06-01 14:03:39 +01:00
Vitor Santos Costa
71a62307f4 CLP(BN) stuff. 2012-06-01 13:17:39 +01:00
Vitor Santos Costa
39f392be9c allow finer control over indexing sub-terms.
improve flag code a bit.
2012-06-01 13:16:29 +01:00
Tiago Gomes
ecde9649a8 fix header guard 2012-06-01 12:35:44 +01:00
Tiago Gomes
b5369db214 use only solveQuery 2012-05-31 23:06:53 +01:00
Tiago Gomes
f91e543d9d workaround c++ bad design: don't allow creating a factor graph from some pointer 2012-05-31 22:42:38 +01:00
Tiago Gomes
3f0f41c8a9 cleanup 2012-05-31 21:24:40 +01:00
Tiago Gomes
e11ed1a226 forgot these two 2012-05-31 21:24:15 +01:00
Tiago Gomes
22d8876d33 add support to (real) lifted belief propagation 2012-05-31 21:12:46 +01:00
Tiago Gomes
22780c4559 handle empty vectors in TinySet 2012-05-31 14:57:53 +01:00
Tiago Gomes
7429a39b48 fix a bug on absorving lifted evidence 2012-05-31 14:09:50 +01:00
Tiago Gomes
c2297c3f70 add lbp flag 2012-05-31 12:45:09 +01:00
Tiago Gomes
d00eb05624 use bind2nd instead of bind1st 2012-05-31 12:19:13 +01:00
Tiago Gomes
6668ee6381 add initial skeleton for lifted bp 2012-05-30 19:23:41 +01:00
Tiago Gomes
8d14593c3e add an enum for lifted solvers and do some renamings 2012-05-30 17:17:39 +01:00
Tiago Gomes
ac38e9e6a6 minor improvement 2012-05-29 17:19:49 +01:00
Tiago Gomes
651051484b update TODO 2012-05-29 17:14:29 +01:00
Tiago Gomes
02395daed3 add a sequential elimination heuristic 2012-05-29 17:14:01 +01:00
Tiago Gomes
0315cd51a3 remove repeated elements in TinySet 2012-05-29 17:09:45 +01:00
Tiago Gomes
6feb746412 use STL to calculate L1 distance and max norm 2012-05-29 13:48:08 +01:00