PWE-demos

Under Construction.

Create Conda Environment using the environment.yml file

conda env create -f environment.yml

More information can be found here.

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
DLV_Input_Parser		DLV_Input_Parser
Misc		Misc
Partitions-Viz		Partitions-Viz
WODB		WODB
cleanTax_files		cleanTax_files
clingo_files		clingo_files
.gitignore		.gitignore
3-Valued-(Partial)-Models-Game-(Complex).ipynb		3-Valued-(Partial)-Models-Game-(Complex).ipynb
3-Valued-(Partial)-Models-Game-(Simple).ipynb		3-Valued-(Partial)-Models-Game-(Simple).ipynb
Combinatorics-Graph-Coloring.ipynb		Combinatorics-Graph-Coloring.ipynb
Datalog Debugging.ipynb		Datalog Debugging.ipynb
Hamming Numbers Fish and Sail.ipynb		Hamming Numbers Fish and Sail.ipynb
Hanoi-Graph-Analysis.ipynb		Hanoi-Graph-Analysis.ipynb
Integrity-Constraint-Repair-for-Databases.ipynb		Integrity-Constraint-Repair-for-Databases.ipynb
LCA.ipynb		LCA.ipynb
LICENSE		LICENSE
LeanEuler Demo.ipynb		LeanEuler Demo.ipynb
N-Queens.ipynb		N-Queens.ipynb
Partitions-Bell-Number.ipynb		Partitions-Bell-Number.ipynb
Q-Learning+ASP-in-GridWorld.ipynb		Q-Learning+ASP-in-GridWorld.ipynb
README.md		README.md
Stable-Marriage-Problem-(SMTI).ipynb		Stable-Marriage-Problem-(SMTI).ipynb
Symmetry-Degree-of-a-Query.ipynb		Symmetry-Degree-of-a-Query.ipynb
Towers-of-Hanoi-States-based-Search.ipynb		Towers-of-Hanoi-States-based-Search.ipynb
Why-Not-and-What-if-Provenance.ipynb		Why-Not-and-What-if-Provenance.ipynb
environment.yml		environment.yml
postBuild		postBuild