You can subscribe to this list here.
2010 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
(1) |
Nov
(2) |
Dec
|
---|---|---|---|---|---|---|---|---|---|---|---|---|
2011 |
Jan
|
Feb
(1) |
Mar
|
Apr
(2) |
May
|
Jun
(2) |
Jul
(1) |
Aug
(1) |
Sep
|
Oct
|
Nov
(1) |
Dec
|
2012 |
Jan
(4) |
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
|
2013 |
Jan
|
Feb
|
Mar
(2) |
Apr
(1) |
May
(1) |
Jun
(1) |
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
(2) |
Dec
|
2014 |
Jan
(1) |
Feb
(3) |
Mar
(3) |
Apr
(1) |
May
(3) |
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
(2) |
Nov
|
Dec
|
2015 |
Jan
|
Feb
(2) |
Mar
|
Apr
(1) |
May
(1) |
Jun
|
Jul
(1) |
Aug
(1) |
Sep
(1) |
Oct
|
Nov
|
Dec
(1) |
2016 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
(1) |
Nov
|
Dec
|
2017 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(2) |
Jun
|
Jul
(1) |
Aug
(2) |
Sep
|
Oct
(2) |
Nov
(1) |
Dec
|
2018 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(1) |
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
(1) |
Dec
|
2019 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
(1) |
2020 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
2021 |
Jan
|
Feb
|
Mar
|
Apr
(3) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
2022 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(3) |
Jun
(1) |
Jul
|
Aug
|
Sep
(2) |
Oct
|
Nov
|
Dec
|
2023 |
Jan
(1) |
Feb
|
Mar
(1) |
Apr
(1) |
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
(1) |
2024 |
Jan
|
Feb
(3) |
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
From: Susana H. M. L. <hah...@un...> - 2024-09-02 18:08:20
|
Hi everyone, We are excited to announce a new version of Clinguin, our system for creating User Interfaces using only ASP. Here are the important links: Improved Documentation <https://clinguin.readthedocs.io/en/latest/> Source Code on GitHub <https://github.com/potassco/clinguin> For those who have been using Clinguin version 1, please check out the release notes for version 2.0.0 <https://github.com/potassco/clinguin/releases/tag/v2.0.0>. Please note that there are some backward-incompatible changes, so you might need to make minor adjustments to your existing UI encodings. We welcome any feedback, as it will help us improve further. Please share your thoughts and suggestions through GitHub issues. Best regards, The Potassco Team PS: There will be a presentation on Clinguin in the weekly seminar slot on September 11th at 3 PM ECT. |
From: Tobias S. <tob...@un...> - 2024-03-21 10:07:30
|
Dear all, I am happy to announce that just a few minutes ago, I released clintest 0.2.0 <https://github.com/potassco/clintest/releases/tag/v0.2.0>. As usual, clintest is available via pip. You may install it using the following command. pip install clintest Beside minor bug fixes, clintest 0.2.0 introduces initial support for optimization. Here is how you write an example test that only applies to optimal models: from clintest.test import Assert from clintest.quantifier import Any from clintest.assertion import Implies, Optimal, Contains test = Assert(Any(), Implies(Optimal, Contains("a"))) Happy testing, Tobias |
From: Max O. <max...@po...> - 2024-02-19 13:23:28
|
Hi everyone, this is the first official release of ngo 1.0.0 (non-ground optimizer) Tired of waiting for answer sets? ngo optimizes your encoding, independent from the instances. It allows and encourages you to write cleaner, more maintainable ASP code, while improving overall encoding performance. Want to know more? Here is how to use it: https://potassco.org/ngo/ Find the source code here: https://github.com/potassco/ngo/ Install using: pip install ngo Happy grounding and solving! |
From: David R. <da...@ge...> - 2024-02-19 11:35:47
|
Hi everyone, Just to let you know that Clorm 1.5.0 has been release. The source is here: https://github.com/potassco/clorm and the documentation here: https://clorm.readthedocs.io/en/latest/ Here are the release notes: This release add support for Python postponed type annotations. o Postponed type annotations are configured by specifying |from __future__ import annotations| at the top of module files. o It causes all type annotations to be returned as plain strings, rather than processed Python class objects. This feature is being increasingly used with user code, and will eventually become the default behavior for Python. o Using Python type annotations is now the preferred mechanism to specify Clorm Predicate sub-classes. For example: |from clorm import Predicate, ConstantStr class MyPredicate(Predicate, name="my_predicate"): field1: int field2: str field3: ConstantStr p = MyPredicate(field1=10, field2="Hello", `field3="friend") # resulting ASP fact: `my_predicate(10, "Hello", friend).` | o The documentation has been updated to reflect the new preferred syntax. |
From: Roland K. <kam...@cs...> - 2024-02-15 20:32:06
|
Hi everyone, we just released a new clingo version and systems based on it. You find source packages on our github page: - https://github.com/potassco/clingo/ - https://github.com/potassco/clingo-dl/ - https://github.com/potassco/clingcon/ - https://github.com/potassco/clingo-lpx/ - https://github.com/potassco/telingo/ Binary packages are available at: - https://anaconda.org/potassco/ (Linux/Windows/MacOSX) (also note the conda-forge channel targetting additional architectures) - https://launchpad.net/~potassco (Ubuntu specific packages) - https://pypi.org/user/kaminski/ (Python packages) Happy grounding and solving, the Potassco team! |
From: Susana H. M. L. <hah...@un...> - 2023-12-13 03:11:21
|
Dear all, The first official version (1.0.1) of clinguin is now available and installable via pip! With this system you can create User Interfaces with only ASP. Here are all the important links: - https://github.com/potassco/clinguin (Source code in GitHub) - https://clinguin.readthedocs.io/en/latest/ (Documentation) For everyone that was already using clinguin in the beta version or version 1.0.0, please take a look at the changes in the new version release https://github.com/potassco/clinguin/releases/tag/v1.0.1 For those interested on the integration of clinguin and clingraph, the latest clingraph version 1.1.2 includes functions to access the colors and fonts to clinguin to make the UI consistent. Any feedback is very welcome and will help in further development, we encourage doing so through GitHub issues. the Potassco team! _______________________________________________ Potassco-announce mailing list Pot...@li... <mailto:Pot...@li...> https://lists.sourceforge.net/lists/listinfo/potassco-announce |
From: Torsten S. <to...@cs...> - 2023-09-22 07:56:47
|
Dear all, this is just to let you know that David Rajaratnam released version 1.4.2 of Clorm (https://github.com/potassco/clorm). Repository: potassco/clorm · Tag: v1.4.2 · Commit: 6c0ec34 · Released by: daveraja This version mainly contains bug fixes. It also has a small addition to the query API. The changes are: Export the field() function at the clorm namespace level. Previously you had to import it from clorm.orm.core This works in a similar way to the field() function in dataclasses. Fixed the bug in the func() function. This function provides a wrapper for using functions/lambdas within clorm queries. Added missing on_core and on_unsat callbacks for clorm.clingo.Control.solve(), which were callbacks introduced in Clingo 5.5. Fixed non-determinism in clorm.clingo.Control.solve() with assumptions. Previously was using a set object which is not deterministic between python instances so was creating non-determinism when looking at the results of different clingo runs. Fix bug when specifying a function/lambda in the select clause of a query over multiple predicates. The order that the facts were presented to the function/lambda wouldn't always match to the function requirements because of the internal order within the generated query plan. New feature: while clorm facts are mutable so cannot be modified within a factbase, the query API now lets you specify how facts can be replaced by a modified version. This can be used to simulate modifying the facts of a factbase. |
From: Nicolas R. <nru...@un...> - 2023-05-25 12:50:04
|
Hi everyone, we just released the first version of our encoding for solving configuration problems with clingo. * https://github.com/potassco/configuration-encoding (Source code in GitHub) Check out the README and the examples folder to get started! They contain documentation about the fact format and hints on how to use it. In addition, the repository contains files to visualize configuration models and their instantiations using clingraph. Any feedback is welcome, we encourage doing so through GitHub issues. The Potassco Team! |
From: Nicolas R. <nru...@un...> - 2023-04-14 18:40:38
|
Hi everyone, We just released a new version (1.1.0) of our _*plingo*_ system for probabilistic reasoning with clingo. This release includes support for a new reasoning mode which translates a plingo program to a program which can be given as input to the problog system (https://github.com/ML-KULeuven/problog). A short example on how to use this is given in the README. Here are all the important links: * https://github.com/potassco/plingo (Source code in GitHub) * https://anaconda.org/potassco/plingo(Conda package) * https://pypi.org/project/plingo(Python package) Any feedback is very welcome, we encourage doing so through GitHub issues. The Potassco team! |
From: Susana H. <hah...@un...> - 2023-03-01 17:51:12
|
Hi everyone, We just released a beta version (1.0.0-beta) of our new clinguin system, that generates user interfaces via ASP encodings. Currently installation is only possible through the GitHub repository. git+https://github.com/potassco/clinguin.git <git+https://github.com/potassco/clinguin.git> Here are all the important links: - https://github.com/potassco/clinguin <https://github.com/potassco/clinguin> (Source code in GitHub) - https://clinguin.readthedocs.io/en/latest/ <https://clinguin.readthedocs.io/en/latest/> (Documentation) Any feedback is very welcome and will help in further development, we encourage doing so through GitHub issues. the Potassco team! |
From: Susana H. <hah...@un...> - 2023-01-06 18:18:44
|
Hi everyone, We just released a new version (1.1.0) of our clingraph system for visualizing ASP encodings and solutions using ASP itself. This new release includes features for interactivity using SVG images as well as integration with a templating engine to ease string formatting. We also improved performance and expanded our examples folders to give you all inspiration. Be careful, as issues might arise on backwards compatibility with the previous use of tuples as attribute names. However, this is easily fixable and we give an example on how to do so in the GitHub discussion https://github.com/potassco/clingraph/discussions/100 <https://github.com/potassco/clingraph/discussions/100> Here are all the important links: https://github.com/potassco/clingraph <https://github.com/potassco/clingraph> (Source code in GitHub) https://anaconda.org/potassco/clingraph <https://anaconda.org/potassco/clingraph> (Conda package) https://pypi.org/project/clingraph/ <https://pypi.org/project/clingraph/> (Python package) https://clingraph.readthedocs.io/en/latest/ <https://clingraph.readthedocs.io/en/latest/> (Documentation) Any feedback is very welcome, we encourage doing so through GitHub issues. the Potassco team! |
From: Dominik M. <dom...@cs...> - 2022-09-13 19:25:59
|
I updated clingo-wasm with the new release as well so you can use Clingo in your browser: https://github.com/domoritz/clingo-wasm. On Sep 11, 2022 at 16:36:05, Roland Kaminski <kam...@cs...> wrote: > Hi everyone, > > we just released a new clingo version and systems based on it. > > You find source packages on our github page: > - https://github.com/potassco/clingo/ > <https://github.com/potassco/clingo-dl/> > - https://github.com/potassco/clingo-dl/ > - https://github.com/potassco/clingcon/ > - https://github.com/potassco/clingo-lpx/ > > Binary packages are available at: > - https://anaconda.org/potassco/ (Linux/Windows/MacOSX) > (also note the conda-forge channel targetting additional architectures) > - https://launchpad.net/~potassco (Ubuntu specific packages) > - https://pypi.org/user/kaminski/ (Python packages) > > Happy grounding and solving, > the Potassco team! > _______________________________________________ > Potassco-users mailing list > Pot...@li... > https://lists.sourceforge.net/lists/listinfo/potassco-users > |
From: Roland K. <kam...@cs...> - 2022-09-11 20:36:21
|
Hi everyone, we just released a new clingo version and systems based on it. You find source packages on our github page: - https://github.com/potassco/clingo/ - https://github.com/potassco/clingo-dl/ - https://github.com/potassco/clingcon/ - https://github.com/potassco/clingo-lpx/ Binary packages are available at: - https://anaconda.org/potassco/ (Linux/Windows/MacOSX) (also note the conda-forge channel targetting additional architectures) - https://launchpad.net/~potassco (Ubuntu specific packages) - https://pypi.org/user/kaminski/ (Python packages) Happy grounding and solving, the Potassco team! |
From: Nicolas R. <nru...@un...> - 2022-06-15 10:02:29
|
Hi everyone, we just released a new system called _*plingo*_ for probabilistic reasoning with clingo. * https://github.com/potassco/plingo (Source code in GitHub) * https://anaconda.org/potassco/clingo (Conda package) * https://pypi.org/project/plingo/ (Python package) Plingo has frontends for probabilistic logic languages LP^MLN, ProbLog and P-log. Check out the README and the examples folder to get started! Any feedback is welcome, we encourage doing so through GitHub issues. The Potassco Team |
From: David R. <da...@ge...> - 2022-05-30 11:56:15
|
Hi all, Just to let everyone know that there is a new release of Clorm (https://github.com/potassco/clorm). This new release adds better support for Python type annotations, so should make it much nicer to write code when using a modern IDE. There are also a bunch of performance improvements and some other features. Installation is via the usual methods: pip, anaconda, and Ubuntu PPA. Cheers, Dave Version 1.4.0 release <https://github.com/potassco/clorm/releases/tag/v1.4.0> This version adds a lot of new type annotation features and performance enhancements. *Note*: in order to provide the performance enhancements the API has changed very slightly. However, the standard usage of clorm has not changed so would only affect more unusual usages of the library; for example, not using the provided clorm functions to unify predicate classes with symbols. The main features are: * Better support for type annotations. /Modern/ Python code makes heavy use of type annotations. You can see this in popular libraries such as Pydantic. Clorm should now behave a lot better when used with modern tools such as |mypy|, |pylint|, and integrated IDEs. * Type annotations for Clorm's query API. If you use the new type annotated format for specifying Predicate sub-classes, tools like mypy can infer function inputs and outputs for clorm queries. This should make it much easier to use the query API for first-time or casual users. * A more compact way to declare your Predicate sub-classes. Instead of writing: |class SomePredicate(Predicate): i = IntegerField class Meta: name = "some_predicate" | you can write: |class SomePredicate(Predicate, name="some_predicate"): i: int | * Performance enchancement. The overhead of using Clorm facts has now been reduced. So creating Clorm fact instances and extracting/unifying facts from clingo models has been made a lot more efficient. Note: this required a small change to the API but it shouldn't affect normal user code. In particular, it is only if a user was explicitly passing a clingo symbol to the initialiser (eg. |Predicate.__init__(raw=clingo.Function("something",[]))| will their code need to change. The API is now cleaner (calling raw=XX was really ugly), and you will need to call the |Predicate.unify()| class function. * /No Clingo Mode/. Currently, clingo.Symbol objects cannot be freed. This makes it potentially problematic to use clingo within long running processes. Clorm solves this by offering a NOCLINGO mode where you can use an internal clorm noclingo.Symbol objects in a long running parent process, and only use real clingo symbol objects in spawned sub-processes. To enable no clingo mode you must now set the environment variable |CLORM_NOCLINGO|. This must be set before the library is loaded. For example from the bash shell: |export CLORM_NOCLINGO=True | — This release has 2 assets: * Source code (zip) * Source code (tar.gz) Visit the release page <https://github.com/potassco/clorm/releases/tag/v1.4.0> to download them. — You are receiving this because you are watching this repository. View it on GitHub <https://github.com/potassco/clorm/releases/tag/v1.4.0> or unsubscribe <https://github.com/potassco/clorm/unsubscribe_via_email/AETOGGDMLGDHC26Q5GGWE73VMQ2ULANCNFSM4CLARJ6Q> from all notifications for this repository. |
From: Roland K. <kam...@cs...> - 2022-05-05 11:34:11
|
Hi everyone, we just released clasp-3.3.8, clingo-5.5.2, and clingox-1.1.0. You find source packages on our github page:- https://github.com/potassco/clasp/releases- https://github.com/potassco/clingo/releases- https://github.com/potassc o/python-clingox/releases Binary packages are available at:- https://anaconda.org/potassco/clingo/ (including clasp)- https://anaconda.org/potassco/python-clingox/ (Python package)- https://launchpad.net/~potassco (Ubuntu specific packages)- https://pypi.org/project/clingo/ (Python package)- https://pypi.org/project/clingox/ (Python package) Happy grounding and solving,the Potassco team! |
From: Susana H. <hah...@un...> - 2022-05-04 17:32:36
|
Hi everyone, we just released a new system called clingraph for visualizing ASP encodings and solutions using ASP itself. https://github.com/potassco/clingraph <https://github.com/potassco/clingraph> (Source code in GitHub) https://anaconda.org/potassco/clingraph <https://anaconda.org/potassco/clingraph> (Conda package) https://pypi.org/project/clingraph/ <https://pypi.org/project/clingraph/> (Python package) https://clingraph.readthedocs.io/en/latest/ <https://clingraph.readthedocs.io/en/latest/> (Documentation) We hope this tool helps you debug, analyze and present your ASP work! Any feedback is very welcome, we encourage doing so through GitHub issues. the Potassco team! |
From: Roland K. <kam...@cs...> - 2021-04-25 08:14:13
|
Hi everyone, we just released a couple systems and libraries based on clingo: You find source packages on our github page: - https://github.com/potassco/clingo-dl/ - https://github.com/potassco/clingcon/ - https://github.com/potassco/telingo/ - https://github.com/potassco/python-clingox/ - https://github.com/potassco/clingo-lpx/ Binary packages are available at: - https://anaconda.org/potassco/ - https://launchpad.net/~potassco (Ubuntu specific packages) - https://pypi.org/user/kaminski/ (Python packages) Happy grounding and solving, the Potassco team! |
From: Roland K. <kam...@cs...> - 2021-04-25 08:13:36
|
Hi everyone, we just released a couple systems and libraries based on clingo: You find source packages on our github page: - https://github.com/potassco/clingo-dl/ - https://github.com/potassco/clingcon/ - https://github.com/potassco/telingo/ - https://github.com/potassco/python-clingox/ - https://github.com/potassco/clingo-lpx/ Binary packages are available at: - https://anaconda.org/potassco/ - https://launchpad.net/~potassco (Ubuntu specific packages) - https://pypi.org/user/kaminski/ (Python packages) Happy grounding and solving, the Potassco team! |
From: Roland K. <kam...@cs...> - 2021-04-20 21:11:38
|
Hi everyone, we just released clasp-3.3.6 and clingo-5.5.0. You find source packages on our github page: - https://github.com/potassco/clasp/releases - https://github.com/potassco/clingo/releases Binary packages are available at: - https://anaconda.org/potassco/clingo/ (including clasp) - https://launchpad.net/~potassco (Ubuntu specific packages) - https://pypi.org/project/clingo/ (Python package) Happy grounding and solving, the Potassco team! |
From: Torsten S. <to...@cs...> - 2020-12-08 16:46:13
|
Dear all, obvious circumstances made us produce an online version of our ASP course, including pdf and tex sources of the slides and exercises, videos of the lectures and solutions to the exercises, as well as jupyter notebooks illustrating encodings with clingo. (Automated assignment checking with github education is in the making.) The material is available (and growing) at https://teaching.potassco.org We hope that some of it is of use to you and/or your students! And of course, any comments are highly welcome! Stay safe, with greetings from all of us at Potsdam! |
From: Torsten S. <to...@cs...> - 2020-01-18 10:31:37
|
Happy new 2020! We just released some auxiliary tools, developed at Potassco Solutions (potassco.com) and put them under open access at potassco.org: xls2asp - converting excel spreadsheets to ASP facts https://github.com/potassco/xls2asp asp-date-lib - an ASP Library for handling dates https://github.com/potassco/asp-date-lib Enjoy! -torsten) |
From: David R. <da...@ge...> - 2019-12-18 21:48:20
|
Hi all, For anyone that has been following the development of the Clorm Python library (ORM interface for Clingo) I just want to let you know that there is now a version 1.0.0 release. https://github.com/daveraja/clorm/releases/tag/v1.0.0 To install it using anaconda: "conda install -c daveraja clorm" Below is the release blurb: It's been over a year since Clorm was started and I think it is now ready for a proper version 1.0.0 release. The other reason for incrementing the major release number is that the API has been modified slightly (and simplified) but it means that any code written for the previous version will need some tweaking to work with the new version. Here are some main points for this release: 1. Simplified the API for basic usage. For example, no need to pass a FactBaseBuilder object to every call of the clorm.clingo.Model.facts() function, but instead can pass a list of predicates when the clorm.clingo.Control object is instantiated. 2. Support for negated literals, and complex terms, and querying of the sign of the literal. 3. Helper functions; easy to define a basic predicate mapping, which is useful for debugging ASP programs. 4. Improved the automatic generation of Predicate names (beyond simply setting the first letter to lower-case) to cover some common naming conventions, such as camel-case, and snake case. 5. Added more flexible usage of the overriden clorm.clingo.Control functions. For example the assign_external() function can take a set/list/fact-base of facts rather than one literal at a time. 6. Improved some of the error messages when the API is not used correctly. 7. The query specification mechanism has been re-implemented; which will simplify advanced usage but also make it easier to maintain. 8. Some renaming of functions/member functions for consistency. 9. Bug fixes. Merry xmas and happy new year, Dave |
From: Roland K. <kam...@cs...> - 2019-08-26 11:09:41
|
Hi everyone, we just released a bunch of software: - clasp-3.3.5 - clingo-5.4.0 - clingo-dl-1.1.0 - telingo-1.0.2 You find source packages on our github pages: - https://github.com/potassco/clasp/releases - https://github.com/potassco/clingo/releases - https://github.com/potassco/clingoDL/releases - https://github.com/potassco/telingo/releases All systems can very easily be installed with anaconda. These systems are build with python support and can be used together with other packages from the anaconda distribution: - https://anaconda.org/potassco/ Note that the clasp, lpconvert, and gringo binaries are shipped as part of clingo. Happy grounding and solving, the Potassco team! |
From: Torsten S. <to...@cs...> - 2019-07-23 06:42:44
|
FYI |