Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Clingo"”.
-
Possible worlds explorer: Combining declarative programming with user-friendly Jupyter Notebooks
… can parse output from different ASP reasoners (Clingo and DLV) and then run analytical queries over all answer sets or ""possible worlds"" (PWs), e.g., to calculate relative frequencies of atoms across PWs or to hierarchically cluster PWs based on user-defined complexity and similarity measures. …