Vitor Santos Costa
|
15bcaf97fc
|
speedup.
|
2012-08-08 03:59:06 +01:00 |
|
Costa Vitor
|
8ba1de7250
|
fixes for external CUDD compatibility.
|
2012-07-16 11:58:21 -05:00 |
|
Vitor Santos Costa
|
d78a55ca83
|
fix cudd support.
|
2012-07-08 07:45:16 -05:00 |
|
Vítor Santos Costa
|
8a22258fdf
|
use standard paths for installing examples.
|
2012-07-06 18:56:05 -05:00 |
|
Vítor Santos Costa
|
9b0b6ec649
|
fix stop_low_level_trace.
P Moura request for (?).
|
2012-05-02 10:09:26 +01:00 |
|
Vítor Santos Costa
|
067d6d3f4f
|
fix problog experiment.
|
2012-04-27 16:30:02 +01:00 |
|
Vítor Santos Costa
|
5ee39c6f08
|
back to original version.
|
2012-04-27 16:20:40 +01:00 |
|
Vítor Santos Costa
|
6bb4db125d
|
fix names.
|
2012-04-27 15:33:32 +01:00 |
|
Vítor Santos Costa
|
60184e230d
|
new lbdd stuff.
|
2012-04-27 15:32:57 +01:00 |
|
Vítor Santos Costa
|
ceb0c1f5ac
|
new support file.
|
2012-04-27 15:32:17 +01:00 |
|
Vítor Santos Costa
|
823066f9da
|
use library for learning.
|
2012-04-27 15:30:39 +01:00 |
|
Vítor Santos Costa
|
fd4bf21ece
|
fix file names.
|
2012-04-27 15:26:44 +01:00 |
|
Vítor Santos Costa
|
fd755f0b7e
|
allow ProbLog to use lbdd.
|
2012-04-26 13:52:09 +01:00 |
|
Vítor Santos Costa
|
ed0d3f6cae
|
Latest ProbLog
|
2012-01-11 14:44:59 +00:00 |
|
Vítor Santos Costa
|
79d1bf5eec
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
OPTYap/opt.config.h
OPTYap/opt.structs.h
|
2011-11-30 13:24:12 +00:00 |
|
Vitor Santos Costa
|
ff84eaf782
|
delete_file changed in 6.3.
|
2011-09-20 14:50:24 +01:00 |
|
Vítor Santos Costa
|
cdd33b8c1a
|
new CPLint and ProbLog versions.
|
2011-09-15 15:49:06 +01:00 |
|
Vitor Santos Costa
|
01c80d77e0
|
update latest releaase of ProbLog
|
2011-09-05 03:07:15 +02:00 |
|
Vitor Santos Costa
|
1130a3536d
|
fix ProbLog error.
|
2011-07-04 22:36:57 +01:00 |
|
Vitor Santos Costa
|
be345a0387
|
update to recent ProbLog.
|
2011-06-26 23:13:43 +01:00 |
|
Theofrastos Mantadelis
|
89789e8232
|
corrected an import bug
|
2011-02-08 15:57:23 +01:00 |
|
Theofrastos Mantadelis
|
457052f661
|
Corrected a minor ProbLog bug
|
2011-01-17 12:02:05 +01:00 |
|
Theofrastos Mantadelis
|
8d77ee7769
|
ProbLog: Added fact map export
|
2010-12-20 12:36:59 +01:00 |
|
Theofrastos Mantadelis
|
90041919d4
|
fixed problogbdd compilation warnings
|
2010-12-17 12:23:03 +01:00 |
|
Theofrastos Mantadelis
|
a442d888de
|
Newest ProbLog version
|
2010-12-16 14:30:50 +01:00 |
|
Theofrastos Mantadelis
|
9ee83ddf6c
|
problog examples fix
|
2010-12-02 15:04:42 +01:00 |
|
Theofrastos Mantadelis
|
f46000cd11
|
office fix
|
2010-12-02 15:02:49 +01:00 |
|
Theofrastos Mantadelis
|
df162a0ae6
|
Updating ProbLog and adding ADs
|
2010-12-02 14:55:15 +01:00 |
|
Theofrastos Mantadelis
|
b54517d419
|
Updating ProbLog and adding ADs
|
2010-12-02 14:54:47 +01:00 |
|
Theofrastos Mantadelis
|
6ffa3eb06b
|
...
|
2010-12-02 14:48:28 +01:00 |
|
Theofrastos Mantadelis
|
611af95e43
|
added anottated disjunctions
|
2010-11-30 19:17:25 +01:00 |
|
Theofrastos Mantadelis
|
bad796702d
|
follow up for using user defined ground
|
2010-11-09 15:12:34 +01:00 |
|
Theofrastos Mantadelis
|
94d6c3cebd
|
Added a user modifiable ground handler for ProbLog probabilistic facts
|
2010-11-09 02:51:24 +01:00 |
|
Theofrastos Mantadelis
|
0a5a1efd77
|
no comment
|
2010-11-03 19:34:16 +01:00 |
|
Theofrastos Mantadelis
|
8303b477ab
|
these guys got forgotten
|
2010-11-03 19:30:43 +01:00 |
|
Theofrastos Mantadelis
|
24b21de2e7
|
ProbLog Makefile.in to include a new file please re-configure
|
2010-11-03 19:24:37 +01:00 |
|
Theofrastos Mantadelis
|
c804d105b6
|
Some ProbLog improvements related with tabling efficiency, more to come soon
|
2010-11-03 19:22:11 +01:00 |
|
Theofrastos Mantadelis
|
de06131ba4
|
bug correction
|
2010-10-20 17:41:13 +02:00 |
|
Theofrastos Mantadelis
|
284fc9ab8b
|
corrected a small bug with export
|
2010-10-06 18:27:40 +02:00 |
|
Theofrastos Mantadelis
|
1342d2dab2
|
SimpleCUDD versioning
|
2010-10-06 13:24:25 +02:00 |
|
Theofrastos Mantadelis
|
d1839b730c
|
ProbLog versioning, ProbLog Tabling warning message instead of error
|
2010-10-06 12:59:18 +02:00 |
|
Theofrastos Mantadelis
|
ff6bd1dda0
|
ProbLog Versioning System
|
2010-10-05 18:29:29 +02:00 |
|
Theofrastos Mantadelis
|
f2e3476a8e
|
ProbLog Versioning System
|
2010-10-05 18:27:09 +02:00 |
|
Theofrastos Mantadelis
|
5323a3677d
|
ProbLog Versioning System
|
2010-10-05 18:26:40 +02:00 |
|
Theofrastos Mantadelis
|
c1c02d1e95
|
Correcting some versioning issues
|
2010-10-01 12:04:45 +02:00 |
|
Theofrastos Mantadelis
|
69dbf72553
|
Various ProbLog improvements
|
2010-10-01 11:40:24 +02:00 |
|
Theofrastos Mantadelis
|
4359629681
|
ProblogBDD -> problogbdd
|
2010-09-29 18:43:48 +02:00 |
|
Theofrastos Mantadelis
|
d750a5d5a2
|
update in learning
|
2010-09-29 18:40:34 +02:00 |
|
Theofrastos Mantadelis
|
60df0028fb
|
Migrated some minor improvements
|
2010-09-29 13:08:16 +02:00 |
|
Theofrastos Mantadelis
|
0cd5cec64b
|
Portability issues
|
2010-09-28 21:22:32 +02:00 |
|