Tiago Gomes
|
0f46c97481
|
Trivial
|
2012-12-12 15:47:09 +00:00 |
|
Tiago Gomes
|
e66ff6777c
|
Be consistent: constraint is always on top
|
2012-12-12 15:41:41 +00:00 |
|
Tiago Gomes
|
66cd58655b
|
Place the debug_school predicate into a different file
|
2012-12-12 15:36:38 +00:00 |
|
Tiago Gomes
|
01dfc5e2be
|
Change extension of school_params
school_params does not define any pfl network, so it shouldn't have pfl as the extension
|
2012-12-12 15:26:49 +00:00 |
|
Tiago Gomes
|
108e310a0f
|
Rework the learning examples
|
2012-12-12 15:16:30 +00:00 |
|
Tiago Gomes
|
f128b6de7a
|
school_32 should use clp(bn)
|
2012-12-12 00:27:32 +00:00 |
|
Tiago Gomes
|
27a235f65b
|
Remove text explaning pfl.
The text is badly written and explanaing pfl shouldn't be in *.pfl files, but rather in paper or README file
|
2012-12-11 23:36:10 +00:00 |
|
Tiago Gomes
|
4310e42562
|
rework examples
|
2012-12-11 23:06:09 +00:00 |
|
Tiago Gomes
|
ccba2d4177
|
update Makefile to reflect the change of extension to .pfl
|
2012-12-11 21:02:26 +00:00 |
|
Tiago Gomes
|
1641d1fa30
|
Remove files that souldn't be in the repository
|
2012-12-11 16:22:38 +00:00 |
|
Tiago Gomes
|
47bc8f22fc
|
Examples: sprinker was converted from clpbn to pfl
|
2012-12-11 16:20:55 +00:00 |
|
Tiago Gomes
|
d8a7b7aad6
|
Examples: change extension to pfl
|
2012-12-11 16:19:59 +00:00 |
|
Tiago Gomes
|
a59c152962
|
Lkc: Fix smoothing in atom counting nodes
|
2012-12-11 16:02:48 +00:00 |
|
Tiago Gomes
|
bb68afe91d
|
Fix an error caused by a temporary being out of scope
|
2012-12-11 15:52:20 +00:00 |
|
Tiago Gomes
|
1d732594e2
|
smooth circuit
Smooth the circuit independent of the verbosity level, but don't smooth it when the compilation has fail.
|
2012-12-10 19:39:09 +00:00 |
|
Tiago Gomes
|
8371e395dd
|
fix typo
|
2012-12-10 19:37:41 +00:00 |
|
Tiago Gomes
|
a25f4584c8
|
support printing LitLvTypes objects
|
2012-12-10 18:48:54 +00:00 |
|
Tiago Gomes
|
9c8827c309
|
always copy clauses for backup
|
2012-12-09 22:57:39 +00:00 |
|
Tiago Gomes
|
90736156ae
|
some clean ups
|
2012-12-09 22:13:58 +00:00 |
|
Tiago Gomes
|
e46d2177b7
|
rework a bit the test infrastructure for lkc
|
2012-12-09 22:04:33 +00:00 |
|
Tiago Gomes
|
907144db32
|
don't use a stack for atom counting operator
|
2012-12-09 19:46:14 +00:00 |
|
Tiago Gomes
|
57a31c2c36
|
fix showing the weights on edge labels when there is a SetOrNode ancestor
|
2012-12-09 17:33:36 +00:00 |
|
Tiago Gomes
|
59f653aabd
|
move implementation of copyClauses to another file
|
2012-12-08 19:32:19 +00:00 |
|
Tiago Gomes
|
4edbcf86b8
|
Use pointers to refer to clauses for better performance
|
2012-12-08 19:17:19 +00:00 |
|
Tiago Gomes
|
73b3594c97
|
lifted kc: when not debuging don't keep track of the origin clauses
|
2012-12-07 11:47:50 +00:00 |
|
Tiago Gomes
|
ee1b7dcd21
|
abort when compilation failed
|
2012-11-27 16:54:02 +00:00 |
|
Tiago Gomes
|
610e55a4a2
|
Improve debbuging for lifted knowledge compilation
|
2012-11-26 14:46:45 +00:00 |
|
Tiago Gomes
|
1f1d194326
|
remove unnecessary std set
|
2012-11-26 14:46:00 +00:00 |
|
Tiago Gomes
|
a2429a1eec
|
Merge branch 'master' of github.com:tacgomes/yap6.3
|
2012-11-26 11:48:24 +00:00 |
|
Tiago Gomes
|
e09c25bd59
|
remove grounding stub form lifted knowledge compilation. its hard to implement
|
2012-11-22 16:34:24 +00:00 |
|
Tiago Gomes
|
4afe6c8161
|
refactor horus_ground and horus_lifted
|
2012-11-22 16:33:22 +00:00 |
|
Tiago Gomes
|
992d06656d
|
refactor horus_ground.yap
|
2012-11-22 15:54:30 +00:00 |
|
Tiago Gomes
|
85db763d9c
|
small improvement in HorusYap
|
2012-11-16 22:38:14 +00:00 |
|
Tiago Gomes
|
51eef45b2d
|
refactor HorusYap
|
2012-11-16 17:10:04 +00:00 |
|
Tiago Gomes
|
59fd21bf33
|
use only 1 lifted solver instance
|
2012-11-16 16:50:19 +00:00 |
|
Tiago Gomes
|
c2791748d2
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-11-16 00:57:41 +00:00 |
|
Vitor Santos Costa
|
114a6732f0
|
add_factor should succeed if Constraints are satisfied
|
2012-11-15 17:28:57 +00:00 |
|
Tiago Gomes
|
51fd48cd46
|
Ouchgit statusgit status! forgot to add these to index
|
2012-11-14 23:17:39 +00:00 |
|
Tiago Gomes
|
4522850cd6
|
one step close to use one solver instatiation to solve several queries
|
2012-11-14 23:13:46 +00:00 |
|
Tiago Gomes
|
b673dfd462
|
fix type in an example
|
2012-11-14 23:12:03 +00:00 |
|
Tiago Gomes
|
64a27847cc
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
Tiago Gomes
|
6e7d0d1d0a
|
remove old TODOs
|
2012-11-14 21:17:04 +00:00 |
|
Tiago Gomes
|
cad22da9f5
|
fixes & cleanups
|
2012-11-14 21:05:55 +00:00 |
|
Tiago Gomes
|
d9e48e6290
|
log domain calculations fixes for lifted knowledge compilation
|
2012-11-14 18:40:03 +00:00 |
|
Vitor Santos Costa
|
740dd0ce99
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-11-14 16:01:43 +00:00 |
|
Vitor Santos Costa
|
416b407faa
|
fixes i r..eal
|
2012-11-14 16:00:35 +00:00 |
|
Tiago Gomes
|
9202e286f8
|
IncExc: check if log vars are count normalized
|
2012-11-14 14:43:56 +00:00 |
|
Tiago Gomes
|
f5c85ffcc9
|
shatter agains the query in lifted knowledge compilation
|
2012-11-12 15:20:42 +00:00 |
|
Tiago Gomes
|
4776817603
|
move more code around
|
2012-11-10 00:18:20 +00:00 |
|
Tiago Gomes
|
07bcc89a76
|
factor out some lifted operations in a new class
|
2012-11-09 23:52:35 +00:00 |
|