├── .github └── workflows │ └── python-app.yml ├── .gitignore ├── LICENSE ├── MANIFEST.in ├── README.md ├── deepstochlog ├── __init__.py ├── _meta_program_suffix.pl ├── context.py ├── dataloader.py ├── dataset.py ├── inferences.py ├── logic.py ├── model.py ├── network.py ├── networkevaluation.py ├── nn_models.py ├── parser.py ├── rule.py ├── tabled_and_or_trees.py ├── tabled_tree_builder.py ├── term.py ├── trainer.py └── utils.py ├── examples ├── addition │ ├── __init__.py │ ├── addition.pl │ ├── addition.py │ ├── addition_data.py │ ├── addition_evaluate.py │ └── addition_timing.py ├── addition_simple │ ├── addition_simple.pl │ └── addition_simple.py ├── anbncn │ ├── __init__.py │ ├── anbncn.pl │ ├── anbncn.py │ ├── anbncn_data.py │ └── anbncn_evaluate.py ├── bracket │ ├── __init__.py │ ├── bracket.pl │ ├── bracket.py │ ├── bracket_all.pl │ ├── bracket_data.py │ └── bracket_evaluate.py ├── citeseer │ ├── base │ │ ├── citeseer.pl │ │ ├── citeseer.py │ │ └── citeseer_data.py │ ├── citeseer_utils.py │ ├── with_influence │ │ ├── citeseer_data_withinfluence.py │ │ ├── citeseer_influence.pl │ │ └── citeseer_influence.py │ ├── with_rule_weights │ │ ├── citeseer_data_withrules.py │ │ ├── citeseer_ruleweights.pl │ │ └── citeseer_ruleweights.py │ ├── with_rule_weights_xy │ │ ├── citeseer_data_withrules.py │ │ ├── citeseer_ruleweights.pl │ │ └── citeseer_ruleweights.py │ └── with_structure_learning │ │ ├── citeseer_data_struct.py │ │ ├── citeseer_struct.pl │ │ └── citeseer_struct.py ├── cora │ └── with_rule_weights │ │ ├── cora_data_withrules.py │ │ ├── cora_ruleweights.pl │ │ └── cora_ruleweights.py ├── data_utils.py ├── evaluate.py ├── experiment_utils.py ├── mathexpression │ ├── __init__.py │ ├── download_hwf.sh │ ├── mathexpression.pl │ ├── mathexpression.py │ ├── mathexpression_data.py │ ├── mathexpression_notabling.pl │ ├── mathexpression_tabled_vs_notabled.py │ ├── mathexpression_tabled_with_probabilities.py │ ├── mathexpression_with_probabilities.pl │ └── splits_with_valid │ │ ├── expr_test.json │ │ ├── expr_train.json │ │ └── expr_val.json ├── models.py └── wap │ ├── __init__.py │ ├── wap.pl │ ├── wap.py │ ├── wap_data.py │ ├── wap_evaluate.py │ └── wap_network.py ├── requirements.txt ├── setup.py └── tests ├── test_anbncn.py ├── test_bracket.py ├── test_citeseer.py ├── test_examples.py ├── test_parser.py └── test_tabled_tree_builder.py /.github/workflows/python-app.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/.github/workflows/python-app.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/README.md -------------------------------------------------------------------------------- /deepstochlog/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /deepstochlog/_meta_program_suffix.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/_meta_program_suffix.pl -------------------------------------------------------------------------------- /deepstochlog/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/context.py -------------------------------------------------------------------------------- /deepstochlog/dataloader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/dataloader.py -------------------------------------------------------------------------------- /deepstochlog/dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/dataset.py -------------------------------------------------------------------------------- /deepstochlog/inferences.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/inferences.py -------------------------------------------------------------------------------- /deepstochlog/logic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/logic.py -------------------------------------------------------------------------------- /deepstochlog/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/model.py -------------------------------------------------------------------------------- /deepstochlog/network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/network.py -------------------------------------------------------------------------------- /deepstochlog/networkevaluation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/networkevaluation.py -------------------------------------------------------------------------------- /deepstochlog/nn_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/nn_models.py -------------------------------------------------------------------------------- /deepstochlog/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/parser.py -------------------------------------------------------------------------------- /deepstochlog/rule.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/rule.py -------------------------------------------------------------------------------- /deepstochlog/tabled_and_or_trees.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/tabled_and_or_trees.py -------------------------------------------------------------------------------- /deepstochlog/tabled_tree_builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/tabled_tree_builder.py -------------------------------------------------------------------------------- /deepstochlog/term.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/term.py -------------------------------------------------------------------------------- /deepstochlog/trainer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/trainer.py -------------------------------------------------------------------------------- /deepstochlog/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/deepstochlog/utils.py -------------------------------------------------------------------------------- /examples/addition/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/addition/addition.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/addition/addition.pl -------------------------------------------------------------------------------- /examples/addition/addition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/addition/addition.py -------------------------------------------------------------------------------- /examples/addition/addition_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/addition/addition_data.py -------------------------------------------------------------------------------- /examples/addition/addition_evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/addition/addition_evaluate.py -------------------------------------------------------------------------------- /examples/addition/addition_timing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/addition/addition_timing.py -------------------------------------------------------------------------------- /examples/addition_simple/addition_simple.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/addition_simple/addition_simple.pl -------------------------------------------------------------------------------- /examples/addition_simple/addition_simple.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/addition_simple/addition_simple.py -------------------------------------------------------------------------------- /examples/anbncn/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/anbncn/anbncn.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/anbncn/anbncn.pl -------------------------------------------------------------------------------- /examples/anbncn/anbncn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/anbncn/anbncn.py -------------------------------------------------------------------------------- /examples/anbncn/anbncn_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/anbncn/anbncn_data.py -------------------------------------------------------------------------------- /examples/anbncn/anbncn_evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/anbncn/anbncn_evaluate.py -------------------------------------------------------------------------------- /examples/bracket/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/bracket/bracket.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/bracket/bracket.pl -------------------------------------------------------------------------------- /examples/bracket/bracket.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/bracket/bracket.py -------------------------------------------------------------------------------- /examples/bracket/bracket_all.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/bracket/bracket_all.pl -------------------------------------------------------------------------------- /examples/bracket/bracket_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/bracket/bracket_data.py -------------------------------------------------------------------------------- /examples/bracket/bracket_evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/bracket/bracket_evaluate.py -------------------------------------------------------------------------------- /examples/citeseer/base/citeseer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/base/citeseer.pl -------------------------------------------------------------------------------- /examples/citeseer/base/citeseer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/base/citeseer.py -------------------------------------------------------------------------------- /examples/citeseer/base/citeseer_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/base/citeseer_data.py -------------------------------------------------------------------------------- /examples/citeseer/citeseer_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/citeseer_utils.py -------------------------------------------------------------------------------- /examples/citeseer/with_influence/citeseer_data_withinfluence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_influence/citeseer_data_withinfluence.py -------------------------------------------------------------------------------- /examples/citeseer/with_influence/citeseer_influence.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_influence/citeseer_influence.pl -------------------------------------------------------------------------------- /examples/citeseer/with_influence/citeseer_influence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_influence/citeseer_influence.py -------------------------------------------------------------------------------- /examples/citeseer/with_rule_weights/citeseer_data_withrules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_rule_weights/citeseer_data_withrules.py -------------------------------------------------------------------------------- /examples/citeseer/with_rule_weights/citeseer_ruleweights.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_rule_weights/citeseer_ruleweights.pl -------------------------------------------------------------------------------- /examples/citeseer/with_rule_weights/citeseer_ruleweights.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_rule_weights/citeseer_ruleweights.py -------------------------------------------------------------------------------- /examples/citeseer/with_rule_weights_xy/citeseer_data_withrules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_rule_weights_xy/citeseer_data_withrules.py -------------------------------------------------------------------------------- /examples/citeseer/with_rule_weights_xy/citeseer_ruleweights.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_rule_weights_xy/citeseer_ruleweights.pl -------------------------------------------------------------------------------- /examples/citeseer/with_rule_weights_xy/citeseer_ruleweights.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_rule_weights_xy/citeseer_ruleweights.py -------------------------------------------------------------------------------- /examples/citeseer/with_structure_learning/citeseer_data_struct.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_structure_learning/citeseer_data_struct.py -------------------------------------------------------------------------------- /examples/citeseer/with_structure_learning/citeseer_struct.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_structure_learning/citeseer_struct.pl -------------------------------------------------------------------------------- /examples/citeseer/with_structure_learning/citeseer_struct.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/citeseer/with_structure_learning/citeseer_struct.py -------------------------------------------------------------------------------- /examples/cora/with_rule_weights/cora_data_withrules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/cora/with_rule_weights/cora_data_withrules.py -------------------------------------------------------------------------------- /examples/cora/with_rule_weights/cora_ruleweights.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/cora/with_rule_weights/cora_ruleweights.pl -------------------------------------------------------------------------------- /examples/cora/with_rule_weights/cora_ruleweights.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/cora/with_rule_weights/cora_ruleweights.py -------------------------------------------------------------------------------- /examples/data_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/data_utils.py -------------------------------------------------------------------------------- /examples/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/evaluate.py -------------------------------------------------------------------------------- /examples/experiment_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/experiment_utils.py -------------------------------------------------------------------------------- /examples/mathexpression/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/mathexpression/download_hwf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/download_hwf.sh -------------------------------------------------------------------------------- /examples/mathexpression/mathexpression.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/mathexpression.pl -------------------------------------------------------------------------------- /examples/mathexpression/mathexpression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/mathexpression.py -------------------------------------------------------------------------------- /examples/mathexpression/mathexpression_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/mathexpression_data.py -------------------------------------------------------------------------------- /examples/mathexpression/mathexpression_notabling.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/mathexpression_notabling.pl -------------------------------------------------------------------------------- /examples/mathexpression/mathexpression_tabled_vs_notabled.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/mathexpression_tabled_vs_notabled.py -------------------------------------------------------------------------------- /examples/mathexpression/mathexpression_tabled_with_probabilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/mathexpression_tabled_with_probabilities.py -------------------------------------------------------------------------------- /examples/mathexpression/mathexpression_with_probabilities.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/mathexpression_with_probabilities.pl -------------------------------------------------------------------------------- /examples/mathexpression/splits_with_valid/expr_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/splits_with_valid/expr_test.json -------------------------------------------------------------------------------- /examples/mathexpression/splits_with_valid/expr_train.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/splits_with_valid/expr_train.json -------------------------------------------------------------------------------- /examples/mathexpression/splits_with_valid/expr_val.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/mathexpression/splits_with_valid/expr_val.json -------------------------------------------------------------------------------- /examples/models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/models.py -------------------------------------------------------------------------------- /examples/wap/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/wap/wap.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/wap/wap.pl -------------------------------------------------------------------------------- /examples/wap/wap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/wap/wap.py -------------------------------------------------------------------------------- /examples/wap/wap_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/wap/wap_data.py -------------------------------------------------------------------------------- /examples/wap/wap_evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/wap/wap_evaluate.py -------------------------------------------------------------------------------- /examples/wap/wap_network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/examples/wap/wap_network.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/setup.py -------------------------------------------------------------------------------- /tests/test_anbncn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/tests/test_anbncn.py -------------------------------------------------------------------------------- /tests/test_bracket.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/tests/test_bracket.py -------------------------------------------------------------------------------- /tests/test_citeseer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/tests/test_citeseer.py -------------------------------------------------------------------------------- /tests/test_examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/tests/test_examples.py -------------------------------------------------------------------------------- /tests/test_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/tests/test_parser.py -------------------------------------------------------------------------------- /tests/test_tabled_tree_builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/deepstochlog/HEAD/tests/test_tabled_tree_builder.py --------------------------------------------------------------------------------