David Vaz
|
8511e87e32
|
packages udi as module
|
2012-12-17 20:29:59 +00:00 |
|
David Vaz
|
bd25c61fbf
|
New work on UDI
|
2012-12-17 20:23:03 +00:00 |
|
Vitor Santos Costa
|
84b0529060
|
improve prism compatibility (fix asia).
|
2012-12-14 08:26:56 +00:00 |
|
Vitor Santos Costa
|
c4448d066a
|
allow backtracking over possible values of constraints.a
|
2012-12-13 15:53:01 +00:00 |
|
Tiago Gomes
|
8b996c5dc9
|
Lkc: show that we exported the circuit to graphviz when debugging
|
2012-12-13 14:21:16 +00:00 |
|
Tiago Gomes
|
48413deae7
|
Ops: deleted this by accident in the previous commit
|
2012-12-13 14:08:16 +00:00 |
|
Tiago Gomes
|
dd8a92aaf3
|
Merge with upstream code
|
2012-12-13 12:55:55 +00:00 |
|
Tiago Gomes
|
11e688ffd7
|
Lkc: use utility function
|
2012-12-12 21:19:22 +00:00 |
|
Tiago Gomes
|
f2173d001e
|
Lkc: fix bug when adding weights
|
2012-12-12 21:16:36 +00:00 |
|
Tiago Gomes
|
c7588c9361
|
Trivial
|
2012-12-12 17:03:11 +00:00 |
|
Tiago Gomes
|
4683d30d8e
|
Trivial
|
2012-12-12 17:01:30 +00:00 |
|
Tiago Gomes
|
39bf95fe2b
|
trivial
|
2012-12-12 16:28:18 +00:00 |
|
Tiago Gomes
|
8eb657aec2
|
Change extension of school parschema to pfl
|
2012-12-12 16:00:21 +00:00 |
|
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 |
|
Vítor Santos Costa
|
354dbbf802
|
follow pldoc
|
2012-12-08 10:52:39 +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 |
|
Vitor Santos Costa
|
b98b09e7de
|
improve utf-8
|
2012-12-07 08:10:21 +00:00 |
|
Vitor Santos Costa
|
a813a13412
|
mysqldb interface vs Prolog
|
2012-12-04 14:49:29 +00:00 |
|
Vitor Santos Costa
|
36ae500118
|
fixes
|
2012-12-03 12:39:25 +00:00 |
|
Vítor Santos Costa
|
d9d954abe1
|
fix handling of methods and classes with named objects: just use PyObject_Call()
|
2012-12-02 13:19:10 +00:00 |
|
Vitor Santos Costa
|
3c0e16030c
|
imprive python interface
|
2012-12-01 14:28:25 +00:00 |
|
Tiago Gomes
|
ee1b7dcd21
|
abort when compilation failed
|
2012-11-27 16:54:02 +00:00 |
|
Vitor Santos Costa
|
683032432c
|
more examples
|
2012-11-27 13:50:18 +00:00 |
|
Vítor Santos Costa
|
e529e79582
|
more progress
|
2012-11-27 12:10:41 +00:00 |
|
Vitor Santos Costa
|
f1874ecec0
|
inprove python interface.
|
2012-11-27 00:16:34 +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 |
|