Commit aadf4afd authored by npedot's avatar npedot
Browse files

reorder stuff

parent dbf90070
......@@ -2,9 +2,11 @@
Deep Learning and Logic Reasoning from Data and Knowledge.
[LTN Introducion Notebook](https://nbviewer.jupyter.org/urls/bitbucket.org/semint/spike.ltn/raw/master/docs/notebooks/ltn-introduction/ltn101.ipynb)
[Data reparing with LTNW](docs/semint-clean.md)
[DB Repair Notebook](https://nbviewer.jupyter.org/urls/bitbucket.org/semint/spike.ltn/raw/master/notebooks/db-reparing.ipynb)
[LTN DB Repair Notebook](https://nbviewer.jupyter.org/urls/bitbucket.org/semint/spike.ltn/raw/master/docs/notebooks/ldb-introduction/db-reparing.ipynb)
[Usage with Docker files](docker/usage.md)
......@@ -18,4 +20,4 @@ Deep Learning and Logic Reasoning from Data and Knowledge.
[Code LTN Reference](https://github.com/logictensornetworks/logictensornetworks)
[Notebook markdown](https://github.com/aaren/notedown)
\ No newline at end of file
[Notebook markdown](https://github.com/aaren/notedown)
......@@ -56,7 +56,7 @@ ltnw.axiom('forall x:(Worker(x) -> Adult(x))')
#ltnw.axiom('~Adult(a)')
ltnw.axiom('Worker(a)')
#ltnw.axiom('~Married(a)')
#ltnw.axiom('~Worker(b)')
#ltnw.axiom('~Worker (b)')
# *** TRAIN
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment