颁布单位: |
颁布时间:2020 |
实施时间:2020 |
学科分类:[Datalog, Answer Set Programming, ASP, Clingo, DLV, Stable Model, Well-founded, Python, Tool, Open source, Possible Worlds, Possible Worlds Explorer, Jupyter, Notebook, Jupyter Notebook, IPython, Visualizations, Framework, PWE Framework, PWE-NB-Extension, Declarative Programming, Provenance, Datalog Debugging, Euler, LeanEuler, Taxonomy Alignment, TAP, CleanTax, Education, WODB]