资 源 简 介
RockIt: A query engine for Markov logic
RockIt answers maximum a-posteriori (MAP) queries (also called MPE queries), marginal queries (also called probability queries), and learns the weights of Markov logic networks. Markov logic is a combination of Markov networks and first-order logic. RockIt is currently the fastest MAP query engine for Markov logic networks.
[RockIt is also available as a web service.](http://executor.informatik.uni-mannheim.de/systems/rockit/) All you have to do is upload your MLN files.
Maximum A-Posteriori (MAP) Inference
RockIt compiles MAP queries to integer linear programs. During this translation we apply the meta algorithms cutting plane inference (CPI) and cutting plane aggregation (CPA). In CPI we only add the constraints which are violated and solve several smaller ILPs until no new violated constra
文 件 列 表
rockit.properties
rockit-0.01.jar
rockit-0.01-javadoc.jar
rockit-0.01-sources.jar
apidocs
allclasses-frame.html
allclasses-noframe.html
com
constant-values.html
deprecated-list.html
help-doc.html
index-all.html
index.html
overview-frame.html
overview-summary.html
overview-tree.html
package-list
resources
serialized-form.html
stylesheet.css
lib
antlr-2.7.7.jar
antlr-3.4.jar
antlr-runtime-3.4.jar
args4j-2.0.16.jar
commons-io-2.4.jar
gurobi-rockit.jar
junit-3.8.1.jar
mysql-connector-java-5.1.18.jar
ST4-4.0.4.jar
stringtemplate-3.2.1.jar
